@import "https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;700&display=swap";
*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;tab-size:4;font-family:system-ui,Segoe UI,Roboto,Helvetica,Arial,sans-serif,Apple Color Emoji,Segoe UI Emoji;line-height:1.15}body{margin:0}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:ui-monospace,SFMono-Regular,Consolas,Liberation Mono,Menlo,monospace;font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{border-color:currentColor}button,input,optgroup,select,textarea{margin:0;font-family:inherit;font-size:100%;line-height:1.15}button,[type=button],[type=reset],[type=submit]{-webkit-appearance:button}legend{padding:0}progress{vertical-align:baseline}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}
:root{--max-width:900px;--deep-black:#191919;--black:#282828;--white:#ebdbb2;--creamy:#fcf7ec;--beige:#ddd4bb;--gray:#adaa9b;--mocha:#a89984;--green:#a8a85f;--mos:#3f4638;--brown:#7c6f64;--orange:#d79921;--dark-cyan:#006a65;--cyan:#458588;--dark-red:#b1513b;--code-black:#282828;--code-white:#ebdbb2;--code-bg:#fcf7ec;--code-fg2:#d5c4a1;--code-bg2:#7c6f64;--code-gray:#3c3836;--code-light-gray:#a89984;--code-red:#f55e55;--code-blue:#a8a85f;--code-green:#82a884;--code-aqua:#8ec07c;--code-yellow:#f5a95e;--code-orange:#fe8019;--inline-code-bg:var(--code-fg2);--fg:var(--black);--bg:var(--creamy);--container-color:var(--beige);--hover-color:var(--mos);--border-color:var(--black);--tag-icon-color:var(--green);--quote-color:var(--gray)}
:root{--dm-hi-mid:#ffffff0a;--dm-ring-mid:#ffffff0a;--dm-drop:#00000017}html,body{color:var(--fg);background:var(--bg);padding:0;font-family:IBM Plex Mono,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif;font-size:1rem;line-height:1.8rem}a{color:inherit;word-wrap:break-word;text-decoration:none}ul{margin:0;padding:0}ul li{margin-left:1em;list-style-type:none}img{max-width:100%;margin:0 auto;display:block}article ul li:before{content:"- "}figure figcaption{text-align:center;color:var(--brown);padding-top:.5em}blockquote{color:lighten(var(--quote-color), 20%);border-left:3px solid var(--quote-color);margin:.1rem 0;padding:2rem 0 .5rem 1rem;position:relative}blockquote:before{content:"\"";color:var(--quote-color);font-size:2.5em;font-weight:900;position:absolute;top:.2em;left:.3em}blockquote p{margin:0;line-height:1.4em}hr{border:1px dotted var(--border-color);margin-top:16px}h1>a:before,h2>a:before,h3>a:before{content:"#";margin-right:.5rem;display:inline-block}table{margin:0 auto}table thead{background-color:var(--mocha)}th,td{padding:.25rem 1rem}.remark-container{padding:10px}.remark-container.info{background-color:var(--gray)}.remark-container.warn{background-color:var(--mocha)}.remark-container.danger{background-color:var(--orange);font-weight:700}.remark-container__title{margin-bottom:.5em;font-size:1.1em;font-weight:700}a.footnote-ref:hover{color:var(--hover-color)}.katex-html{display:none}.elevation{box-shadow:inset 0 1px 0 0 var(--dm-hi-mid), inset 0 0 0 1px var(--dm-ring-mid), 0 0 0 1px #00000024, 0 1px 1px -.5px var(--dm-drop), 0 3px 3px -1.5px var(--dm-drop), 0 6px 6px -3px var(--dm-drop)}
.command-line-prompt{float:left;letter-spacing:-1px;pointer-events:none;text-align:right;-webkit-user-select:none;user-select:none;border-right:1px solid #999;margin-right:1em;font-size:100%;display:block}.command-line-prompt>span:before{opacity:.7;content:" ";padding-right:.8em;display:block}.command-line-prompt>span[data-user]:before{content:"[" attr(data-user) "@" attr(data-host) "] $"}.command-line-prompt>span[data-user=root]:before{content:"[" attr(data-user) "@" attr(data-host) "] #"}.command-line-prompt>span[data-prompt]:before{content:attr(data-prompt)}.command-line-prompt>span[data-continuation-prompt]:before{content:attr(data-continuation-prompt)}.command-line span.token.output{opacity:.7}
pre[class*=language-],code[class*=language-]{color:var(--code-white);text-shadow:none;text-align:left;white-space:pre;word-spacing:normal;word-break:normal;tab-size:4;-webkit-hyphens:none;hyphens:none;direction:ltr;font-family:Consolas,Monaco,Andale Mono,Ubuntu Mono,monospace;font-size:13px;line-height:1.5}pre[class*=language-]::selection,code[class*=language-]::selection{text-shadow:none;background:var(--code-yellow)}@media print{pre[class*=language-],code[class*=language-]{text-shadow:none}}pre[class*=language-]{background:var(--code-black);margin:.5em 0;padding:1em;overflow:auto}:not(pre)>code{color:var(--inline-code-fg);background:var(--inline-code-bg);border-radius:.2em;padding:.1em .3em}.token.comment,.token.prolog,.token.doctype,.token.cdata,.token.coord,.token.punctuation{color:var(--code-light-gray)}.token.namespace{color:var(--code-orange)}.token.property,.token.tag,.token.boolean,.token.number,.token.symbol{color:var(--code-green)}.token.selector,.token.attr-name,.token.string,.token.char,.token.builtin{color:var(--code-blue)}.token.operator,.token.entity,.token.url,.language-css .token.string,.style .token.string{color:var(--code-fg2)}.token.atrule,.token.attr-value,.token.keyword,.token.deleted{color:var(--code-red)}.token.class-name,.token.constant{color:var(--code-yellow)}.token.regex,.token.important,.token.function,.token.variable,.token.inserted{color:var(--code-green)}.token.macro.property{color:var(--code-aqua)}.token.important,.token.bold{font-weight:700}.token.italic{font-style:italic}.token.entity{cursor:help}.token.url-link{text-decoration:underline}pre.language-git .token.string{color:var(--code-white)}pre[data-line]{position:relative}pre[class*=language-]>code[class*=language-]{z-index:1;position:relative}pre[class*=language-diff-] .inserted-sign.inserted{background-color:rgba(var(--code-green), .2);width:100%;display:table}pre[class*=language-diff-] .deleted-sign.deleted{background-color:rgba(var(--code-red), .2);width:100%;display:table}pre[data-file]{position:relative}pre[data-file]:before{content:attr(data-file);color:var(--code-light-gray);opacity:1;position:absolute;top:0;right:4px}pre[data-file]:hover:before{opacity:0;transition:all .4s}.line-highlight{padding:inherit 0;box-shadow:inset 5px 0 0 var(--code-orange);z-index:0;pointer-events:none;line-height:inherit;white-space:pre;background:#665c54;margin-top:1em;position:absolute;left:0;right:0}pre[class*=language-].line-numbers{counter-reset:linenumber;padding-left:3.8em;position:relative}pre[class*=language-].line-numbers>code{white-space:inherit;position:relative}.line-numbers .line-numbers-rows{pointer-events:none;letter-spacing:-1px;border-right:1px solid var(--code-gray);-webkit-user-select:none;user-select:none;width:3em;font-size:100%;position:absolute;top:0;left:-3.8em}.line-numbers-rows>span{counter-increment:linenumber;display:block}.line-numbers-rows>span:before{content:counter(linenumber);color:var(--code-bg2);text-align:right;padding-right:.8em;display:block}pre[class*=language-shell-session]{position:relative}pre[class*=language-shell-session]:before{content:"terminal";color:var(--code-light-gray);position:absolute;top:0;right:4px}pre[class*=language-shell-session] span.shell-symbol{-webkit-user-select:none;user-select:none}pre[class*=language-shell-session] span.shell-symbol:before{content:"koka@blog:~";color:var(--code-light-gray);font-weight:400}.remark-highlight>pre{border-radius:4px}.remark-highlight+p>strong{color:var(--code-gray);text-align:center;margin:0;font-size:.8em;font-weight:400;display:block}