html{height:100%;margin:0;padding:0}body{margin:0;font-family:"Inconsolata";height:100%}a{text-decoration:none;color:#0B6FA4}a:hover{text-decoration:underline}hr{border:0;height:0;border-top:1px solid rgba(0,0,0,0.1);border-bottom:1px solid rgba(255,255,255,0.3)}#author-name{font-size:30px;color:#272727;display:inline-block}.navbar{padding:50px 0 50px 0}.navbar-ul{display:inline-block;margin:0;padding:5px 0 5px 0;margin-left:20px}.nav-list{list-style-type:none;margin:0 5px 0 10px}.alignable,.pull-left,.pull-right{display:inline-block}.pull-left{float:left}.pull-right{float:right}.container{max-width:700px;margin:auto}.wrapper{min-height:100%}#ins-logo{margin:auto;display:block;max-height:100px;text-align:center}@media (max-width: 800px){.container{max-width:600px;transition:0.3s ease all}}@media (max-width: 650px){.container{max-width:83%}.navbar-ul{margin-top:5px}}@media (max-width: 500px){.navbar{text-align:center;padding:50px 0px 0px 0px}#author-name{width:100%;float:none}#navlist{padding:10px 0 10px 0;margin:0;display:block;float:none;text-align:center;width:100%}#navlist li.alignable,#navlist li.pull-left,#navlist li.pull-right{display:inline-block}#navlist li.pull-left{float:none}#navlist li.nav-list{margin:0}}.content a:hover{text-decoration:underline}.content ol{counter-reset:list}.content ol>li{list-style-position:none;position:relative;list-style:none;margin-top:5px;margin-bottom:5px}.content ul>li{margin:5px 0 5px 0}.content ul{padding:0 20px 0 20px}.content ol{padding:0 30px 0 30px}.content ol>li:before{content:"[" counter(list,decimal) "] ";counter-increment:list;position:absolute;left:-30px}.content blockquote{border-left:5px solid #333333;margin:20px 0 20px 0;padding:2px 8px 2px 8px;font-style:italic}.content .profile{float:right;margin:-10px 0 10px 15px;text-align:center}.content .social{margin-top:6px}.content .social a{display:inline-block;margin:0 3px;color:#555555}.content .social a:hover{color:#0B6FA4}.content .social svg{width:18px;height:18px;vertical-align:middle}.content .profile-picture{height:150px;width:150px;position:relative;display:block;border-radius:50%}p .content .profile-picture{padding:0;margin:0}@media (max-width: 480px){.content .profile-picture img{margin-top:-5px}}.content img{text-align:center;width:100%}.content .publications .pub-year>summary{font-weight:bold;margin:10px 0 4px 0;cursor:pointer;list-style:none}.content .publications .pub-year>summary::-webkit-details-marker{display:none}.content .publications .pub-year>summary::before{content:"\203A";display:inline-block;width:1em;margin-right:6px;text-align:center;transition:transform 0.15s}.content .publications .pub-year[open]>summary::before{transform:rotate(90deg)}.content .publications .pub{margin:0 0 10px 20px}.content .publications .pub-head,.content .publications .pub-venue,.content .publications .pub-links{display:block}.content .publications .pub-title{font-weight:bold;color:inherit}.content .publications .pub-me{color:#0B6FA4}.content .publications .pub-note{font-style:italic;color:blue}.content .publications .pub-links{font-size:0.8em}.content .publications .pub-links a{margin-right:1em}.content .publications .pub-badges img{width:auto;height:1.8em;vertical-align:middle;margin-left:3px}.content .cve{display:inline-block;font-size:0.75em;white-space:nowrap;padding:0 5px;margin:0 2px;border:1px solid #999999;border-radius:3px;color:#000000;vertical-align:1px}.content .impact .impact-meta{font-size:0.85em;color:#555555}.content ul.contact-list{list-style:none;padding:0}.content ul.contact-list>li{margin:8px 0}.content ul.contact-list .contact-icon svg{width:18px;height:18px;margin-right:10px;vertical-align:-3px;color:#555555}table{margin:15px 0;border-collapse:collapse;width:100%;padding:0}table tr{border-top:1px solid #cccccc;background-color:white;margin:0;padding:0}table tr:nth-child(2n){background-color:#f8f8f8}table tr th{font-weight:bold;border:1px solid #cccccc;text-align:left;margin:0;padding:6px 13px}table tr td{border:1px solid #cccccc;text-align:left;margin:0;padding:6px 13px}table tr th :first-child,table tr td :first-child{margin:0}table tr th :last-child,table tr td :last-child{margin:0}