@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%}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)}*,*::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}.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,tr,td{border:1px solid var(--border-color)}#home-menu{display:flex;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)}#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){#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}.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}