nav ul:after{content:" ";display:table;clear:none}table{border-collapse:collapse;border-spacing:0;border:1px solid #000000}th{border:1px solid #000000}td{border:1px solid #000000}*{position:relative;-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box}::-webkit-scrollbar{background:#fff}::-webkit-scrollbar-thumb{background:rgba(0,0,0,0.2);border:solid #fff 4px}::-webkit-scrollbar-thumb:hover{background:rgba(0,0,0,0.3)}body,html{background:#fff;hyphens:auto}body{width:100%;padding:2.5% 0 2.5% 0;font-family:Montserrat, serif;font-size:20px;margin:0;color:#444}header nav{font-family:Montserrat, serif}header nav ul i.fa{font-size:2em !important;font-weight:400;margin-top:10px}header nav ul img:hover,header nav ul i.fa:hover{transition:all 0.2s cubic-bezier(0.5, 1.45, 0.64, 1.87);transform:translateY(-0.2em)}.big{color:#222;text-align:left;font:normal normal bold 2em 'Merriweather', serif;margin:.5em 0;word-break:break-all;hyphens:auto;-moz-hyphens:auto;-webkit-hyphens:auto;-ms-hyphens:auto;word-wrap:break-word}button{background-color:white}p{margin-bottom:8px;margin-top:8px}a,a:visited{text-decoration:none}footer a,footer a:visited,p a,p a:visited{color:#000;padding-bottom:1px;border-bottom:1px dashed #000}footer a:hover,footer a:visited:hover,p a:hover,p a:visited:hover{border-bottom-style:solid}footer a:active,footer a:visited:active,p a:active,p a:visited:active{background:#000;color:#fff;border-bottom:1px solid #000}pre{word-wrap:normal;white-space:pre;padding:4px;background-color:#eff0f1;overflow-x:auto;border-radius:4px}article .content.top-page{word-break:break-all;word-wrap:break-word}li article .fa{font-size:.85em !important;color:#999;margin-left:.5em}li article .date i.fa{font-size:1.2em !important;margin-left:unset;margin-right:.4em}.Agda,code{color:#000;font-family:"JetBrains Mono", "Fira Code", "Menlo", "Andale Mono", "Monaco", "Consolas", "DejaVu Sans Mono", "Courier", "Lucida Sans Unicode", monospace;font-size:.85em;background-color:#eff0f1;line-height:1.25em;border-radius:.25em}code::-webkit-scrollbar{background:0 0}code::-webkit-scrollbar-thumb{border:#f5f2f0}aside{padding:0 1em .5em;margin:0;border-left:5px solid #ccc}aside footer{font-size:.75em}.container,nav{width:80%;margin-left:auto;margin-right:auto}.container:after,nav:after{content:" ";display:block;clear:both}nav{margin-bottom:2em;padding:.5em 0}nav.pagination{border-bottom:0}nav img{height:2em;vertical-align:middle}nav img.radius{width:20px;height:20px;border-radius:1.5em}nav span{display:block;font-size:0.8em}nav ul{list-style:none;padding:0;max-width:75em;margin:.75em auto;display:flow}nav li{margin:0 2%;font-size:.9em;text-align:center;line-height:1.2em;float:right}nav li a{border:0;display:inline-block}nav li.current a{color:#444}p.date,span.date{font-size:0.6em;color:#999;margin-bottom:0 !important;margin-top:4px !important;height:24px}article sub,article sup{font-family:serif;color:#858585}kbd{display:inline-block;padding:1px 3px;color:#555;vertical-align:middle;background-color:#fcfcfc;border:3px solid #ccc;border-bottom-color:#bbb;border-radius:5px;box-shadow:inset 0 -1px -1px #bbb;box-sizing:border-box;margin:3px}.container{padding:0 2%;line-height:1.5em}.container>ul{margin-top:0;margin-bottom:0}blockquote{background:#f8f8f8;border-left:.5em solid #ccc;margin:.5em 0 .5em 1.2em;padding:.2em .4em;overflow-x:auto;color:#555 !important;text-overflow:ellipsis}.blog{list-style:none;padding:0}.entry{margin-bottom:2.5em}.tweet{background:#55acee;color:#fff;padding:.5em;border:0}.tweet_this{color:#1dcaff}.tweet_this:hover i{transform:translateY(-0.2em);transition:transform 0.2s cubic-bezier(0.5, 1.45, 0.64, 1.87)}.top{background:#eee;padding:.5em;margin-top:-1.5em;font-size:1.1em;text-align:center;border:1px solid #aaa;color:#888 !important;float:right}img{max-width:100%;box-sizing:border-box;border:0;margin-top:10px}footer{margin-top:2em;padding:1em 0;border-top:1px solid #000;text-align:center}div.cc-license{display:block;word-break:break-all;padding:0 2.5%;font-size:0.8em}div.cc-license img{margin:0 auto}.twitter-tweet{width:95% !important;margin:0 auto !important}.copyright{font:0.8em Montserrat}nav.pagination{margin-bottom:1em;width:100%}nav.pagination a{font-weight:normal;font-size:0.8em;line-height:1.25em;display:inline-block;border-radius:0.3em;background:#4a4a4a6e;padding:0.2em 0.4em;margin:0.1em 0}nav.pagination a.inactive{background:none;cursor:unset;border-bottom:unset}nav.pagination a.inactive:hover{background:unset}nav.pagination .btn{border:1px solid #ccc;background:#fff;line-height:1.1em;font-size:1rem;display:inline-block;cursor:pointer}nav.pagination .btn .disabled{background:none;cursor:unset}nav.pagination .btn .disabled:hover{background:unset}h1+h2{margin:0 0 1em}h1,h2,h3{color:#222;text-align:left}h1{font-size:1.5em;line-height:1.3em;font-weight:200;font-style:normal;margin:0}h1,h2,h3,h4,h5,h6{margin-top:0.5em;font-family:'Montserrat', "华文中宋", "方正小标宋", serif;font-weight:400}h2{font-size:1.4em;line-height:1.1em;font-weight:300;margin-bottom:0.3em;font-style:normal;padding-bottom:0.1em;border-bottom:1px ridge #595959}h2+p{margin-top:0}h2{font-size:1.2em;line-height:1.1em;font-weight:300;margin-bottom:0;font-style:normal}li article h2{padding-bottom:unset;border-bottom:unset}h2+.date{margin:-1.5em 0 0}h3{font-size:1.3em}h4{font-size:1.2em}h5{font-size:1.1em}a,a:visited{text-decoration:none}article a:hover,article a:visited:hover{padding-bottom:1px;border-bottom:1px solid #009492}p a,p a:visited{color:#800080;padding-bottom:1px;border-bottom:1px dashed #009492}.Agda a,.Agda a:visited,.Agda a:hover-highlight,.Agda a:hover{border-bottom:0}.sourceCode a,.sourceCode a:visited,.sourceCode a:hover{border-bottom:0}footer a:hover,footer a:visited:hover,p a:hover,p a:visited:hover{border-bottom-style:solid}footer a:active,footer a:visited:active,p a:active,p a:visited:active{background:#009492;color:#fff;border-bottom:1px solid #009492}::-webkit-scrollbar{background:transparent}code::-webkit-scrollbar{background:0 0}::-webkit-scrollbar-thumb{border:solid #aaa 4px;border-radius:1em}code::-webkit-scrollbar-thumb{border:#f00}::-webkit-scrollbar-thumb:hover{background:rgba(0,0,0,0.3)}#comments a{font-size:85%}#comments img{height:42px;width:42px}#comments p{color:#000;background-color:#f2f2f2;margin-left:10px;padding:5px;border-radius:5px}