:root{--desktop:#3a807c;--face:#c0c0c0;--title:#000080;--highlight:#000080;--paper:#fff;--ink:#111;--ui-font:Tahoma, Verdana, "Segoe UI", sans-serif;--read-font:Charter, "Bitstream Charter", Georgia, serif;--taskbar-height:40px}[hidden]{display:none!important}html{background:var(--desktop)}body{margin:0;min-height:100vh;padding-bottom:calc(var(--taskbar-height) + 16px);background:var(--desktop);color:#000}body,.window,button,.btn,input,label,legend,li[role=tab],option,select,table,textarea{font-family:var(--ui-font);font-size:14px;-webkit-font-smoothing:auto}h1,h2,h3,h4{font-size:revert}.desktop{display:grid;grid-template-columns:96px minmax(0,1e3px);justify-content:center;gap:32px;padding:32px 16px}.desktop-windows{display:flex;flex-direction:column;gap:32px;min-width:0}.desktop-icons{display:flex;flex-direction:column;align-items:center;gap:20px}.desktop-icon{display:flex;flex-direction:column;align-items:center;gap:4px;width:88px;color:#fff;text-align:center;text-decoration:none}.desktop-icon .icon{width:36px;height:36px}.desktop-icon-label{padding:1px 3px;font-size:13px;line-height:1.25;border:1px dotted transparent}.desktop-icon:hover .desktop-icon-label,.desktop-icon:focus-visible .desktop-icon-label{background:var(--highlight);border-color:#fff}.desktop-icon:focus{outline:none}.title-bar{padding:4px 4px 4px 6px;background:var(--title)}.title-bar.inactive{background:gray}.title-bar-text{display:flex;font-family:var(--ui-font);align-items:center;gap:6px;margin:0;font-size:15px;font-weight:700}.window-body{margin:12px}.status-bar{margin:0 3px 3px}.status-bar-field{padding:3px 6px;font-size:13px}.btn{display:inline-flex;align-items:center;justify-content:center;box-sizing:border-box;min-width:75px;min-height:23px;padding:4px 14px;background:var(--face);color:#000;text-decoration:none;box-shadow:inset -1px -1px #0a0a0a,inset 1px 1px #fff,inset -2px -2px #808080,inset 2px 2px #dfdfdf}.btn:active{box-shadow:inset -1px -1px #fff,inset 1px 1px #0a0a0a,inset -2px -2px #dfdfdf,inset 2px 2px #808080}.btn:focus-visible{outline:1px dotted #000;outline-offset:-5px}button{padding:4px 14px}.toolbar{display:flex;flex-wrap:wrap;gap:6px;margin-bottom:10px}.about{display:flex;gap:24px;align-items:flex-start}.about-photo{display:flex;flex:none;align-items:center;justify-content:center;width:180px;height:200px;color:#555}.about-photo img{width:100%;height:100%;object-fit:cover;object-position:62% 30%}.about-text h1{margin:4px 0 14px;font-size:30px}.about-facts{display:grid;grid-template-columns:auto 1fr;gap:8px 16px;margin:0 0 18px;font-size:16px}.about-facts dt{font-weight:700}.about-facts dd{margin:0}.about-buttons{display:flex;flex-wrap:wrap;gap:8px;margin:0}.about-buttons .btn,.about-buttons button{min-height:32px;font-size:15px}.about-blurb{margin-top:16px;font-size:15px;line-height:1.5}menu[role=tablist] li[role=tab]{font-size:15px}menu[role=tablist]>li>a{padding:8px 16px;color:#000;text-decoration:none}menu[role=tablist]>li[aria-selected=true]>a{font-weight:700}.tab-panel .window-body{margin:16px}.folder-title{margin:4px 0 10px;font-size:22px}.folder-intro{margin-bottom:12px;font-size:15px;line-height:1.5}.file-list{margin:0;padding:8px;list-style:none;height:auto}.file-list li{display:grid;grid-template-columns:minmax(200px,280px)1fr;gap:4px 24px;align-items:center;padding:9px 8px;font-size:15px}.file-list a,.file-entry{display:inline-flex;align-items:center;gap:10px;justify-self:start;color:#000;font-weight:700;text-decoration:none}.file-list a:hover .file-name,.file-list a:focus-visible .file-name{background:var(--highlight);color:#fff;outline:1px dotted #fff}.file-list a:focus{outline:none}.file-name{padding:1px 3px}.file-desc{color:#222}.file-list .file-list-empty{display:block;color:#555}.toc-menu{position:relative}.toc-menu summary{list-style:none;cursor:default}.toc-menu summary::-webkit-details-marker{display:none}.toc-menu[open] summary{box-shadow:inset -1px -1px #fff,inset 1px 1px #0a0a0a,inset -2px -2px #dfdfdf,inset 2px 2px #808080}.toc-dropdown{position:absolute;z-index:5;top:calc(100% + 2px);left:0;width:max-content;max-width:min(420px,80vw);max-height:60vh;padding:8px 12px;font-size:14px}.toc-dropdown ul{margin:0;padding-left:16px}.toc-dropdown>ul{padding-left:0;list-style:none}.toc-dropdown li{margin:4px 0}.paper{height:auto;padding:28px 40px 40px;background:var(--paper);color:var(--ink);font-family:var(--read-font);font-size:18px;line-height:1.65}.paper>:first-child{margin-top:0}.paper h1{font-size:1.9em;line-height:1.2}.paper h2{font-size:1.4em;margin-top:1.8em}.paper h3{font-size:1.15em;margin-top:1.5em}.paper a{color:#00e}.paper img{max-width:100%}.paper pre{overflow-x:auto;font-size:14px}.paper code{font-size:.9em}.paper .katex{font-size:1.1em}.paper .katex-display{overflow-x:auto;overflow-y:hidden;padding:4px 0}.dialog{width:100%;max-width:440px;margin:10vh auto 0}.dialog-body{font-size:15px;line-height:1.5}.dialog-buttons{display:flex;justify-content:center;margin:16px 0 4px}.taskbar{position:fixed;z-index:100;right:0;bottom:0;left:0;display:flex;align-items:center;justify-content:space-between;box-sizing:border-box;height:var(--taskbar-height);padding:4px;background:var(--face);box-shadow:inset 0 1px #dfdfdf,inset 0 2px #fff}.taskbar-start{min-width:0;padding:4px 12px}.taskbar-tray{margin:0;padding:4px 10px;font-size:13px;box-shadow:inset -1px -1px #fff,inset 1px 1px #808080}@media(max-width:720px){.desktop{grid-template-columns:minmax(0,1fr);gap:20px;padding:16px}.desktop-icons{display:grid;grid-template-columns:repeat(auto-fill,minmax(80px,1fr));gap:12px 4px}.desktop-icon{width:auto}body:not(.is-home) .desktop-icons{display:none}.window-body{margin:8px}.tab-panel .window-body{margin:8px}.about{flex-direction:column;align-items:stretch}.about-photo{width:120px;height:130px}.about-text h1{font-size:26px}.file-list li{grid-template-columns:minmax(0,1fr)}.file-desc{padding-left:30px;font-size:14px}menu[role=tablist]>li>a{padding:6px 10px}.paper{padding:18px 16px 28px;font-size:17px}.taskbar-tray{font-size:12px}}.paper figure{margin:1.5em 0}.paper figure img{display:block;max-width:100%;max-height:520px;border:4px solid var(--face);box-shadow:inset -1px -1px #fff,inset 1px 1px #808080,1px 1px #0a0a0a,-1px -1px #dfdfdf}.paper figcaption{margin-top:6px;font-family:var(--ui-font);font-size:14px;color:#444}.paper figure:not(.diagram) img{width:auto}.paper figure.diagram img{height:auto;margin:0 auto;max-height:none;border:0;box-shadow:none}.paper table{display:block;overflow-x:auto;width:max-content;max-width:100%;margin:1.2em auto;border:1px solid gray}.paper table th,.paper table td{height:auto;padding:6px 16px;font-size:16px;text-align:center}.paper table th{font-family:var(--ui-font);font-size:14px}.solution{margin:1.2em 0 1.6em}.solution>summary{list-style:none;cursor:default;font-family:var(--ui-font);font-size:14px}.solution>summary::-webkit-details-marker{display:none}.solution .when-open,.solution[open] .when-closed{display:none}.solution[open] .when-open{display:inline}.solution[open]>summary{box-shadow:inset -1px -1px #fff,inset 1px 1px #0a0a0a,inset -2px -2px #dfdfdf,inset 2px 2px #808080}.solution-body{margin-top:12px;padding:2px 0 2px 20px;border-left:3px solid var(--face)}