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

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

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

/* Use these styles for mathematics */
.math, .m    { font-family: "Times New Roman", "times", serif; }

pre, xmp     { font-family: "Courier New", "Courier", monospace; 
               font-size: 95%; 
               white-space: pre; 
               margin-top: 1em; margin-bottom: 1em;
               margin-left: 0.5ex; margin-right: 0.5ex; 
               padding-top: 0.2ex; padding-bottom: 0.2ex;
               padding-left: 1ex; padding-right: 1ex; 
               border-style: solid; border-width: 1px; 
               border-color:#ccc; 
               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; }

ol.enumi     { list-style-type: decimal; }
ol.enumii    { list-style-type: lower-alpha; }
ol.enumiii   { list-style-type: lower-roman; }
ol.enumiv    { list-style-type: upper-alpha; }

ul.labeli    { list-style-type: disc; }
ul.labelii   { list-style-type: circle; }
ul.labeliii  { list-style-type: square; }