BODY {
    color: black;
    margin-left: 77px;
    margin-top:  10px;
    margin-right: 24px;
    margin-bottom: 1em;
    background: white;
    background-repeat: repeat-y;      /* Needed for netscape 4 which */
    background-attachment: fixed;   /* ignores fixed attachment. */
    background-image: url(http://www.cogs.susx.ac.uk/graphics/cogs_weave_79.gif);
}

A:link    { color: #0033CC; text-decoration:none; background: transparent; }
A:visited { color: #660099; text-decoration:none; background: transparent; }
A:active  { color: #BB0000; text-decoration:none; background: transparent; }
A:hover   { color: #00BB00; }

P.maintainer {
    font-size: smaller;
    font-style: italic;
    text-align: right;
}

P.maintainer A {color: #0033cc;}

/* From here on down added by John Williams */

PRE.samp {
    color: navy;
    background: white;
    margin-left: 1em;
}

KBD { color: navy; background: white; }

H1 { font: normal 20pt sans-serif; margin-top: 1em; margin-bottom: 0.5em; }
H2 { font: normal 16pt sans-serif; }
H3 { font: normal 14pt sans-serif; }

UL { list-style-type: circle; }

UL.links {
    list-style-image: url(/graphics/arrowright.gif);
    list-style-type: circle;
     /* N.B. list-style-image not supported by NS4 */
}

TH.cogs  { color: teal; background: #F5F5F5; text-align: left; }

TR.odd  { background: #F5F5F5; text-align: left; }

TR.even { background: white; text-align: left; }

TD.section-hdr {
    color: black;
    /* background: silver; */
    background-image: url(/graphics/cc.gif);
    text-align: center;
    vertical-align: middle;
    border: solid 1px #f5f5f5;
}

TD.section-txt {
    background: white;
    text-align: left;
    vertical-align: top;
}

TD.section-hdr A { color: black; text-decoration: none; }
TD.section-hdr A:hover { color: #00BB00; }

TD.navbar {
    background: #F5F5F5;
    font-size: 9pt;
    font-family: sans-serif;
    text-align: center;
    }

TD.navbar-current {
    background: #F5F5F5;
    font-size: 9pt;
    font-family: sans-serif;
    text-align: center;
}

TD.navbar A {
    color: #0033CC;
    text-decoration:none;
    background: transparent;
}

TD.navbar-current A {
    color: #0033CC;
    text-decoration: underline;
    background: transparent;
}

TD.navbar A:hover { color: #00BB00; }
TD.navbar-current A:hover { color: #00BB00; }

DIV.inset { display: block; margin: 2em 0.5em; }

P.highlight {
    border-style: solid;
    border-color: #0033cc;
    border-width: 0 0 0 8px;
    padding-left: 1em;
}