@import "base.css";@font-face{font-family:'PT Sans';font-style:normal;font-weight:400;src:local('PT Sans'), local('PTSans-Regular'), url(PTSans-Regular.woff) format('woff')}body{background:#fff;color:#444;font-family:'PT Sans', 'helvetica', sans-serif;font-size:16px;font-weight:300;margin:50px auto 0px auto;width:600px}div#header{background:url(../images/haskell-purple.png) no-repeat;background-size:73px;border-bottom:2px solid #ddd;margin-bottom:30px;margin-top:50px;padding:18px 0px 18px 0px}div#logo a{color:#343333;display:none;float:left;font-size:18px;font-weight:bold;text-decoration:none}div#logo a:hover{color:#A43400;float:left;font-size:18px;font-weight:bold;text-decoration:none}div#header #navigation{text-align:right}div#header #navigation a{color:#512E5F;font-size:18px;font-weight:bold;margin-left:12px;text-decoration:none;text-transform:uppercase}div#header #navigation a:hover{color:#666;text-decoration:none;text-transform:uppercase}div#footer{border-top:dotted 1px #ddd;color:#BBB;font-size:12px;margin-top:30px;padding:12px 0px 12px 0px;text-align:right}div#footer a{font-size:12px;font-weight:500}h1{font-size:24px;color:#212F3C}h2{font-size:20px;color:#212F3C}h3{color:#212F3C}div.info{color:#555;font-size:14px;font-style:italic}ul, ol{padding-left:20px}a{color:#720000;font-weight:700;text-decoration:none}p{font-size:14px;line-height:20px;margin-bottom:20px}pre.sourceCode{background-color:#f8f8f8;border:2px solid #ddd;padding:6px 10px;border-radius:5px;overflow-x:auto;font-size:14px}table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre{width = 100%;padding:15;vertical-align:baseline;border:1px solid black;tr:nth-child(even){background-color:#f2f2f2}}td.lineNumbers{border-right:1px solid #AAAAAA;text-align:right;color:#AAAAAA;padding-right:5px;padding-left:5px}td.sourceCode{padding-left:5px}.sourceCode span.kw{color:#007020;font-weight:bold}.sourceCode span.dt{color:#902000}.sourceCode span.dv{color:#40a070}.sourceCode span.bn{color:#40a070}.sourceCode span.fl{color:#40a070}.sourceCode span.ch{color:#4070a0}.sourceCode span.st{color:#4070a0}.sourceCode span.co{color:#60a0b0;font-style:italic}.sourceCode span.ot{color:#007020}.sourceCode span.al{color:red;font-weight:bold}.sourceCode span.fu{color:#06287e}.sourceCode span.re{}.sourceCode span.er{color:red;font-weight:bold}