#content { background: #fff; width: 65em; clear: both; margin: 0 auto; margin-top: 1.6em; padding: 1em; padding-bottom: 3em; padding-top: 3.5em; position: relative; border: 1px solid; border-color: #8C8281; z-index: 0 } #content p { text-align: justify } div, #content, ul { padding-top: 1em } a { text-decoration: none; color: #992900 } a.anchor { color: black } .date { font-style: italic } .title { margin-left: 1em } .article-meta { margin-left: 2.2em; margin-bottom: 2.2em } .archive-title { font-size: 1em } .article-title { font-size: 2em } .article-content { text-align: justify; margin-left: 2.2em } .fineprint { text-align: center; font-size: .9em; margin-top: .5em } .tag-low { font-size: .8em; font-weight: 200 } .tag-medium { font-size: 1.2em; font-weight: 600 } .tag-high { font-size: 1.8em; font-weight: 800 } body { background-color: white; font-family: Vollkorn; font-size: 14pt } #toc div { clear: both; line-height: 120%; text-align: left; width: 770px; height: 50px } #toc ol { font-size: small; white-space: nowrap } #toc ol li { list-style: none; display: inline; padding: 7px 10px } #toc ol li a:visited { color: #AAA } #toc ol li a:hover { font-weight: bold; background-color: #3366FF; color: #FFFFFF } .highlight { background-color: LightYellow } .highlight .symbol, .highlight .default, .highlight .comment { background-color: white; font-weight: normal; color: black } .highlight i { font-style: normal } .highlight i .symbol { font-weight: bold; color: red } .highlight .paren1, .highlight .paren2, .highlight .paren3, .highlight .paren4, .highlight .paren5, .highlight .paren6 { background-color: inherit } .highlight .paren1:hover, .highlight .paren2:hover, .highlight .paren3:hover, .highlight .paren4:hover, .highlight .paren5:hover, .highlight .paren6:hover { font-weight: bold; color: white } .highlight .string { font-style: italic; font-weight: lighter; color: #992900 } .highlight .paren1:hover { background-color: #DB7859 } .highlight .paren2:hover { background-color: #1B804C } .highlight .paren3:hover { background-color: #9F214E } .highlight .paren4:hover { background-color: #DBA059 } .highlight .paren5:hover { background-color: #B64926 } .highlight .paren6:hover { background-color: #64A422 } .highlight .comment { color: red } pre { overflow: auto; margin-left: 1em; padding: 0.5em; border-left: 1px dashed; background-color: white; padding: .75em .5em; font-family: monospace } tt { font-size: .9em; font-family: monospace }