html{font-family:"Libre Franklin", Helvetica, Arial, sans-serif;font-weight:300;font-size:13pt;line-height:1.35;color:#1F262B;text-rendering:optimizeLegibility}body{margin:0 auto;padding:1em;max-width:42em}b,strong,h1,h2,h3,h4{font-weight:600}pre,code{font-size:12pt;font-family:"Inconsolata", Consolas, Menlo, monospace;font-weight:400}pre{padding:0.5em;overflow-y:auto}h1,h2,h3,h4{margin:0.4em 0}h1,h2{margin-top:1.0em}h3{margin-top:0.8em}h1{font-size:160%}h2{font-size:130%}h3{font-size:117%}h4{font-size:104%}a{color:#BF5700;text-decoration:none}a:hover{color:#863d00}header h1{margin-top:0}header h1 span.semester{font-size:13pt;font-weight:300}header nav p{display:inline-block;margin:0 1em 0 0}footer{color:#9aaab6;font-size:10pt}footer a{color:#9aaab6}footer a:hover{color:#627989}div.notice{margin:0.4em auto;padding:0.5em;background:#f9ddc6;border:1px solid #BF5700}div.toc{margin:0.4em auto;padding:0.5em;background:#f8f8f8;border:1px solid #ddd}div.toc h3{margin-top:0}div.toc ul,div.toc ol{margin-top:0;margin-bottom:0}