@charset "utf-8";

img#uonImg { border-width: 0; margin: 20px 20px 5px; }
img#carmaImg { border-width: 0; width: 170px; margin: 0px 20px; }
img#avatar { margin: 0px 40px; float: left; }
img#validImg { border-width: 0; }
img.pdf, img.crref, img.mscinet, img.zblatt, img.numdam, img.eucl, img.slc { border-width: 1px; border-color: #000000; height: 25px; vertical-align: middle; margin: 1px; }
img#zetatilde { vertical-align: text-bottom; }
body { margin: 20px; background-color: #eeaa00; font-family: Arial, Helvetica, Times, serif, sans-serif, Verdana; }
div#inst { float: left; }
div#validDiv { display: none; padding: 20px 0px 0px; }
div#nopubs { font-size: 90%; }
div#pubs { font-size: 90%; }
div#addr { margin: 0% 0% 0% 45%; }
div.aut { width: 30%; margin: 5px 0px; font-variant: small-caps; font-weight: bold; text-indent: 5px; border: 1px solid; padding: 10px; background-color: #eaeac2; }
p#aboutMe { padding: 10px 0px 8px; margin: 0% 0% 0% 45%; }
p#siteInfo { float: left; padding: 0px 30px 0px 0px; }
p#emails { font-size: 90%; }
abbr.noundl { border-bottom-style: none; }
hr.delim { height: 1px; border-width: 0; color: #000000; background-color: #000000; }
li.padMe { padding: 10px 0px; }
a:visited { color: #ff0000; }
b#asds { float: left; color: #00bb00; display: none; font-size: 140%; font-weight: bold; text-decoration: none; border-style: outset; border-width: 2px; background-color: #ffffcc; padding: 4px 14px; }
b#asds:hover { cursor: pointer; }
kbd.colour1 { color: #666600; font-size: larger; }
kbd.colour2 { color: #003300; font-size: larger; }
kbd.colour3 { color: #cc0099; font-size: larger; }
kbd.colour4 { color: #472400; font-size: larger; }
kbd.rusv { font-size: 16px; }
h1#nameHd { padding: 30px 0px 0px; }
.centred { text-align: center; }
table.pub { border: 1px solid; border-collapse: collapse; margin: 5px 5px 5px 55px; width: 80%; }
table#contents { border: 1px solid; border-collapse: collapse; margin: 5px 5px 5px 20px; width: 95%; }
table#contents th[colspan] { font-size: 20px; background-color: #e0d67c; }
td { border: 1px solid; padding: 10px; background-color: #eaeac2; }
td.aut, span.aut { font-variant: small-caps; font-weight: bold; }
td.pageNums { width: 8%; text-align: right; }
th { border: 1px solid; padding: 10px; background-color: #f0e68c; width: 30px; }
ul#links { padding: 20px 0px 0px 20px; }