@import url(https://fonts.googleapis.com/css?family=Roboto:400,300,100,400italic); /* This file contains screen-only layout declarations that won't be * used for printing. */ /* Make show up as a centered white box with rounded border, * over the darker enclosing . */ html { padding: .75em; background: #152; } body { font-family: 'Roboto Light', sans-serif; position: relative; margin: 0 auto; padding: 1em; border: 1px solid black; background: #DFE; max-width: 75em; } .current-page { font-size: 28px; color: #333; font-weight: 100; } .log { font-size: 28px; color: #333; font-weight: 100; } .cap { font-size: 20px; font-weight: 300; } h2 { font-size: 22px; font-weight: 300; line-height: 15px; margin-top: 15px; margin-bottom: 15px; } h3 { font-size: 18px; font-weight: 300; line-height: 10px; margin-top: 15px; margin-bottom: 15px; } h4 { font-size: 15px; font-weight: 300; line-height: 10px; margin-top: 8px; margin-bottom: 8px; text-decoration: underline; } h5 { font-size: 14px; font-weight: 300; margin-top: 4px; margin-bottom: 4px; text-decoration: underline; } /* Colors. */ h1, h2, h3, h4, h5, h6 { /*color: #462;*/ } :link { color: #09c; } :visited { color: #039; } /* Remove link underline until hover. */ :link, :visited { text-decoration: none; } :link:hover, :visited:hover { text-decoration: underline; } .feed { margin-left: 3px; padding: 0 0 0 17px; background: url("feed-icon-14x14.png") no-repeat 0 50%; } .pdf { float: right; padding: 26px 0 0 28px; background: url("pdf.gif") no-repeat 0 50%; } .eccc { float: right; padding: 26px 0 0 28px; background: url("eccc.gif") no-repeat 0 50%; } .arXiv { float: right; padding: 26px 0 0 28px; background: url("arXiv-24x26.png") no-repeat 0 50%; } .paper { width: 75%; float: left; } .venues { margin-bottom: 0px; } .conf { float: right; } .talk { float: right; } table tr.spacer { height: 7px; } .smallcap { font-size: 15px; font-weight: 300; } .smcap { font-weight: 300; } /* * https://stackoverflow.com/questions/3200249/html-list-style-type-dash */ ul { list-style-type: none; padding-left: 1.5em; } ul > li:before { content: '\2014'; position: absolute; margin-left: -1em; }