html{background-color:#e0dde0;font-family:'Open Sans', sans-serif;font-size:16px}body{color:#333}#nav{padding:1em;background-color:#3c3b37;color:#dfdbd2}#nav a{border:none;text-decoration:none;color:#dfdbd2;font-weight:bold}#nav ul{margin:0px;padding:0px}#nav ul li{list-style:none;display:inline;margin-right:1em}#header{float:right;clear:left;color:#777}#footer{margin-top:1em;text-align:right;color:#777;font-size:12px}#footer a{color:#000}#page{background-color:#fff}.date{font-style:italic}pre{overflow:auto}a{color:#520}a:visited{color:#520}.right{float:right;clear:left;margin:0em 0em 1em 1em}.left{float:left;clear:right;margin:0em 1em 1em 0em}.inset{border:1px solid #666;padding:2px}.bib-attachments ul{padding:0px;display:inline}li.bib-item{margin-bottom:1em}.bib-venue{font-style:italic}.bib-attachments li{list-style:none;display:inline;margin-right:1em}.bib-raw{font-family:monospace;font-size:8pt;background-color:#ffe;line-height:normal;border:1px dashed #ddd;margin:1em;padding:2px}a.file-pdf{background:url("/images/page_white_acrobat.png") no-repeat;background-position:left center;padding-left:18px}a.file-zip{background:url("/images/page_white_zip.png") no-repeat;background-position:left center;padding-left:18px}.contact-group .contact-group-item{margin-right:10px;display:inline-block}