/* If I say "font-size: medium;", which is what I'd like to do, I get
wildly different results in netscape and ie. Sigh. So I have to resort to
the following crap. */

/* medium */
body, li, p, DIV.abstract {
    font-size: 12pt;
}

/* large */
h1, h2 {
    font-size: large;
}

/* x-large */
P.pagetitle {
    font-size: x-large;
}

/* small */
small.comment, SPAN.reveal, P.index, pre {
    font-size: small;
}

/* x-small */
p.bookmark {
    font-size: 8pt;
}

body {
    font-family: "Times New Roman", serif;
    background: #e0e0e0;
    color: black;
}

LI {
/*    font-family: Arial, Helvetica, sans-serif;*/
}

A {
    background: transparent;
}

A:link, A:visited, A:active, A.index:link {
    background-color: transparent;
}

A:link {
    color: blue;
}

A:visited {
    color: #800080;
}

A:active {
    color: red;
}

A.index:link {
    color: #8000ff;
}

HR {
    clear: left;
}

H1, H2, H3 {
    background-color: transparent;
    color: blue;
    clear: left;
}

H1 {
    font-weight: bold;
}

H2, H3 {
    font-weight: normal;
}

SMALL.comment {
    font-style: italic;
    font-family: "Times New Roman", serif;
}


SPAN.reveal {
    font-style: italic;
    font-family:  "Times New Roman", serif;
    color: green;
    background-color: transparent;
}

SPAN.code {
    font-size: small;
    font-family: Courier;
    color: blue;
    background-color: #8dd;
}

SPAN.public {
    background-color: #ffc;
}

SPAN.book {
    font-style: italic;
    background-color: #9fc;
    color: black;
}

SPAN.new {
    font-weight: bold;
    background-color: #f00;
    color: white;
}

SPAN.peer {/*
    background-color: #ffc;
    color: black;
*/}

SPAN.sw {
    background-color: #fcf;
    color: black;
}


SPAN.todo {
    font-style: italic;
    font-family:  "Times New Roman", serif;
    color: #960;
    background-color: transparent;
}


P {
}

P.bookmark {
    font-family: Arial, Helvetica, sans-serif;
    color: black;
    background-color: #f0f0f0;
    border-style: solid;
    border-width: 1px;
    border-color: white;
    padding: 1ex;
    margin-left: 1ex;
    margin-right: 1ex;
}

p.question {
}

p.answer {
    font-style: italic;
}

EM.bookmark-category {
    font-style: normal;
    font-weight: bold;
}

P.pagetitle {
    font-weight: bold;
}

P.index {
    font-style: italic;
    color: black;
    background-color: #f0f0f0;
    border-style: solid;
    border-color: white;
    border-width: 3px;
    padding: 1ex;
    margin-left: 5ex;
    margin-right: 5ex;
}

P.box {
    color: black;
    background-color: #f0f0f0;
    border-style: solid;
    border-color: white;
    border-width: 3px;
    padding: 2ex;
    margin-left: 15ex;
    margin-right: 15ex;
}

DIV.abstract {
    font-style: normal;
    color: black;
    background-color: white;
    border-style: solid;
    border-color: blue;
    border-width: 3px;
    padding: 1ex;
    margin-left: 5ex;
    margin-right: 5ex;
}

pre {
    font-family: Courier, Monospace;
}


img.right {
    float: right;
}
img.left {
    float: left;
}

/* proper images do have a border, so they don't clash with the text. Try to use these. */

img.l {
    float: left;
    margin: 2em;
}

img.r {
    float: right;
    margin: 2em;
}

img.c { /* not really center because it doesn't exist */
    float: none;
    margin: 2em;
}