body{color:black;font-family:"Bitstream Charter", Georgia, serif;font-size:110%;line-height:1.7em;margin:0px auto 0px auto;width:800px}div#header{border-bottom:2px solid black;margin-bottom:30px;padding:12px 0px 12px 0px}div#logo a{color:black;float:left;font-weight:bold;text-decoration:none;font-size:180%}div#header #navigation{text-align:right}div#header #navigation a{font-weight:bold;margin-left:12px;font-size:130%}div#footer{border-top:solid 2px black;color:#555;font-size:14px;margin-top:30px;padding:12px 0px 12px 0px;text-align:right}h1{font-size:220%;font-weight:bold;line-height:100%;color:#6e618d}h2{font-size:210%;font-weight:bold;line-height:100%}h4{font-size:200%;font-weight:bold;line-height:100%}div.info{color:#555;font-size:14px;font-style:italic}pre{line-height:20px;word-break:break-all}article pre{word-wrap:normal}article code{color:#005580;font-size:14px;white-space:pre}pre code{display:block;margin-bottom:2em;padding:12px}code, pre{border-radius:3px}code{background-color:rgb(250, 250, 250);border:1px solid rgb(200, 200, 200);font-family:Monaco, Menlo, Consolas, "Courier New", monospace;padding-left:4px;padding-right:4px;line-height:140%}a:hover, a:focus{color:#005580;text-decoration:underline}