body { font-size:100%; font-family:trebuchet ms; } div.disclaimer { font-size:75%; font-family:trebuchet ms; } div.year_bar { color:white; font-size:150%; font-weight:bold; background-color:burlywood; padding:10px; margin:20px 0px; clear: both; } div.paper { /* border-style:dashed; border-width:1px; border-color:burlywood; */ margin: 20px 20px 20px 240px; clear: both; } table.thumbnail { float:left; } table.thumbnail td { text-align:center; } table.thumbnail img { border-width:0px; } a.thumbnail { } img.thumbnail { float:left; margin:10px; border-width:1px; border-color:white; margin-top: 10px; margin-left: -240px; width: 200px; } a.thumbnail img.thumbnail { border:solid 1px white; } a.thumbnail img.thumbnail:hover { border:solid 1px darkblue; } a { text-decoration:none; color:darkblue; } a:hover { text-decoration:underline; } a.title { font-size:120%; font-style:italic; font-weight:bold; } a.title:before { content:open-quote; } a.title:after { content:close-quote; } span.title { font-size:120%; font-style:italic; font-weight:bold; } span.title:before { content:open-quote; } span.title:after { content:close-quote; } a.where { font-style:italic; } a.bibtex { background-color:black; color:white; } a.bibtex:hover { text-decoration:none; background-color:white; color:black; } div.header { font-size:100%; } div.abstract { text-indent: 1.0em; margin-top: 1em; font-family: Georgia, "Bitstream Charter", serif; } div.abstract div.title { display: none; font-weight:bold; /* text-decoration:underline;*/ text-align:left; font-size:120%; } span.volume:before { content:'vol. '; } span.no:before { content:'no. '; } span.pages:before { content:'pp. '; } span.year { color:darkred; font-weight:bold; } span.source, span.source a { color:darkgreen; font-weight:bold; } span.errata, span.errata a { color:darkred; font-weight:bold; } div.note { font-weight:bold; text-align:center; } a.icon img { border:none; } div.footnote { margin:10px; background-color:lightgray; padding:20px; } div.pubs_header { padding:10px; } a.pubs_category { color:white; font-size:100%; font-weight:bold; padding:10px; text-decoration:none; background-color:black; margin:0px; } /* Change the hanging layout if the device is too small */ @media screen and (max-width:800px) { img.thumbnail { margin-right: 0px; margin-left: 0px; float: right; } div.paper { margin: 20px 5px; } } @media screen and (max-width:500px) { img.thumbnail { float: none; margin-left: auto; margin-right: auto; } }