@import "base.css";@font-face{font-family:Helvetica Neue,Helvetica,Arial,sans-serif;font-style:normal;font-weight:400}body{background:#fff;color:#444;font-family:Helvetica Neue,Helvetica,Arial,sans-serif;font-size:18px;font-weight:400;margin:50px auto 0px auto;width:800px;padding:0px 50px}header{position:relative;border-bottom:4px solid lightgray}div.logo a{color:#989898;font-weight:550;float:left;vertical-align:baseline;font-size:30px;text-decoration:none;position:absolute;bottom:0;left:0}header nav{text-align:right}header nav a{color:#343333;font-size:20px;font-weight:400;margin-left:12px;text-decoration:none;text-transform:lowercase}header nav a:hover{color:lightgray;text-decoration:none;text-transform:lowercase}footer{border-top:solid 4px lightgray;color:#BBB;font-size:14px;margin-top:40px;padding:12px 0px 12px 0px;text-align:center}footer a{font-size:14px;font-weight:500}section.header{color:#555;font-size:16px;font-style:italic}ul,ol{padding-left:20px}main a{color:SteelBlue;text-decoration:none}main a:hover{color:SkyBlue;text-decoration:none}p{font-size:18px;font-weight:400;line-height:20px;text-align:justify;text-justify:inter-word;margin-top:0px;margin-bottom:10px}main li{font-size:18px;font-weight:400;line-height:20px;margin-top:0px;margin-bottom:10px;padding-left:10px}main{margin-top:20px;margin-left:7px;margin-right:7px;font-size:18px;font-weight:400;text-align:justify;text-justify:inter-word}main h1{color:#5c5c5c;font-size:30px;font-weight:550;margin-top:40px;margin-bottom:20px;text-align:center;border-top:2px solid gainsboro;border-bottom:2px solid gainsboro;background-color:#fafafa}main h1.title{font-size:55px;font-weight:400;margin-top:40px;margin-bottom:20px;text-align:center;border:none;background-color:transparent}main h2{color:dimgray;font-size:24px;font-weight:550;margin-top:30px;text-align:center;border-bottom:2px solid gainsboro}main h3{color:dimgray;font-size:20px;font-weight:500;text-align:center;margin-top:25px;margin-bottom:10px}main hr{border:1px solid gainsboro}main pre{font-family:JetBrains Mono,Menlo,Consolas,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New;background-color:#f5f5f5;overflow:scroll;-webkit-overflow-scrolling:touch}main code{font-family:JetBrains Mono,Menlo,Consolas,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New;color:dimgray}main h1 code{font-weight:600}main h2 code{font-weight:600}main h3 code{font-weight:600}main .authors{color:dimgray;font-size:20px;text-align:center}main ul li::marker{content:"\2022";color:#989898;display:inline-block;width:1em;margin-left:-1em}main #toc ul{text-align:left;text-justify:none;list-style:none;margin:0;padding:0}main #toc ul li a{font-size:20px;font-weight:500}main #toc ul ul li a{font-size:16px;font-weight:500}main #toc ul ul{list-style:none}main #toc ul ul li{list-style:none;margin:0px}main #toc ul li::marker{content:""}main #toc ul ul li::before{content:"├";color:gainsboro;padding:0px;margin:0 10px 0 0}main .blog-list .date{color:dimgray;font-style:italic}main img{width:100%}section.footnotes{margin-top:30px}.hidden{width:0px;height:0px;display:none}