<?php
Header('Content-type: text/css');
?>

#toc {
    font-family: sans-serif;
}

/*
 * Preface and index.
 */
#toc ol {
    list-style-type: none;
    font-size: 16pt;
    font-weight: bold;
}

/*
 * Chapters.
 */
#toc ol ol {
    list-style-type: decimal;
    list-style: decimal;
    font-size: 16pt;
}

#toc li.appendix {
    list-style: upper-alpha;
}


/*
 * Sections.
 */
#toc ol ol ol {
    font-size: 75%;
    font-weight: normal;
}

/*
 * Hit counter.
 */
#hit-counter {
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}

#sidebar-left {
    z-index: 0;
    float: left;
    width: 120px;
    margin: 1em;
    padding: 1pc;
    background-color: #f0f0f0;
    border: thin solid #000000;
    font-size: 80%;
}

.sidebar-menu {
    margin-left: 0.5em;
    margin-right: 0.5em;
    padding-left: 0.5em;
    padding-right: 0.5em;
}

#sidebar-right {
    z-index: 0;
    float: right;
    width: 120px;
    margin: 1em;
    padding: 1pc;
    background-color: #f0f0f0;
    border: thin solid #000000;
}

.plug {
    margin-top: 0.25em;
    text-align: center;
    font-weight: bold;
}

#logo {
    text-align: center;
    left-margin: auto;
    right-margin: auto;
}

#logo img {
    border: none;
}

/*
 * For each article/tip
 */
.tip {
    z-index: 10;
    border-color: #000000;
    border: 1px solid;
    padding-top: 1em;
    padding-left: 0.75em;
    padding-right: 0.75em;
    margin-top: 1em;
    margin-left: 175px;
    margin-right: 180px;
    font-size: 90%;
}

.tip pre {
    margin-left: 2em;
    overflow: hidden;
}

.tip-title, .tip h4 {
    float: left;
    z-index: 20;
    font-size: 105%;
    font-weight: bold;
    margin: 0em;
    margin-top: -1.7em;
    padding-left: 0.25em;
    padding-right: 0.25em;
    padding-top: 0.10em;
    padding-bottom: 0.10em;
    border: 2px solid #000000;
    background-color: #ffffff;
}

.tip h1 {
    font-size: 175%;
}

.tip h2 {
    font-size: 150%;
}

.tip h3 {
    font-size: 105%;
}

.tip-title, .tip h4 {
    float: left;
    z-index: 20;
    font-size: 105%;
    font-weight: bold;
    margin: 0em;
    margin-top: -1.7em;
    padding-left: 0.25em;
    padding-right: 0.25em;
    padding-top: 0.10em;
    padding-bottom: 0.10em;
    border: 2px solid #000000;
    background-color: #ffffff;
}

.tip h1 {
    font-size: 175%;
}

.tip-footnote {
    font-size: 75%;
    font-style: italic;
}

.tip-footnote i, .tip-footnote cite, .tip-footnote em {
    font-style: normal;
}

/*
 * For the centre column in all cases.
 */
/*
 * For each article/tip
 */
.text {
    z-index: 10;
    border-color: #000000;
    border: none;
    padding-top: 1em;
    padding-left: 0.75em;
    padding-right: 0.75em;
    margin-top: 1em;
    margin-left: 175px;
    margin-right: 180px;
    font-size: 90%;
}

.text h2.subtitle {
    text-align: center;
}

h1 {
    text-align: center;
}

ul {
    margin-left: 1pc;
    padding-left: 1pc;
}

dt {
    display: compact;
}

.centred-block {
    width: 20pc;
    margin-left: 0px auto;
    margin-right: 0px auto;
}

.blurb {
    width: 70%;
    border: thin solid;
    padding: 0.5em;
    margin-left: 0px auto;
    margin-right: 0px auto;
}

<?php
/*
 * Local Variables:
 * mode: C
 * c-file-style: "bsd"
 * indent-tabs-mode: nil
 * End:
 */
?>