body { color : #000000; background-color : white; background-attachment : fixed; background-position : center; background-repeat : no-repeat; margin : 20px; padding : 0px; font : 12px verdana, arial, helvetica, sans-serif; }
table { font : 12px/18px verdana, arial, helvetica, sans-serif; }
table.contact tr td { padding : 0px 1em 1ex 0px; }
.contact-type { text-align : right; vertical-align : top; font-weight : 800; }
.contact-info { text-align : left; vertical-align : top; }
table.syllabus { border : 1px solid black; border-collapse : collapse; }
table.syllabus td { padding-left : 10; padding-right : 10; border : 1px solid black; }
.reading { font-weight : 800; }
.problem_set { font-weight : 800; }
.topic { font-weight : 800; }
.book_title { font-style : italic; }
.yelling { font-style : italic; }
code { color : blue; }
pre { color : blue; }
h1 { margin : 0px 0px 15px 0px; padding : 0px; font : 20px verdana, serif; font-weight : 800; color : #505050; }
h2 { font : bold 12px/14px verdana, arial, helvetica, sans-serif; margin : 0px 0px 5px 0px; padding : 0px; }
h3 { font : bold 12px/14px verdana, arial, helvetica, sans-serif; margin : 0px 0px 5px 0px; padding : 0px; font-weight : 800; color : #505050; }
p { font : 12px/18px verdana, arial, helvetica, sans-serif; margin : 0px 0px 12px 0px; padding : 0px; }
p.address { line-height : 15px; margin-left : 10px; }
p.footer { position : relative; bottom : 0px; left : 160px; }
table { font : 12px/18px verdana, arial, helvetica, sans-serif; }
a:link { color : #8080FF; font-weight : 800; text-decoration : none; }
a:visited { color : #404080; }
a:hover { color : #525252; }
image.left { float : left; padding-right : 10px; }
.float_right { position : relative; float : right; }
table.show_border { border : 1px solid gray; }
td.show_border { border : 1px solid gray; }
td.label { text-align : right; font-weight : bold; padding-right : 8px; }
.outline_box, .title_box { overflow : auto; position : relative; width : auto; min-width : 120px; margin : 10px 10px 20px 160px; border : 1px dotted gray; background : transparent; padding : 10px; z-index : 3; }
div.separator { height : 0.7em; }
#navalpha { position : fixed; width : 150px; top : 15px; left : 15px; border : none; background : transparent; padding : 10px; z-index : 2; }
#navalpha ul { list-style : none; line-height : 1.5em; margin : 0; padding : 0; border : none; }
#navalpha ul li ul { padding-left : 10; }
#navalpha a { font-weight : 800; text-decoration : none; }
#navalpha ul li hr { }