h1,h2,h3,h4,h5{margin:1.4em 0}.toc-container ul li h2,.toc-container ul li h3,.toc-container ul li h4,.toc-container ul li h5,.toc-container ul li h6,body,html{padding:0;margin:0}.hljs,.published,h1::after,ul#user_links{display:block}.searchbox form,.toc ul,.toc-container ul li,html,pre{margin:0}.hljs,pre{overflow-x:auto}img,pre{max-width:100%}header#user_top h3,header#user_top h4{max-width:450px;padding-left:10px;padding-right:10px}.subscribe,header#user_top h2,header#user_top h4{text-transform:uppercase}figure#user_logo,ul#user_links li a{-webkit-transition-timing-function:cubic-bezier(0.165,0.63,0.14,0.82);-moz-transition-timing-function:cubic-bezier(0.165,0.63,0.14,0.82);-ms-transition-timing-function:cubic-bezier(0.165,0.63,0.14,0.82);-o-transition-timing-function:cubic-bezier(0.165,0.63,0.14,0.82);transition-timing-function:cubic-bezier(0.165,0.63,0.14,0.82)}figure#user_logo,figure#user_logo a{transition-property:all;transition-duration:.5s;-webkit-font-smoothing:antialiased}.container,.header,.mute.sidenote,book{position:relative}.header-top a:hover,a:hover,header#user_top a.link{text-decoration:underline}.header a,.header-top a,a{text-decoration:none}.cover,.header-top a,.published,.subscribe,book,book right,pre,ul#user_links{clear:both}.hljs-comment{color:#8e908c}.css .hljs-class,.css .hljs-id,.css .hljs-pseudo,.hljs-attribute,.hljs-regexp,.hljs-tag,.hljs-variable,.html .hljs-doctype,.ruby .hljs-constant,.xml .hljs-doctype,.xml .hljs-pi,.xml .hljs-tag .hljs-title{color:#c82829}.hljs-built_in,.hljs-constant,.hljs-literal,.hljs-number,.hljs-params,.hljs-pragma,.hljs-preprocessor{color:#f5871f}.css .hljs-rule .hljs-attribute,.ruby .hljs-class .hljs-title{color:#eab700}.hljs-header,.hljs-inheritance,.hljs-name,.hljs-string,.hljs-value,.ruby .hljs-symbol,.xml .hljs-cdata{color:#718c00}.css .hljs-hexcolor,.hljs-title{color:#3e999f}.coffeescript .hljs-title,.hljs-function,.javascript .hljs-title,.perl .hljs-sub,.python .hljs-decorator,.python .hljs-title,.ruby .hljs-function .hljs-title,.ruby .hljs-title .hljs-keyword{color:#4271ae}.hljs-keyword,.javascript .hljs-function{color:#8959a8}.hljs{color:#4d4d4c;padding:.5em;-webkit-text-size-adjust:none;background:0 0!important}.coffeescript .javascript,.javascript .xml,.tex .hljs-formula,.xml .css,.xml .hljs-cdata,.xml .javascript,.xml .vbscript{opacity:.5}:root{--font-serif:"Iowan Old Style","Sitka Text",Palatino,"Book Antiqua",serif}@font-face{font-feature-settings:"liga","tnum","case","calt","zero","ss01","locl";font-display:swap;font-family:Inter;font-style:normal;font-weight:400;src:url(/assets/fonts/Inter-Regular.woff2) format("woff2")}@font-face{font-feature-settings:"liga","tnum","case","calt","zero","ss01","locl";font-display:swap;font-family:Inter;font-style:italic;font-weight:400;src:url(/assets/fonts/Inter-Italic.woff2) format("woff2")}@font-face{font-feature-settings:"liga","tnum","case","calt","zero","ss01","locl";font-display:swap;font-family:Inter;font-style:normal;font-weight:700;src:url(/assets/fonts/Inter-Bold.woff2) format("woff2")}@font-face{font-feature-settings:"liga","tnum","case","calt","zero","ss01","locl";font-display:swap;font-family:Inter;font-style:italic;font-weight:700;src:url(/assets/fonts/Inter-BoldItalic.woff2) format("woff2")}@font-face{font-family:"Iosevka Mono";src:url("/font/iosevka/Iosevka-Mono.woff2") format("woff2"),url("/font/iosevka/Iosevka-Mono.woff") format("woff");font-weight:400;font-style:normal;font-display:swap}html{box-sizing:border-box;overflow:auto;font-family:Inter,sans-serif;font-feature-settings:"liga","tnum","case","calt","zero","ss01","locl";text-rendering:optimizeLegibility;font-size:1rem;line-height:1.54}.box-blue,.box-green,.box-orange,.box-red,.box-violet,.box-white,.box-yellow,h1,h2,h3,h4,h5{line-height:1.4em}h1::after{content:" ";border-bottom:.1rem solid #ccc;width:70px;margin-top:10px}h1,h2{font-family:var(--font-serif)}html *,html :after,html :before{box-sizing:inherit}body .main{font-size:16px}body.page .main{margin-top:60px}.published{padding:10px;text-align:right;font-size:.9em}.header .avatar,.subscribe,pre{display:inline-block}.center,pre.math{text-align:center}.subscribe{padding:3px 8px;border:1px solid #333;color:#333;border-radius:8px;text-decoration:none!important}.subscribe:hover{background:#333;color:#fff}.subscribe.right{position:absolute;top:20px;right:20px;font-size:14px}.copyright,.subscribe-widget .desc{font-size:.8em;color:#888}.fb_iframe_widget{margin-top:0;border-top:1px solid #eee;padding-top:20px}ul{list-style:none;padding-left:24px}ul>li:before{content:"- ";margin-left:-18px;display:inline;float:left}ul>li>ul>li:before{content:"+ ";margin-left:-18px}ul li{margin-bottom:8px;margin-top:8px;padding-left:10px}.footer p a,b,strong{font-weight:700}.main blockquote{border-left:3px solid #eee;padding-left:14px}code{padding:2px;border-radius:8px;font-family:"Iosevka Mono",monospace;font-feature-settings:initial;font-variant-ligatures:none;font-size:15px}book,book *{font-family:Rekha,Georgia,serif!important;line-height:2.2em!important}li>code,li>div>code,p>code{font-weight:500;color:#777}.skip code{background:0;color:initial;font-size:1em;font-family:initial;padding:initial}code.math,pre.math{background:0 0!important}pre{background-color:#faf8f588;border:1px solid #dfe2e588;border-radius:8px;min-width:100%;padding:16px}.topic-tag,img,table{border-radius:8px}pre>code{padding:0!important;margin:0!important;background:0}pre.math{display:block;padding:10px 0}.main p,.main ul,.main ul li,book{text-align:justify}a{color:#1c84d9}table{width:100%;border:1px solid #ddd}table thead{background:#efefef}table thead th{padding:8px;font-weight:700}table td{padding:8px;margin:0;border-bottom:1px solid #eee}table tr:last-child td{border-bottom:0}.container{max-width:720px;height:auto;min-height:calc(100% - 260px);margin:0 auto;padding:20px;word-wrap:break-word;hyphens:auto}.index .container{max-width:100%;margin:0 0 0 300px}@media screen and (max-width:1000px){.index .container{column-count:1}}@media screen and (min-width:1001px) and (max-width:1300px){.index .container{column-count:2}}@media screen and (min-width:1301px){.index .container{column-count:3}}@media screen and (max-width:630px){.index header#user_top{position:relative;width:100%;height:auto}.index .container{max-width:100%;margin:0 auto}}.main p{line-height:26px;margin:24px 0}.main p img{display:block;margin:auto}.header{padding:30px;color:#fff;font-weight:700;font-size:22px;height:40px}.header .icon{margin-right:10px}.header span.header-link{height:32px;line-height:38px;display:inline-block;margin-left:10px;float:left;color:#333}.header a{display:flex}.header .avatar{width:32px;height:32px;border:3px solid #fff;box-shadow:0 0 0 3px #1c84d9;border-radius:23px;content:" ";background:url(https://secure.gravatar.com/avatar/28e546c82f2c80db506725f68b8d14ae?s=100&d=wavatar&r=g) center center/contain no-repeat;float:left}.header .header-text{flex:1;font-size:12px;line-height:12px;margin-left:8px;margin-top:10px;font-weight:700}.footer{border:0;background:0 0;text-align:center;padding:30px}.footer p,.footer p>*{font-size:12px;color:#bbb}book:after,book:before{font-size:100px;color:#ccc;position:absolute}.footer .social{text-align:center;margin:0 auto}.container .comments,.other-tags{margin-top:20px}.box-green{background:#f1f8e9!important;border:1px solid #c5e1a5;border-radius:8px}.box-orange{background:#fff3e0!important;border:1px solid #ffcc80;border-radius:8px}.box-yellow{background:#fffde7!important;border:1px solid #fff59d;border-radius:8px}.box-red{background:#ffebee!important;border:1px solid #ef9a9a;border-radius:8px}.box-violet{background:#ede7f6!important;border:1px solid #b39ddb;border-radius:8px}.box-blue{background:#e1f5fe!important;border:1px solid #81d4fa;border-radius:8px}.box-white{background:#fafafa!important;border:1px solid #eee;border-radius:8px}.cover{margin-left:calc(-1 * ((50vw - 50%)));width:99vw;transform:translateX(calc(50vw - 50%));height:75vh;background-size:cover;background-repeat:no-repeat}.cover img{width:100%;pointer-events:none}@media print{.cover,.cover-holder,.footer,.header{display:none}body,html{font-size:14px}h1,h2,h3,h4,h5,h6{margin:15px 0}}::selection{background:#dbf5ff;display:block}::-moz-selection{background:#dbf5ff;display:block}.other-tags{padding:10px}.topic-tag{display:inline-block;padding:3px 12px;margin:5px;background:#fafafa;border:1px solid #eee}.loading{padding:30px;background:url(../img/loading.gif) center center no-repeat;display:block}.container .comments .login{display:none;padding:16px;text-align:center;margin-bottom:10px;background:#fafafa;border-radius:8px;border:1px solid #eee}.container .comments .login button{background:#1c84d9;border:0;border-radius:8px;padding:6px 12px;color:#fff;cursor:pointer;margin:8px auto;font-size:16px}.container .comments .comment-input{margin-top:10px;display:none;flex-direction:row}.container .comments .comment-input .input{flex:1;margin-left:10px;display:flex;flex-direction:column;height:auto}.container .comments .comment-input .input textarea{padding:12px;outline:#1c84d9 solid 1px;font-family:Inter,sans-serif;font-size:1em;border:1px solid #ccc;resize:none;border-radius:8px;min-height:50px;max-height:120px}.container .comments .comment-input .input button,.toc-container ul li:before,book.off word wise{display:none}.container .comments .comment-input .input span{flex-basis:14px;font-size:.8em;margin-top:5px;text-align:right;color:#555}.container .comments .comment-input .input span kbd{background:#fafafa;padding:3px}.container .comments .comment-list{margin:0 0 30px;padding:0;list-style:none}.container .comments .comment-list li{display:flex;flex-direction:row}.container .comments .comment-list li:before,header h2::before,header h3::before,header h4::before{display:none;content:""}.container .comments .comment-list li .avatar{flex-basis:32px;width:32px;height:32px;border-radius:8px;overflow:hidden;margin:8px}.container .comments .comment-list li .comment{flex:1;margin-left:5px}.container .comments .comment-list li .comment .metadata{font-size:.9em;color:#888}.container .comments .comment-list li .comment .metadata b{color:#000}.container .comments .comment-list li .comment .metadata b.grey{color:#999}header#user_top{position:fixed;display:block;background:#f5f6fa;width:300px;height:100%;padding:50px 10px;text-align:right}header#user_top h2{font-size:28px;line-height:38px;color:#000;font-weight:700;padding:0 10px;max-width:500px;margin:10px auto 5px;text-align:right}header#user_top h3{margin:5px auto 0;font-size:14px;line-height:26px;color:#6e6e6e;font-weight:400}header#user_top h4{margin:0 auto;font-size:14px;color:#777;font-weight:700}.mjx-line,.mjx-mo,.pluginConnectTextDark a,header#user_top a.link{color:#333}ul#user_links li{display:inline-block;margin-right:5px;margin-left:5px;margin-bottom:10px}ul#user_links li a{display:inline-block;border:1px solid #e4e4e4;padding:4px 18px;border-radius:30px;line-height:20px;color:#8c8c8c;font-weight:400;font-size:14px;transition-property:all;transition-duration:.2s}ul#user_links li a:hover{color:#fff;font-weight:400}figure#user_logo{width:110px;height:110px;display:block;background-color:transparent;border:5px solid #000;border-radius:100%;margin:0 0 10px auto}figure#user_logo a{display:block;width:100px;height:100px;border-radius:100%;margin:-300px auto 0;text-indent:-9999px;background-size:100%;-webkit-transition-timing-function:cubic-bezier(0.165,0.63,0.14,0.82);-moz-transition-timing-function:cubic-bezier(0.165,0.63,0.14,0.82);-ms-transition-timing-function:cubic-bezier(0.165,0.63,0.14,0.82);-o-transition-timing-function:cubic-bezier(0.165,0.63,0.14,0.82);transition-timing-function:cubic-bezier(0.165,0.63,0.14,0.82)}figure#user_logo.active a{margin-top:5px}header#user_top.small{margin-top:70px;padding-bottom:30px;margin-bottom:0}header#user_top.small h2{font-size:25px;margin-bottom:0}header#user_top.small h3{font-size:18px;margin-bottom:15px;display:none}header#user_top h3 a{color:#6e6e6e}header#user_top.small ul#user_links{margin-top:10px;list-style:none}header#user_top.small figure#user_logo{width:50px;height:50px;border-width:3px}header#user_top.small figure#user_logo a{width:44px;height:44px;margin-top:-300px}header#user_top.small figure#user_logo.active a{margin-top:3px}header ul#user_links li::before{content:""!important;display:none!important}header#user_top.small ul#user_links li a{line-height:14px}figure#user_foot a,figure#user_logo a,figure.avatar a,figure.kudo.complete div.filling,nav#overlord.user_top figure#logo_top a{background-image:url("https://secure.gravatar.com/avatar/28e546c82f2c80db506725f68b8d14ae?s=100&d=wavatar&r=g")}a.buttonize.outline:hover,a.buttonize:hover,button.buttonize.outline:hover,button.buttonize:hover,figure#user_foot a,figure#user_logo a,figure.avatar,figure.kudo.activated div.filling,figure.kudo.complete div.filling,nav#overlord.user_top figure#logo_top a,nav.pagination span.next a:hover,nav.pagination span.prev a:hover,ul#foot_links li a:hover,ul#user_links li a:hover{background-color:#021216}a blockquote,a.buttonize.outline:hover,a.buttonize:hover,a.continue_button:hover,article p a:hover,article.linked h1.article_title a:hover,blockquote,button.buttonize.outline:hover,button.buttonize:hover,div#foot_more:hover a,div#foot_userbar a#bottom_tagline span:hover,div#readnext:hover span.flank_title,figure#user_foot,figure#user_logo,figure.kudo.activated a,figure.kudo.complete a,nav#overlord.user_top figure#logo_top,nav.pagination span.next a:hover,nav.pagination span.prev a:hover,section#readnext:hover p span,ul#foot_links li a:hover,ul#lightning_drop,ul#user_links li a:hover{border-color:#021216}nav.pagination{display:block;text-align:center;padding:10px;margin:0}article.post h1 a:hover,div.preview strong,footer#blog_foot h5 a,h6.separator_title.read_first,header#user_top h2 a,nav#overlord h2#nav_title.user_top a,section#readnext:hover h3,section#readnext:hover p span{color:#021216}@keyframes titlePulse{0%,100%{color:#000}50%{color:#021216}}@-moz-keyframes titlePulse{0%,100%{color:#000}50%{color:#021216}}@-webkit-keyframes titlePulse{0%,100%{color:#000}50%{color:#021216}}.padding-15{padding:15px}.fb-like-box,.fb-like-box .fb-page,.fb-like-box .like-bait{height:175px;box-sizing:border-box;padding:0}hr{border:0;height:1px;background-image:linear-gradient(to right,rgba(0,0,0,0),rgba(0,0,0,.75),rgba(0,0,0,0));margin:30px auto;width:40%;opacity:.3}::-webkit-scrollbar-track{background-color:#eee}::-webkit-scrollbar{width:8px;background-color:#ccc}::-webkit-scrollbar-thumb{background-color:#ccc;border:0}.fb-like-box{width:520px;border:0;margin:10px auto;border-top:1px solid #eee}.fb-like-box .fb-page{display:inline-block;width:325px;float:left;margin:0;border-top:0}.fb-like-box .fb-page>span{margin-top:21px}.fb-like-box .like-bait{display:inline-block;width:145px;background:url(../likebait.png) center bottom no-repeat;margin:0}book{display:block;padding:0 35px!important;font-size:14px!important}.btn-toggle{border:0;background:#ccc;color:#888;padding:5px 8px;cursor:pointer;font-size:14px;width:50px;margin-right:0;outline:0}.btn-toggle.active{background:#e67e22;color:#fff}book:before{content:"“";top:10px;left:-25px}book:after{content:"”";bottom:10px;right:-25px}book word,p.special word{position:relative;text-align:center;display:inline-block}book word wise,p.special word wise{position:absolute;top:-.8em;font-size:.7em;line-height:14px!important;left:0;width:100%;color:#888;font-weight:100;font-style:normal;border-bottom:1px dashed #ccc}book right{display:block;width:100%;text-align:right}p.special{line-height:2em!important}:target{background:#fff5b8}.toc h2{counter-reset:toc;counter-increment:toc;margin:5px 0}.toc h2:before{content:"≡"}.toc ul{padding-left:20px}.toc ul li{counter-increment:toc-li;padding:0;margin:0}.toc ul li:before{content:counter(toc-li) ".";color:#bbb}.searchbox{width:700px;position:absolute;left:50%;bottom:-15px;margin-left:-350px}.searchbox input[type=text]{padding:12px;width:100%;font-size:.9em;border:1px solid #ccc;background:#fff;color:#333}.bigquote,.header-top a:hover{color:#555}.bigquote{margin:50px;padding-left:50px;font-size:1.5em;line-height:32px;position:relative}.bigquote::before{content:"“";position:absolute;left:10px;top:5px;font-size:3em;opacity:.2}.bigquote .quotecite{font-size:.7em;opacity:.5;text-align:right}.home-date-indicator{color:#888;margin-right:10px}.home-list-item{margin-bottom:14px;font-size:.8em;position:relative;break-inside:avoid}.home-list-item .guest-post{background:#888;color:#fff;border-radius:8px;margin-right:5px;padding:2px 5px;margin-bottom:3px}.home-list-item a{font-size:1.3em;line-height:1.3em;margin-top:5px}.home-counter{font-size:1.1em}.header-top{padding:30px 10px;text-align:right}.header-top:before{content:" ";display:block;width:80px;height:5px;background:#666;float:right;margin-bottom:20px}.header-top a{color:#333;display:block;margin:8px 0}@media only screen and (max-width:768px){.container .comments .comment-input .input{flex-direction:row}.container .comments .comment-input .input span,.searchbox,.toc-container{display:none}.container .comments .comment-input .input textarea{flex:1}.container .comments .comment-input .input button{display:block;flex-basis:55px;height:55px;border:1px solid #fff;background:#3498db;color:#fff;border-radius:8px;cursor:pointer}.hljs,pre,pre code{overflow-x:auto!important}.hljs{background:0 0!important}.header-top{height:auto;line-height:24px}}.mute{color:#999;font-style:italic;font-size:.9em;margin:10px 0}.toc-container{position:fixed;top:145px;max-width:280px;transform:translateX(600px);opacity:.2;transition:opacity .5s}.toc-container:hover{opacity:1}.toc-container ul{margin:0;padding:0;list-style:none;counter-reset:toc-first}.toc-container ul li a{color:#333;font-size:14px;font-weight:400}.toc-container ul li h2:before,.toc-container ul li h3:before,.toc-container ul li h4:before,.toc-container ul li h5:before,.toc-container ul li h6:before{font-size:14px;margin-right:5px}.toc-container ul li h2{counter-increment:toc-first;counter-reset:toc-second}.toc-container ul li h2:before{content:counter(toc-first) "."}.toc-container ul li h3{counter-increment:toc-second;counter-reset:toc-third}.toc-container ul li h3:before{content:counter(toc-first) "." counter(toc-second) "."}.toc-container ul li h4{counter-increment:toc-third}.toc-container ul li h4:before{content:counter(toc-first) "." counter(toc-second) "." counter(toc-third) "."}.mute.sidenote{margin-top:0;margin-bottom:14px;vertical-align:baseline;width:240px;background:#f5f6fa;padding:10px;float:right;clear:right;margin-right:-260px}.mute.sidenote:before{display:block;content:"";width:0;height:0;border-top:10px solid #f5f6fa;border-left:10px solid transparent;position:absolute;top:10px;left:-10px}.clap-container{position:fixed;top:250px;right:calc(-480px + 50vw);text-align:center}@keyframes pulse{0%,50%{transform:scale(1)}100%,25%{transform:scale(1.2)}}.clap-container #clap-button{display:flex;border:0;background:#f0f0f0;cursor:pointer;border-radius:30px;transition:.25s;align-items:center;margin:0 auto;color:#fff;padding:6px}.clap-container #clap-button #clap-icon{padding:0 5px;font-size:1.5em;line-height:18px;margin-top:4px}.clap-container #clap-button:active #clap-icon{animation:.25s infinite pulse}.clap-container #clap-button #clap-count{padding:4px 12px 4px 4px;max-width:120px;font-family:"Iosevka Mono",monospace;font-size:16px;font-weight:700;font-feature-settings:"tnum","zero";color:#777;pointer-events:none;text-align:center}@media only screen and (min-device-width:320px) and (max-device-width:480px) and (-webkit-min-device-pixel-ratio:2){word wise{display:none}.main img{max-width:100%!important;margin-left:auto!important;margin-right:auto!important}}@media (max-device-width:600px){body .main span.mute.sidenote{display:none}body .main{margin-right:0}body .main pre,body .main video{max-width:100%!important}.clap-container{display:block;position:relative;margin:10px auto;bottom:unset;right:unset;top:unset}}.hljs-focus{display:inline-block;width:100%;padding:0 16px;border-left:2px solid transparent;border-right:2px solid transparent}.hljs-focus.focused{border-left:2px solid #dad8d6aa;border-right:2px solid #dad8d6aa;background:#f5f3f0cc}.hljs-focus.unfocused{opacity:.35;filter:grayscale(1)}.header.lightweight-theme{background:#fff;position:fixed;top:0;left:0;right:0;z-index:1000;display:flex;justify-content:space-between;align-items:center}.header.lightweight-theme a{font-size:13px;font-weight:400}.footer.lightweight-theme{background:0 0;padding:10px 0}.footer.lightweight-theme .social a{color:#888}@media screen and (min-width:631px){body.index .footer.lightweight-theme,body.index nav.pagination{margin-left:300px}}.subscribe-widget{border-top:1px solid #eee;background:0 0;padding:20px 0 10px}.subscribe-widget #mc_embed_signup{max-width:700px;margin:0 auto;text-align:center}.subscribe-widget .subscribe-text{padding:10px 0;font-weight:700}.subscribe-widget .subscribe-box{width:100%}.subscribe-widget .subscribe-box::after{content:"notes.huy.rocks";visibility:hidden;display:block;clear:both}.subscribe-widget .subscribe-box .email{display:inline-block;border-radius:3px;width:400px;border:1px solid #ccc;padding:5px 10px}.subscribe-widget .subscribe-box input[type=submit]{background:#3498db;border:0;border-radius:3px;padding:6px 12px;color:#fff;cursor:pointer;text-transform:none}