*{margin:0;padding:0}html{height:100%}body{color:#333;background-color:#f8f8f8;font-size:16px;font-family:Helvetica, Arial, sans-serif;text-align:left;width:42em;padding:0 2em;margin:1em auto;line-height:1.5em}p{margin:1em 0}a{color:#00a}a:visited{color:#a0a}a:hover{color:#00b}h1{font-size:1.5em}sup{padding-left:4px;padding-right:2px;vertical-align:top;position:relative;top:-0.5em}header{display:block;margin-bottom:1em}header h1{margin-bottom:0;font-size:24pt;font-family:ProFont, Monaco, Menlo, Courier, mono}header a{color:#008;text-decoration:none}header a:visited{color:#008}header a:hover{text-decoration:underline}header .subtitle{font-weight:bold;font-size:85%}footer{font-size:80%;color:#666;border-top:4px solid #eee;margin-top:2em;overflow:hidden}footer a{color:#7075B1}footer ul.contact{list-style:none}footer .rss{margin-top:1.1em;margin-right:-.2em;float:right}footer .rss img{border:0}ol.posts{list-style-type:none}ol.posts a{text-decoration:none;font-size:1.5em;font-weight:bold}ol.posts a:visited{color:#004}ol.posts a:hover{text-decoration:underline}ol.posts li{margin-bottom:1.5em}.post-date{color:#666;font-size:10pt}.post h2,.post h3,.post h4,.post h5,.post h6{margin-top:1.5em}.post .highlight{background:none}.post div.highlight:before,.post div.highlight:after{content:none}.post pre{border:1px solid #ddd;background-color:#efefff;padding:0 .4em;line-height:1.25em}.post blockquote{margin:0.5em;border-left:6pt solid #ddd;padding:0 1em}.post ul,.post ol{margin-left:1.35em}.post code{border:1px solid #ddd;background-color:#efefff;font-size:85%;padding:0 .2em;white-space:pre}.post pre code{border:none}.post pre.terminal{border:1px solid #000;background-color:#333;color:#FFF}.post pre.terminal code{background-color:#333}.post .inline-footnote{display:none;position:absolute;z-index:1;top:0;left:0;width:24em;padding:0.5em;background:#f8f8f8;background:rgba(248,248,248,0.95);border:1px solid #ccc;box-shadow:0px 3px 8px #bbb}.post sup:hover .inline-footnote,.post .inline-footnote:hover{display:block}.footnotes{margin-top:4em;border-top:1px solid #ccc;padding-top:2em}