html, body   { background: #fff; color: #000; }
a            { font-weight: bold }
p            { margin-top: 1ex; margin-bottom: 1ex }
ul, ol       { margin-top: 1em; margin-bottom: 1ex; margin-left: 2em }
.figure, .title { text-align: center }
em           { font-style: italic; color: #AA3300 }
strong       { font-weight: bold }

/* Use this style to highlight changes to problem sets */
.change      { color: #000000; background-color: #99CCFF }

/* Use these styles to highlight code */
.comment     { color: #337755; background-color: transparent }
.javadoc     { color: #3355BB; background-color: transparent }
.string      { color: #339966; background-color: transparent }
.keyword     { color: #770055; background-color: transparent; 
               font-weight: bold; }
.bnf         { color: #080; background-color: transparent; font-weight: bold; }

/* Use these styles for mathematics */
.math, .m    { color: black; font-family: "Times New Roman", "times", serif; 
               font-size: 105%; background-color: transparent }

pre, xmp     { font-family: "Courier New", "Courier", monospace; 
               margin-left: 1em; 
			   margin-right: 1em; 
               padding-left: 0.2cm; 
               padding-right: 0.2cm; 
               white-space: pre; 
               font-size: 95%; 
               border-style: solid; 
               border-width: 1px; 
               border-color:#c0c0c0; 
               background: #eee; }

code         { font-family: "Courier New", "Courier", monospace; 
               font-size: 95%; color: #2244AA; font-weight: bold; }
kbd, tt      { font-family: "Courier New", "Courier", monospace; 
               font-size: 95%; color: #229944; font-weight: bold; }

ol li, ul li { margin-top: 1ex; margin-bottom: 1ex }
ol p, ul p   { margin-top: 1ex; margin-bottom: 1ex }