.nop {}

A:link {
    color: #003333;
}

A:visited {
	  color:	#441111;
}

BODY {
	  margin-top:		24pt;
	  margin-left:		2ex;
	  margin-right:		2ex;
/*	  background-color:	#FFF6F6;
	  background:		#FFFEFE; */
			background-color: white;
			background: white;
	  color:			black;
	  font-family:	Optima, sans-serif;
}

DIV.title {
    padding: 1ex;
    margin-bottom: 1em;
    background-color:	#D0DD88;
    border: 4px solid #B420BF;
    color: #225555;
    font-size: xx-large;
    font-weight: bold;
    text-align: center;
}

DIV.title .coursename {
    font-size: normal;
}

DIV.title .coursenum {
    font-size: smaller;
}

DIV.title .coursesem {
    font-size: smaller;
}

DIV.title .subtitle {
    font-size: normal;
    color: #B420BF;
    font-weight: bold;
}

H1 {
/*	  background-color:	#FFAAAA;
	  background:		#FFAAAA;
    border-top: medium solid #336666;
    border-bottom: thin solid #336666;
    color: #441111;
    font-size: x-large;
    font-weight: bold;
*/
    background-color:	#D0DD88;
    background:		#D0DD88;
   border-top: medium solid #B420BF;/*#441111;*/
   border-bottom: thin solid #B420BF;/*#441111;*/
    color: #225555;
    font-size: x-large;
    font-weight: bold;
}

H2 {
    font-weight: bold;
    font-size: large;
    /*color: #339999;*/
    color: #808040; /*#8020BF;*/
}


H3 {
    font-weight: bold;
    font-size: normal;
    color: #D0DD88; /*#336666;*/
}

DIV.foot {
    margin-top: 2em;
    padding-top: 0.5em;
    padding-left: 0.5em;
    border-top: thin groove #d5c222;
}

DIV.output {
    margin-top: 1ex;
    margin-bottom: 1ex;
    font-style: italic;
    border: 1.5px dashed black;
    padding-left: 1em;
    padding-right: 0.5em;    
}    

DIV.code {
    margin-top: 1ex;
    margin-bottom: 1ex;
    border: 1.5px solid black;
    padding-left: 1em;
    padding-right: 0.5em;
}

DIV.code a {
    font-family: fixed;
}

DIV.lab {
    margin-left: 2em;
    margin-right: 2em;
}

DIV.attribution {
    margin-top: 1em;
    text-align: center;
    font-size: smaller;
}