.clear{clear:both;float:none;font-size:7px}body{font-family:sans-serif;background-color:#FFFFFF;color:#3C3A37}a{color:#3C3A37}a:hover{text-decoration:none}#container{width:700px;margin:auto;padding-top:50px}#header{height:100px;padding-bottom:10px;margin-bottom:10px}#blog_title{font-family:Helvetica,sans-serif;text-transform:uppercase;font-size:60px;line-height:40px;margin:0 0 7px 0}#header a{text-decoration:none}#footer{text-align:center}#blog_title .michael{font-weight:bold}#blog_title .xavier{font-weight:lighter}#blog_tagline{font-family:Monaco,"Courier New","DejaVu Sans Mono","Bitstream Vera Sans Mono",monospace;font-weight:normal;color:#656565;font-size:20px;margin:0 0 7px 0}#links{font-family:Helvetica,sans-serif;color:#656565;font-size:16px;margin:0 0 7px 0}#links a{margin-right:20px;text-decoration:none}#links a:hover{color:white;background-color:#656565}#lambda{width:126px;height:100px;background:url('/images/lambda.png');background-repeat:no-repeat;padding-right:10px;border-right:1px solid #656565;margin-right:10px;float:left}h1.title{font-family:georgia,'bitstream vera sans serif','lucida grande',helvetica,verdana,sans-serif;font-weight:normal;letter-spacing:-0.05em;margin:0}h1.title a{text-decoration:none}.date{font-style:italic;font-size:0.9em;color:#999999}.post .date{padding-bottom:5px;margin-bottom:5px;border-bottom:1px dotted #999999}ul.posts{list-style-type:none;padding:0}li.post,#article .post{margin-bottom:10px;padding-bottom:10px;border-bottom:3px solid black}.compact_post{margin-bottom:10px;padding-bottom:10px;border-bottom:1px solid #999999}.comment_count{font-size:0.8em;text-align:right}.date{font-style:italic}.compact_post .date{float:right}blockquote{font-style:italic;color:#808080}p{line-height:1.5em}