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

h1 {
    color: #660000; 
    background-color: #DD4466; 
    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: #660000; 
    background-color: #FFAABB; 
    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: #660000; 
    font-family: Tahoma, Arial, Helvetica, Sans-Serif;
    font-variant:  small-caps;
    font-weight: bold;
    margin-left: -0.2in;
    padding-left: -0.2in;
    font-size: 0.20in;
    border-bottom: 0.02in solid #660000;
}

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

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

div.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: #660000;
    background-color: #FFAABB; 
    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 #DD4466;
    font-size: 0.12in;
}

#index h3 {
    color: #660000;
    background-color: #DD4466; 
    font-size: 0.12in;
    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;
}    

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

td.h1 {
    color: #660000; 
    background-color: #DD4466; 
    text-transform: uppercase;
    font-weight: bold;
    font-family: Arial, Tahoma, Helvetica, Sans-Serif;
    font-variant:  small-caps;
    letter-spacing: 0.02in;
    padding-left: 0.15in;
}

td.h2 {
    color: #FFBBBB; 
    background-color: #FFAABB; 
    font-weight: bold; 
    font-family: Arial, Tahoma, Helvetica, Sans-Serif;
    font-variant:  small-caps;
    padding-left: 0.25in;
}

a:link {
    color:#660000;
}

a:visited {
    color:#660000;
}

a:hover {
    color:#CC0000;
}

tt {
    color:#660000;
}

pre {
    color:#660000;
}

span.green {
    color: #330066; 
}

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 td {
    border: 1pt;
}

td.padded {
    padding:  10pt, 10pt, 10pt, 10pt;
}

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

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

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

table.code { 
    width: 80%;
    margin-left: 10%;
    margin-right: 10%;
}

table.questions { 
    font-style: italic; 
    background-color: #DDDDDD; 
    width: 80%;
    border: 2pt solid #660000;
    margin-left: 10%;
    margin-right: 10%;
}

table.questions td {
	vertical-align: top;
}

.spaced li {
	padding-bottom: 12pt;
}

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