@font-face{font-family:Humor-Sans;src:url(/fonts/humor-sans.ttf)}body{font-family:Verdana,Geneva,sans-serif;font-size:11pt;background-color:white;margin:0;counter-reset:figures;font-weight:500}h1{font-family:Humor-Sans;font-weight:normal;font-size:160%;padding-left:10px;border-left:7px solid #5770d3}h1:first-letter{font-size:180%}h2{font-family:Humor-Sans;border-left:3px solid #5770d3;padding-left:10px;font-weight:normal;font-size:150%}pre,code{font-family:"Lucida Console",Monaco,monospace}p{padding-right:5px}p code{color:#a57705}a{color:#3d53aa;font-weight:500;text-decoration:none}a:hover{color:#eeeeee;border-radius:2px;background-color:#5770d3}figure{counter-increment:figures}figure img{margin:0 auto;display:block;max-width:100%}figcaption:before{content:"Figure " counter(figures) ". ";font-weight:600;color:#5770d3}figcaption{font-style:italic;color:#465a61;padding-left:5px;padding-right:5px}.fig-counter:before{content:counter(figures)}#menu{width:100%;font-size:13pt;color:#909090;padding-top:0;position:fixed;clear:both;z-index:10;font-family:Humor-Sans;font-weight:normal}.menu{opacity:0.85;background-color:black;margin-top:0;margin-bottom:10px;text-align:center}.menu a{color:#909090}.menu a:hover{background-color:inherit}.menu ul{list-style:none;margin-top:0;margin-bottom:0}.menu li{display:inline;padding-left:10px;padding-right:10px}.menu a:hover{color:#ee9a00}#mainMenu{font-size:14pt;padding-top:5px;padding-bottom:5px}#subMenu{padding-top:3px;padding-bottom:3px;font-size:11.5pt;min-height:20px}#subMenu .active a{color:#5770d3}#subMenu .active a:hover{color:#ee9a00}#main{margin-left:auto;margin-right:auto;padding-top:230px;overflow:hidden;max-width:1200px}#header{top:70px;background:url('/images/sheep_extended.jpg');background-repeat:no-repeat;background-position:center top;z-index:-10;width:100%;height:900px;position:absolute}p{padding-left:10px}.margin{width:224px;height:100px}#left{float:left;padding-right:10px}#right{float:left;padding-left:10px}.leftmargin,.publications li:nth-child(even) .thumbnail{position:relative;display:block;left:-240px;padding:0;width:214px;height:0px;z-index:0}.rightmargin,.publications li:nth-child(odd) .thumbnail{position:relative;display:block;left:710px;padding:0;width:214px;height:0px;z-index:0}.leftmargin figure,.leftmargin img{display:inline;float:none;margin-left:0}.rightmargin figure,.rightmargin img{display:inline;float:none;margin-left:0}#center{max-width:700px;float:left;padding-left:5px;padding-right:5px;text-align:justify;padding-top:25px}#blur{position:absolute;filter:blur(5px);width:700px;height:100%;z-index:-1;background-color:white;opacity:0.5}#bodyContent{border-radius:15px;z-index:0}dt{float:left;clear:left;width:120px;text-align:right;font-weight:bold}dt a{font-weight:inherit}dd{margin-left:130px;padding-right:0.5em}.observation:before{content:"Observation.";font-weight:bold;font-style:normal}.lemma:before{content:"Lemma.";font-weight:bold;font-style:normal}.theorem:before{content:"Theorem.";font-weight:bold;font-style:normal}.proof:before{content:"Proof.";font-weight:bold}.proof:after{content:"\25FB";float:right}.proof{margin-top:10px}.lemma,.theorem,.observation{font-style:italic;margin-top:15px}