body{font-family:sans-serif;font-size:16px;max-width:980px;margin:0px auto 0px auto;background:url('/images/2flimmi.png');color:rgb(56,54,23)}p{line-height:150%}pre{white-space:pre-wrap}blockquote,pre{padding:0 0 0 15px;margin:1em 10px 1em 20px}code{font-size:15px}blockquote{border-left:5px solid #eeeeee}hr{border:1px dashed #45ADA8}div.inner{margin:0 2em 0 2em;padding:0.3em 0 1em 0}div.inner a:link,div.inner a:visited{text-decoration:none;color:#f0166f;border-bottom:1px dotted #45ADA8}div.inner a:hover{background-color:#f0166f;color:white}div.inner img{display:block;margin-left:auto;margin-right:auto}h1,h2,h3,h4{font-family:sans-serif;font-weight:normal}h3,h4{}div.home h2::before,h1#post-title::before{content:"λ";padding-right:3px;position:relative;color:#9DE0AD}div#header-inner{margin:1em 2em 0 2em;padding:0.1em 0 0.1em 0;border-bottom:2px dashed #45ADA8}div#header-inner a{text-decoration:none}div#header-inner a:hover{background-color:#41484c;color:white}span#blog-title{font-family:sans-serif;font-weight:normal;margin:0px;margin-left:auto;margin-right:auto;letter-spacing:-0.05em;color:#41484c;font-size:32pt}span.menu-item{padding-left:10px;color:#41484c}span#menu-items{margin-top:7px;font-family:sans-serif;font-size:32px;float:right;letter-spacing:-0.05em}span#menu-items a,a:visited{color:#41484c}span#menu-items a:hover{background-color:#41484c;color:#FFFFFF;text-decoration:none}div#column{box-shadow:0px 0px 40px rgba(0,0,0,0.6);background-color:#FFFFFF;border-radius:3px;margin:1em 0 1em 0}div.footnotes{font-size:0.9em}div.footnotes hr{border:0}pre.literatehaskell{margin-left:0;padding-left:0}code.literatehaskell{font-size:14px}li{margin:0 0 5px 0}sup{line-height:0}