/* file: math-seminar.css
 * style sheet for analysis seminar web site
 */

/* Cascading Style Sheet validated and modified by
 * http://jigsaw.w3.org/css-validator/validator-uri.html
 */


VAR {
   font-style : normal;
}

UL.toc {
   list-style : none;
}

UL.index {
   text-align : left;
   list-style : none;
}

U {
   color : black;
   background : #bfa;
   text-decoration : underline;
}

SUP {
   font-size : 80%;
   vertical-align : super;
}

SPAN.note {
   font-style : italic;
   font-weight : bold;
   font-size : 110%;
   font-family : serif;
   text-align : left;
   margin-left : -1em;
}

S {
   color : red;
   background : white;
   text-decoration : line-through;
}

PRE.xml-example {
   color : maroon;
   background : white;
}

PRE.illegal-xml-example {
   color : red;
   background : white;
}

PRE.illegal-html-example {
   color : red;
   background : white;
}

PRE.illegal-example {
   color : red;
   background : white;
}

PRE.illegal-dtd-example {
   color : red;
   background : white;
}

PRE.html-example {
   color : maroon;
   background : white;
}

PRE.example {
   color : maroon;
   background : white;
}

PRE.dtd-example {
   color : maroon;
   background : white;
}

PRE.deprecated-html-example {
   color : red;
   background : white;
}

PRE {
   font-size : 90%;
   font-family : monospace;
   margin-left : 1em;
}

P.toc-line {
   text-indent : 0;
   margin-top : 1em;
   margin-bottom : 1em;
}

P.caption {
   font-style : italic;
   font-weight : bold;
   font-size : 90%;
   color : #088;
   background : white;
   text-align : center;
   margin : 1.5em 25% 0;
}

OL.toc {
   list-style : none;
}

LI.tocline4 {
   font-style : italic;
}

LI.tocline2 {
   font-weight : normal;
}

LI.tocline1 {
   font-weight : bold;
}

INS {
   color : black;
   background : #bfa;
   text-decoration : underline;
}

IMG {
   border-width : 0;
   border-style : none;
   border-color : inherit;
}

HR {
   width : 90%;
   display : block;
}

H6 {
   text-align : left;
}

H5 {
   text-align : left;
}

H4 {
   text-align : left;
}

H3 {
   text-align : left;
}

H2 {
   text-align : left;
}

H1 {
   font-size : 150%;
   text-align : center;
   margin-top : 2em;
   clear : left;
}

DT.notex {
   font-style : italic;
   font-weight : bold;
   font-size : small;
   font-family : serif;
   color : red;
   background : white;
   text-align : left;
   margin-left : 22em;
   display : block;
}

DT.note {
   color : red;
   background : white;
   text-align : left;
   margin-left : 22em;
   display : block;
}

DT {
   text-align : left;
}

DL.hmwk DT {
   text-align : left;
   padding-top : 1em;
   display : block;
}

DL.hmwk {
   font-size : medium;
   font-family : serif;
   margin-left : 2em;
   padding-top : 0;
}

DIV.xml-example {
   color : maroon;
   background : white;
}

DIV.toc UL UL UL UL {
   margin-left : 0;
}

DIV.toc UL UL UL {
   margin-left : 1em;
}

DIV.toc UL UL {
   margin-left : 0;
}

DIV.toc OL OL OL OL {
   margin-left : 0;
}

DIV.toc OL OL OL {
   margin-left : 1em;
}

DIV.toc OL OL {
   margin-left : 0;
}

DIV.toc {
   text-align : left;
}

DIV.propdef TH {
   text-align : right;
}

DIV.propdef {
   margin : 1.2em 0;
}

DIV.illegal-xml-example P {
   color : black;
   background : white;
}

DIV.illegal-xml-example {
   color : red;
   background : white;
}

DIV.illegal-html-example P {
   color : black;
   background : white;
}

DIV.illegal-html-example {
   color : red;
   background : white;
}

DIV.illegal-example P {
   color : black;
   background : white;
}

DIV.illegal-example {
   color : red;
   background : white;
}

DIV.illegal-dtd-example P {
   color : black;
   background : white;
}

DIV.illegal-dtd-example {
   color : red;
   background : white;
}

DIV.html-example {
   color : maroon;
   background : white;
}

DIV.figure {
   text-align : center;
   margin : 2.5em 0;
}

DIV.example A:visited {
   color : maroon;
   background : white;
}

DIV.example A:link {
   color : maroon;
   background : white;
}

DIV.example {
   color : maroon;
   background : white;
}

DIV.dtd-example {
   color : maroon;
   background : white;
}

DIV.descdef TH {
   text-align : right;
}

DIV.deprecated-html-example P {
   color : black;
   background : white;
}

DIV.deprecated-html-example A:visited {
   color : red;
   background : white;
}

DIV.deprecated-html-example A:link {
   color : red;
   background : white;
}

DIV.deprecated-html-example {
   color : red;
   background : white;
}

DEL {
   color : red;
   background : white;
   text-decoration : line-through;
}

CAPTION {
   font-style : italic;
   font-weight : bold;
   font-size : 90%;
   color : #088;
   background : white;
   text-align : center;
   margin : 1.5em 25% 0;
}

BODY {
   font-family : helvetica, sans-serif;
   color : black;
   background : url("images/recbg.jpg") repeat;
   background-color : #ccffcc;
   margin : 2em;
}

ADDRESS {
   font-style : italic;
   text-align : right;
}

A.propdef-title {
   color : black;
   background : yellow;
}

A.noxref:visited {
   color : black;
   background : white;
}

A.noxref:link {
   color : black;
   background : white;
}

A.descdef-title {
   color : yellow;
   background : green;
}

.toc {
   text-indent : 0;
}

.note-old {
   font-weight : bold;
   color : green;
   background : white;
   margin : 1em;
}

.note A:visited {
   color : green;
   background : white;
}

.note A:link {
   color : green;
   background : white;
}

.normref {
   color : red;
   background : white;
}

.informref {
   color : green;
   background : white;
}

DIV.timestamp {
	text-align: center;
	font-family : monospace;
}