body {
    background-color: white; 
    font-family: Tahoma, Arial, Helvetica, Sans-Serif;
    font-size: 0.18in;
}

h1 {
    color: #000066; 
    background-color: #8888FF; 
    text-transform: uppercase;
    font-weight: bold;
    font-family: Arial, Tahoma, Helvetica, Sans-Serif;
    font-variant:  small-caps;
    font-size: 0.2in;
    letter-spacing: 0.02in;
    padding-left: 0.15in;
    margin-top: 0in;
    margin-bottom: 0in;
}

h2 {
    color: #000066; 
    background-color: #BBBBFF; 
    font-weight: bold; 
    font-family: Arial, Tahoma, Helvetica, Sans-Serif;
    font-variant:  small-caps;
    font-size: 0.18in;
    padding:  0.01in 0.15in 0.01in 0.15in;
    margin-top: 0in;
    margin-bottom: 0in;
}

h3 {
    color: #000066; 
    font-family: Tahoma, Arial, Helvetica, Sans-Serif;
    font-variant:  small-caps;
    font-weight: bold;
    margin-left: -0.2in;
    font-size: 0.20in;
    border-bottom: 0.02in solid #000066;
}

h4 {
    color: #000066; 
    font-family: Tahoma, Arial, Helvetica, Sans-Serif;
    font-variant:  small-caps;
    font-weight: bold;
    margin-left: -0.15in;
    font-size: 0.20in;
    border-bottom: 0.02in solid #000066;
}

h5 {
    color: #BBBBFF; 
    font-family: Tahoma, Arial, Helvetica, Sans-Serif;
    font-variant:  small-caps;
    margin-left: -0.1in;
    font-size: 0.18in;
    border-bottom: 0.02in solid #BBBBFF;
}

h6 {
    color: #BBBBFF; 
    font-family: Tahoma, Arial, Helvetica, Sans-Serif;
    font-variant:  small-caps;
    margin-left: -0.05in;
    font-size: 0.18in;
    border-bottom: 0.02in solid #BBBBFF;
}

ol h3 {
    margin-left: -0.7in;
}

ol h4 {
    margin-left: -0.7in;
}

td.h1 {
    color: #000066; 
    background-color: #8888FF; 
    text-transform: uppercase;
    font-weight: bold;
    font-family: Arial, Tahoma, Helvetica, Sans-Serif;
    font-variant:  small-caps;
    font-size: 0.2in;
    letter-spacing: 0.02in;
    padding-left: 0.15in;
    margin-top: 0in;
    margin-bottom: 0in;
}

td.h2 {
    color: #000066; 
    background-color: #BBBBFF; 
    font-weight: bold; 
    font-family: Arial, Tahoma, Helvetica, Sans-Serif;
    font-variant:  small-caps;
    font-size: 0.18in;
    padding:  0.01in 0.15in 0.01in 0.15in;
    margin-top: 0in;
    margin-bottom: 0in;
}

.main {
    margin-left: 0.5in;
    margin-top: 0.25in;
}

#main {
    margin-left: 0.5in;
    margin-top: 0.25in;
}

body.indexed #main {
    margin-left: 2.9in;
}

body.indexed #header h1 {
    padding-left: 2.9in;
}

body.indexed #header h2 {
    padding-left: 3in;
}

#index {
    color: #000066;
    background-color: #BBBBFF; 
    padding: 0.15in 0.15in 0.15in 0.25in;
    margin-top: 0.25in;
    position: absolute;
    left: 0.55in;
    top: 0.25in;
    width: 1.6in;
    z-index: 1;
    border: 0.05in solid #8888FF;
    font-size: 0.12in;
}

#index h3 {
    color: #000066;
    background-color: #8888FF; 
    font-size: 0.15in;
    font-variant:  small-caps;
    font-weight: bold;
    margin-left: -0.1in;
    margin-bottom: 0.02in;
    padding: 0.02in 0.02in 0.02in 0.02in;
    border: none;
}

.indent {
    padding-left: 0.5in;
}	

.justify {
    text-align: justify;
}

.csc102 {
    color: #000066;
    font-size: 0.5in;
    font-family: Tahoma, Arial, Helvetica, Sans-Serif;
    font-style: italic;
    text-decoration: none;
    text-align: right;
    margin-right: 0.25in;
}

.csc102 a {
    text-decoration: none;
}

a:link {
    color:#000066;
}

a:visited {
    color:#110044;
}

a:hover {
    color:#660099;
}

tt {
    color:#000066;
}

pre {
    padding-left: 0.25in;
    color:#000066;
}

span.green {
    color: #00DD00; 
}

span.red {
    color: #FF0000; 
}

dl.subheads dt {
    font-weight: bold;
}

dl.subheads dd {
    padding-bottom: 12pt;
}

table.shaded {
	text-align: center;
	background-color: #EEEEEE;
	border: 5pt outset;
}

table.shaded tr {
	border: 1pt solid black;
}

.padded {
    padding:  0.1in 0.1in 0.1in 0.1in;

}

ul.files li {
    font-family: Courier, Monospace;
    color:#000066;		  
}

ul.files li.normal {
    font-family: Tahoma, Arial, Helvetica, Sans-Serif;
    color:#000000;		  
}

span.normal {
    font-family: Tahoma, Arial, Helvetica, Sans-Serif;
    color:#000000;		  
}

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

ol.contents {
	list-style-type: upper-roman;
}