@charset "UTF-8";html{box-sizing:border-box;-webkit-text-size-adjust:100%;text-size-adjust:100%;font-family:Georgia,times new roman,Times,serif;font-size:16px;line-height:1.5;height:100%;--table-header-color:#2563eb;--table-header-text-color:white;--table-row-color:white;--table-stripe-color:#eef5ff;--table-text-color:#1a1a1a}html[data-theme=light]{--bg-color:white;--text-color:black;--beige-color:beige;--hover-color:rgba(214, 214, 214, 0.6);--code-bg:rgb(255, 211, 217);--border-color:black;--aux-color:rgb(189, 189, 189)}html[data-theme=dark]{--bg-color:#1a1a1a;--text-color:#e0e0e0;--beige-color:#2d2d2d;--hover-color:rgba(70, 70, 70, 0.6);--code-bg:#3d2a2e;--border-color:#555;--aux-color:rgb(189, 189, 189);--table-header-color:#244a6d;--table-header-text-color:#f3f4f6;--table-row-color:#22272e;--table-stripe-color:#2b313a;--table-text-color:#e0e0e0}*,*::before,*::after{box-sizing:inherit}body{margin:0;padding:0;display:flex;flex-direction:column;min-height:100vh;background-color:var(--bg-color);color:var(--text-color);font-family:inherit;transition:background-color .3s ease}main{width:min(800px,80vw);margin:0 auto 20vh;flex:1}footer{text-align:center;margin-bottom:10px}a{text-decoration:none;color:inherit}code{font-family:source code pro,monospace}code:not(pre code){padding:0 2px;border-radius:5px;background-color:var(--code-bg)}pre,kbd,samp{font-family:source code pro,monospace}.article-link-block{display:block;text-decoration:inherit;color:inherit;border-radius:5px;border-left:4px solid green;padding:12px;margin:10px;margin-top:20px;transition:background-color .3s ease}.article-link-block h1{font-size:1.5em;margin:0;padding:0}.article-link-block:hover{background:var(--hover-color)}.aux{color:var(--aux-color);font-size:.8em}article a{text-decoration:underline}.article-content h2,.article-content h3{scroll-margin-top:40px}.comments{margin-top:40px;padding-top:20px;border-top:1px solid var(--border-color)}.comments-fallback{font-size:.8em;text-decoration:underline}.goat--sized{display:flex;flex-direction:row;align-items:center;justify-content:center}.goat--sized svg{width:100%;height:auto}.mermaid{margin:20px 0}.mermaid .mermaid-toolbar{display:flex;justify-content:center;align-items:center;gap:5px;margin-bottom:5px}.mermaid .mermaid-toolbar[hidden]{display:none}.mermaid .mermaid-toolbar button{width:32px;height:32px;border:1px solid var(--border-color);border-radius:2px;background-color:var(--bg-color);color:inherit;cursor:pointer;font:inherit}.mermaid .mermaid-toolbar button:hover:not(:disabled){background-color:var(--hover-color)}.mermaid .mermaid-toolbar button:disabled{cursor:not-allowed;opacity:.4}.mermaid .mermaid-zoom-level{min-width:48px;text-align:center;font-variant-numeric:tabular-nums}.mermaid .mermaid-viewport{width:min(var(--mermaid-zoom,100%),calc(100vw - 20px));margin-left:50%;transform:translateX(-50%)}.mermaid svg{display:block;margin:0 auto;width:100%;height:auto}.mermaid .mermaid-source{width:100%;overflow-x:auto;white-space:pre}.mermaid .mermaid-error{margin-right:10px;color:#b91c1c}.mermaid.mermaid--error .mermaid-viewport{width:100%;margin-left:0;transform:none;overflow-x:auto}html[data-theme=dark] .mermaid .mermaid-error{color:#fca5a5}.jose-wrapper{position:relative}.jose-wrapper:hover .jose-tools{opacity:1}.jose-wrapper .jose-inner pre{padding-left:4px;border-radius:5px;overflow-x:auto}.jose-wrapper .jose-tools{position:absolute;right:20px;bottom:10px;opacity:0;transition:all .3s ease;display:flex;justify-content:space-between;gap:5px}.jose-wrapper .jose-tools>span,.jose-wrapper .jose-tools>button{font-family:source code pro,monospace;width:80px;text-align:center;color:#fff;border-radius:5px;border:none;font-size:16px}.jose-wrapper .jose-tools>button{background-color:#555}.jose-wrapper .jose-tools>button:hover{background-color:var(--hover-color)}table{width:100%;margin:20px 0;border-collapse:separate;border-spacing:0;border-radius:5px;overflow:hidden;font-size:.95em}table th,table td{padding:5px 10px;text-align:left;vertical-align:top;overflow-wrap:normal;word-break:normal}table :not(pre)>code{white-space:nowrap}table thead{background-color:var(--table-header-color);color:var(--table-header-text-color)}table tbody tr{background-color:var(--table-row-color);color:var(--table-text-color)}table tbody tr:nth-child(even){background-color:var(--table-stripe-color)}table caption{margin-bottom:5px;font-weight:700;text-align:left}.table-wrapper{width:100%;margin:20px 0;margin-left:0;transition:width .3s ease,margin-left .3s ease}.table-wrapper.is-expanded{width:calc(100vw - 20px);margin-left:calc(50% - 50vw + 10px)}.table-wrapper .table-toolbar{display:flex;justify-content:center;margin-bottom:5px}.table-wrapper .table-expand-button{padding:2px 5px;border:1px solid var(--border-color);border-radius:2px;background-color:var(--bg-color);color:inherit;cursor:pointer;font:inherit;font-size:.8em}.table-wrapper .table-expand-button:hover{background-color:var(--hover-color)}.table-wrapper .table-scroll{overflow-x:auto}.table-wrapper table{margin:0}#home-menu{display:flex;flex-wrap:wrap;margin-bottom:40px;border-bottom:1px solid var(--border-color)}#home-menu>a{border-radius:5px;transition:background-color .3s ease;display:block;padding:5px 10px}#home-menu>a:hover{background-color:var(--hover-color)}#home-menu>a[aria-current=page]{font-weight:700}.timeline-entry{padding:20px 0;border-bottom:1px solid var(--border-color);overflow-wrap:anywhere}.timeline-entry time,.timeline-entry .timeline-comments{font-size:.8em}.timeline-entry header a,.timeline-entry .timeline-comments{text-decoration:underline;text-underline-offset:3px}.timeline-entry img{max-width:100%;height:auto}.home-pagination{display:grid;grid-template-columns:1fr auto 1fr;align-items:center;gap:10px;margin:20px 10px 0;border-top:1px solid var(--border-color);padding-top:10px}.home-pagination>div:last-child{text-align:right}.home-pagination a{display:inline-block;padding:5px 10px;border-radius:5px;transition:background-color .3s ease}.home-pagination a:hover{background-color:var(--hover-color)}.home-pagination>span{color:var(--aux-color);font-size:.8em}#page-sidebar{position:fixed;right:20px;bottom:20px;width:fit-content;display:flex;flex-direction:column;align-items:stretch;gap:10px;z-index:10}#sidebar-content{display:none;width:100%}#toolbar{text-align:center;cursor:pointer;width:100%;display:flex;flex-direction:row;align-items:center;justify-content:flex-end;gap:5px;padding:2px;background-color:var(--bg-color);transition:background-color .3s ease}#toolbar>div,#toolbar>a{width:40px;height:40px;display:flex;flex-direction:row;align-items:center;justify-content:center;color:inherit;text-decoration:none}#toolbar>div:hover,#toolbar>a:hover{background-color:var(--beige-color)}#toolbar>div img,#toolbar>a img{height:26px;width:26px}#post-navigator{min-width:0;overflow-y:auto;padding:10px;font-size:.8em}#post-navigator .post-navigator-title{margin-bottom:5px;font-weight:700}#post-navigator .post-navigator-tree ul{margin:0;padding:0;list-style:none}#post-navigator .post-navigator-tree li{position:relative;padding-left:10px}#post-navigator .post-navigator-tree li::before{content:"•";position:absolute;left:0;top:2px}#post-navigator .post-navigator-tree li+li{margin-top:2px}#post-navigator .post-navigator-tree .heading-h2>a,#post-navigator .post-navigator-tree .heading-h3>a{display:block;padding:2px 5px;border-radius:2px;transition:background-color .3s ease;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;text-decoration:none}#post-navigator .post-navigator-tree .heading-h2>a:hover,#post-navigator .post-navigator-tree .heading-h3>a:hover{background-color:var(--hover-color)}#post-navigator .post-navigator-tree .heading-h3{margin-left:10px}@media(min-width:1101px){.goat--sized svg{width:var(--goat-width)}#page-sidebar{width:min(320px,calc((100vw - min(800px,80vw))/2 - 40px))}#page-sidebar.has-post-navigator{top:100px;bottom:20px}#page-sidebar.has-post-navigator #sidebar-content{display:block;min-height:0;flex:1}#page-sidebar.has-post-navigator #toolbar{flex-direction:row;align-items:center;padding:10px}}html[data-theme=dark] #toolbar img{filter:invert(1)}#switch-translate{position:relative}#language-menu{position:absolute;right:100%;bottom:0;margin-right:10px;border-radius:5px;padding:5px;min-width:150px;display:flex;flex-direction:column;gap:2px;transition:opacity .3s ease}#language-menu.hidden{display:none}#language-menu .language-option{padding:5px 10px;border-radius:5px;text-align:left;white-space:nowrap;display:block;transition:background-color .3s ease}#language-menu .language-option:hover{background-color:var(--hover-color)}#language-menu .language-option.current-lang{font-weight:700;background-color:var(--hover-color)}.back-to-home{margin-top:10vh;margin-bottom:-60px}.article-header{margin:20vh 0 10vh}.tag-cloud-page{width:min(1200px,94vw);margin-left:50%;transform:translateX(-50%)}.tag-cloud-page .article-header{margin-bottom:0}.tag-cloud-stage{display:flex;justify-content:center;overflow:hidden;cursor:grab;touch-action:none;user-select:none}.tag-cloud-stage.is-dragging{cursor:grabbing}.tag-cloud-stage.is-link-hovered:not(.is-dragging){cursor:pointer}.tag-cloud-stage[hidden]{display:none}.tag-cloud-stage .tag-cloud-sphere{position:relative;flex:none;contain:layout style paint}.tag-cloud-stage .tag-cloud-canvas{display:block}.tag-cloud-stage .tag-cloud-hit-target{position:absolute;display:none;z-index:1;border-radius:5px}.tag-cloud-source{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:5px 20px;padding-left:20px}.tags-section{margin-top:80px}.translation-notice{padding:15px;margin:20px 0}.translation-notice.machine-translated{background-color:#faebd7}.translation-notice.available-translations{background-color:#add8e6}html[data-theme=dark] .translation-notice.machine-translated{background-color:#3d2f1f;color:#f0e6d2}html[data-theme=dark] .translation-notice.available-translations{background-color:#1f2d3d;color:#d2e6f0}