/* $Id: slides.css,v 1.7 2001/01/21 23:15:59 joe Exp $ */

* {
    font-family: sans-serif ;
    font-size: large ;
}

TT.lit, TT.samp {
    color: #770000;
}

.var {
    color: #007700;
}

HTML {
    background: #EEEEEE;
    color: black;
    font-family: sans-serif;
}

BODY {
    background: #EEEEEE;
    color: black ;
    font-family: sans-serif ;
    font-size: 24pt;
}

DIV.body {
    font-family: sans-serif ;
    width: 100% ;
}

P {
    font-family: sans-serif;
    font-size: 24pt;
}

UL,OL {
    margin-left: 10%;
    margin-right: 10%;
    font-family: sans-serif;
    font-size: 24pt;
}
UL UL {
    margin-left: 0%;
    margin-right: 0%;
}

LI {
    list-style: disc;
}

PRE.listing {
    font-family:	monospace;
    font-size:		18pt;
}


H1.title {
    width: 100% ;
    font-family: sans-serif;
    font-size: 36pt;
    text-align: center; 
    padding: 0ex;
    color: navy;
}

DIV.navbar {
    background: #DDDDDD;
    color: #000000;
    padding: 0.5ex;
    border-color: navy;
    border-width: 2px;
    width: 100%;
}
DIV.navbar TD {
    font-style: 	italic;
    font-family: 	serif;
    font-size:		12pt;
}
SMALL {
    font-style: 	italic;
    font-family: 	serif;
    font-size:		12pt;
}

HR { color: navy; background-color: white; width: 100% }

SPAN.nolink		{ color: gray;		background: transparent; }
A.navlink:link 		{ color: green;		background: transparent; }
A.navlink:visited	{ color: green;		background: transparent; }
A.navlink:active 	{ color: yellow;	background: transparent; }

A:link 			{ color: blue;  	background: transparent; }
A:visited 		{ color: purple; 	background: transparent; }
A:active 		{ color: red; 		background: yellow; }

UL.toc,UL.toc UL, UL.toc UL UL {
    font-family: sans-serif;
    font-style: normal;
    list-style: none;
    margin-left: 0em;
}
LI.tocentry {
    list-style: none;
    margin-left: 0em;
    text-indent: 0em;
    padding: 0em;
}

DIV.figure {
    text-align: center;
    border: solid thin;
    width: 100%;
    margin: 2.5em 0;
}
P.caption, CAPTION {
    text-align: center;
    font-style: italic;
    font-weight: bold;
    margin: 1.5em 25% 0 25%;
}