html { background: #222; color: #ddd; font-size: 15px; font-family: DejaVu Sans, Verdana, sans-serif; text-align: justify } html .navigation .next { float: right } html .article-title { clear: right } html .article-body { margin-bottom: 2em } html * { line-height: 1.5em } html #content { padding: 0 1em; max-width: 50em; min-width: 30em; margin: auto } html #archive-link { font-size: 1.5em } html #header { font-family: Helvetica, Arial, DejaVu Sans, Verdana, sans-serif; margin-bottom: 1em } html #main-title { margin: -10px 0 0 0 } html #main-title a { font-weight: bold; font-size: 100px; line-height: 100px; color: #1a1 } html #main-title a:hover, html #main-title a:active, html #main-title a:focus { text-decoration: none; outline: none; color: #4f4 } html #tagline { font-size: 24px; line-height: 24px; margin: -14px 6px 0; color: #666; font-weight: normal } html #about { width: 12em; text-align: right; border-right: 1px solid #666; border-bottom: 1px solid #666; margin: 0 1em; padding: 0.5em 1em 1em; float: left } html #about hr { margin: 0.5em } html #about h3 { text-align: right; font-size: 1.2em } html #about * { line-height: 1.2em } html pre { white-space: pre; word-wrap: break-word; background-color: #000; overflow-x: auto; display: block; padding: 0.5em; margin: 0.5em } html tt { font-family: monospace; color: #aaa } html h1, html h2, html h3, html h4, html h5, html h6 { font-weight: bold; margin: 1em 0 0.5em; text-align: left } html div :first-child { margin-top: 0 } html p { margin: 0 0 0 } html p + p { text-indent: 1.5em } html ul, html ol { margin: 0.2em 0 0.2em 1.3em } html ul { list-style-type: square } html ol { list-style-type: decimal } html em, html i { font-style: italic } html strong, html b { font-weight: bold } html hr { border: 0; height: 1px; display: block; margin: 4em 0; background-color: #bfb; background-image: -moz-linear-gradient(left, rgba(0,0,0,0), rgba(34,34,34,1)); background-image: -ms-linear-gradient(left, rgba(0,0,0,0), rgba(34,34,34,1)); background-image: -o-linear-gradient(left, rgba(0,0,0,0), rgba(34,34,34,1)); background-image: linear-gradient(left, rgba(0,0,0,0), rgba(34,34,34,1)) } html h1, html h2, html h3, html h4, html h5, html h6 { color: #bfb } html h1 { font-size: 180% } html h2 { font-size: 160% } html h3 { font-size: 140% } html h4 { font-size: 120% } html h5 { font-size: 110% } html h6 { font-size: 100% } html small { font-size: 0.75em } html small.date { color: #666; font-size: 0.55em; white-space: nowrap } html #recent-posts > div { margin: 1.5em 0 } html #fineprint { margin-top: 2em } html #fineprint small { display: block; text-align: center } html #header { display: block } html a { color: #fff; text-decoration: none; font-weight: bold } html a:hover, html a:active, html a:focus { text-decoration: none; outline: none; color: #4f4 } html div .donations { width: 100%; text-align: center } html div .donations img, html div .donations small { vertical-align: bottom } html table { width: auto; margin: 1em auto } html table td, html table th { padding: 0.2em 1em; border: 1px solid #bbb } html table th { border-bottom: 4px double #bbb } html table td:first-child, html table th:first-child { border-left: none } html table td:last-child, html table th:last-child { border-right: none } html table tr:first-child td, html table tr:first-child th { border-top: none } html table tr:last-child td, html table tr:last-child th { border-bottom: none } html tt.highlight .symbol, html tt.highlight .default, html tt.highlight .comment { background-color: #000; color: #bbb; font-weight: normal } html tt.highlight .string { color: #88f } html tt.highlight .character .special { color: #f88 } html tt.highlight .keyword { color: #aff } html tt.highlight .variable { color: #ffa } html tt.highlight .symbol { color: #afa } html tt.highlight.css-language .variable { color: #afa } html tt.highlight i { font-style: normal } html tt.highlight .comment { font-style: italic; color: #777 } html tt.highlight .paren1, html tt.highlight .paren2, html tt.highlight .paren3, html tt.highlight .paren4, html tt.highlight .paren5, html tt.highlight .paren6 { background-color: inherit; color: inherit } html tt.highlight .paren1:hover { color: #4ff } html tt.highlight .paren2:hover { color: #ff4 } html tt.highlight .paren3:hover { color: #f44 } html tt.highlight .paren4:hover { color: #4f4 } html tt.highlight .paren5:hover { color: #44f } html tt.highlight .paren6:hover { color: #4f4 }