:root{--ink:#211640;--purple:#37245e;--coral:#fc806d;--cream:#f9f2de;--silver:#c5c4c7;--blue:#111778}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:#211343;color:var(--ink);font-family:Arial,Helvetica,sans-serif;padding-bottom:42px}.wallpaper{position:fixed;inset:0;overflow:hidden;z-index:-1;background:radial-gradient(ellipse at 52% 30%,#59337c 0,#271745 43%,#130d2c 100%)}.sun{position:absolute;width:570px;height:570px;border-radius:50%;top:17%;left:50%;transform:translateX(-50%);background:repeating-linear-gradient(to bottom,transparent 0 43px,#32194c 44px 53px),linear-gradient(#ffce83,#fb6c79 70%,#db4385);opacity:.72}.horizon{position:absolute;bottom:-45%;left:-30%;width:160%;height:85%;transform:perspective(300px) rotateX(57deg);background-image:linear-gradient(#a652bc 1px,transparent 1px),linear-gradient(90deg,#a652bc 1px,transparent 1px);background-size:75px 45px;opacity:.36}.desktop{max-width:1510px;margin:auto;padding:38px 45px 75px;display:grid;grid-template-columns:105px minmax(0,1fr);gap:20px}.shortcuts{display:flex;flex-direction:column;gap:28px;padding-top:12px}.shortcuts a{width:76px;text-align:center;color:#fff;text-decoration:none;font-size:12px;text-shadow:1px 2px #17102f;line-height:1.4}.shortcut-icon{display:block;font-size:37px;color:#f4e3b7;text-shadow:3px 3px #6d5090}.window,.mini-window,.proof-card{background:#c6c6c6;border:3px solid;border-color:#fff #292929 #292929 #fff;box-shadow:3px 5px 0 #140c2e}.titlebar,.mini-title,.card-title{background:linear-gradient(90deg,#10146b,#3439a0);color:white;font-weight:bold;padding:7px 9px;display:flex;align-items:center;justify-content:space-between;font-size:13px}.tiny-logo{color:#ffbc86}.title-sub{font-weight:normal;color:#d7d2f4}.window-controls{display:flex;gap:3px}.window-controls span{display:inline-grid;place-items:center;width:18px;height:17px;background:#c6c6c6;color:#151515;border:2px solid;border-color:white #444 #444 white;line-height:1}.menu{display:flex;gap:29px;padding:11px 19px;font-size:13px}.menu a{color:#292232;text-decoration:none}.menu-end{margin-left:auto;font-weight:bold}.hero{background:var(--cream);min-height:570px;display:grid;grid-template-columns:1fr 1fr;overflow:hidden}.hero-copy{padding:92px 0 75px 8%;position:relative;z-index:1}.eyebrow,.file-tab{font:700 11px/1.2 'Courier New',monospace;letter-spacing:.15em}.eyebrow{color:#7c3880}.led{display:inline-block;width:8px;height:8px;background:#fa786c;box-shadow:0 0 0 3px #f6d9c7;margin-right:8px}h1,h2,h3,p{margin-top:0}h1{font-size:clamp(58px,6vw,91px);line-height:.96;letter-spacing:-.075em;margin:27px 0}h1 em,h2 em{font-style:normal;color:#d75b69}.lead{max-width:430px;font-size:20px;line-height:1.5}.hero-buttons{display:flex;gap:10px;flex-wrap:wrap;margin-top:33px}.button,button{display:inline-block;font:700 13px Arial,sans-serif;text-decoration:none;color:#211640;background:#dedde0;padding:13px 18px;border:2px solid;border-color:#fff #4a4350 #4a4350 #fff;box-shadow:1px 1px 0 #20182a;cursor:pointer}.button:active,button:active{border-color:#4a4350 #fff #fff #4a4350}.button.primary{background:#251b69;color:white;border-color:#8476c6 #120b38 #120b38 #8476c6}.button:focus-visible,button:focus-visible,a:focus-visible{outline:3px solid #fa7e6c;outline-offset:3px}.small-note{font:11px 'Courier New',monospace;margin-top:22px;color:#776d78}.hero-art{position:relative;background:radial-gradient(circle at 50% 53%,#e4c9e4 0,#e9d9e5 33%,transparent 65%);min-height:500px}.hero-art:before{content:'';position:absolute;width:330px;height:330px;border-radius:50%;background:repeating-linear-gradient(to bottom,transparent 0 26px,#f8f0de 27px 32px),linear-gradient(#ffbd82,#ee7589);top:19%;left:50%;transform:translateX(-50%);opacity:.8}.art-stars{position:absolute;top:15%;left:14%;color:#b477ad;font-size:30px}.art-stars .glint-two{position:relative;left:300px;top:100px}.orbit{position:absolute;border:1px solid #bd9ac2;border-radius:50%;width:420px;height:420px;top:12%;left:50%;transform:translateX(-50%)}.orbit-two{width:480px;height:480px;top:7%;opacity:.5}.sim,.sim-shadow{position:absolute;width:250px;height:330px;top:19%;left:50%;transform:translateX(-50%) rotate(-12deg);clip-path:polygon(0 0,75% 0,100% 19%,100% 100%,0 100%);border-radius:16px}.sim-shadow{background:#714c84;top:22%;left:52%;filter:blur(5px);opacity:.35}.sim{background:linear-gradient(135deg,#fff9e8 2%,#e1d1e5 55%,#b7a4cb);box-shadow:inset -9px -9px 18px #ad99bf,inset 5px 5px 14px white;padding:32px 26px;color:#58446c}.sim:after{content:'';position:absolute;inset:9px;clip-path:polygon(0 0,75% 0,100% 19%,100% 100%,0 100%);border:1px solid #fff8;border-radius:10px;pointer-events:none}.sim-top{font-weight:900;letter-spacing:-.04em;font-size:19px}.sim-top span{color:#a077ad}.sim-top i{font-size:7px;vertical-align:top}.chip{width:135px;height:107px;display:grid;grid-template-columns:repeat(3,1fr);grid-template-rows:repeat(2,1fr);border-radius:12px;overflow:hidden;background:#af7e3d;border:3px solid #ad7a36;margin-top:43px;box-shadow:0 2px 3px #806080}.chip div{background:linear-gradient(135deg,#eccc82,#b98a43);border:1px solid #a27136}.sim-bottom{font:9px 'Courier New',monospace;letter-spacing:.1em;margin-top:34px;line-height:1.6}.sim-bottom strong{font-size:10px}.sim-bottom span{float:right}.art-label{position:absolute;right:8%;bottom:13%;background:#f8f0de;border:1px solid #c6a9c6;padding:10px 13px;font:10px/1.6 'Courier New',monospace;box-shadow:4px 4px #b994bc}.art-label span{color:#e9656d}.status-strip{background:#251b4f;color:#e2d6e9;padding:12px 5%;display:flex;justify-content:space-between;font:10px 'Courier New',monospace;letter-spacing:.08em}.status-strip b{color:#ff9c80}.content{padding:100px 8%;background:#f9f2e2}.section-head{max-width:640px}.file-tab{display:inline-block;background:#e6d6e8;color:#663f78;padding:7px 10px;margin-bottom:24px}h2{font-size:clamp(38px,4vw,58px);letter-spacing:-.06em;line-height:1.05;margin-bottom:22px}.content p{font-size:16px;line-height:1.7;color:#5f5367}.steps{display:grid;grid-template-columns:repeat(3,1fr);gap:32px;margin-top:50px}.steps article{border-top:2px solid #c7b4c5;padding-top:23px}.step-icon{font:700 12px 'Courier New',monospace;color:#a65b86}.steps h3{font-size:27px;letter-spacing:-.04em;margin:16px 0 10px}.steps p{font-size:14px}.playground{background:#e5d8e8;display:grid;grid-template-columns:1fr 1fr;gap:9%;align-items:center}.spec{border-top:1px solid #bea9c1;margin-top:30px}.spec span{display:flex;justify-content:space-between;border-bottom:1px solid #bea9c1;padding:12px 0;font:11px 'Courier New',monospace}.mini-body{padding:24px;background:#d6d4d7}.mini-heading{display:flex;justify-content:space-between}.mini-heading small,.counter small{display:block;font:10px 'Courier New',monospace;color:#605468}.mini-heading strong{display:block;margin-top:7px;color:#216745;font:700 13px 'Courier New',monospace}.counter{text-align:right}.counter strong{font:bold 28px Arial;color:#261b46}.counter strong small{display:inline}.meter{height:12px;background:#aaa5aa;border:2px solid;border-color:#746e77 white white #746e77;margin:15px 0}.meter span{display:block;width:100%;height:100%;background:repeating-linear-gradient(90deg,#6a4f99 0 8px,#d6d4d7 8px 10px)}.terminal{background:#251b3f;border:2px solid;border-color:#777 #fff #fff #777;color:#d7f8d3;font:12px/1.5 'Courier New',monospace;padding:15px;min-height:65px}.actions{display:grid;grid-template-columns:1fr 1fr;gap:8px;margin-top:15px}.actions button{padding:10px}.mini-foot{font:10px 'Courier New',monospace!important;margin:15px 0 0;text-align:center}.proof{display:grid;grid-template-columns:1fr 1fr;gap:10%;align-items:center}.proof .button{margin-top:17px}.proof-inner{background:#fffaf0;padding:28px;display:grid;grid-template-columns:1fr 1fr;gap:20px}.proof-inner strong{font-size:48px;letter-spacing:-.08em;color:#d45f70}.proof-inner div span{display:block;font:11px 'Courier New',monospace}.proof-inner p,.proof-inner small{grid-column:1/-1}.proof-inner p{font:13px/2 'Courier New',monospace;margin:0}.proof-inner p b{color:#ad6089}.proof-inner small{font:11px/1.5 'Courier New',monospace;color:#796d77}.future{background:#251a48;color:#fff5df}.future .file-tab{background:#55416f;color:#f3d6ec}.future h2 em{color:#ff9b85}.future p{color:#c8bad2}.future a{color:#ffd09d}.future-grid{display:grid;grid-template-columns:1fr 1fr;gap:12%}.numbers{border-top:1px solid #736186}.numbers div{border-bottom:1px solid #736186;padding:15px 0}.numbers strong{font-size:70px;letter-spacing:-.07em;color:#ffad91}.numbers strong span{font-size:28px}.numbers p{margin:0 0 10px;font:12px 'Courier New',monospace}.numbers small{display:block;margin-top:20px;font:11px/1.5 'Courier New',monospace}.bulletin{background:#f4b69e;padding:42px 8%;display:flex;gap:25px}.bulletin-icon{font:bold 32px Georgia;color:#f4b69e;background:#6e334e;width:44px;height:44px;display:grid;place-items:center;flex:none}.bulletin span{font:700 10px 'Courier New',monospace;letter-spacing:.1em}.bulletin h2{font-size:30px;margin:9px 0}.bulletin p{max-width:800px;line-height:1.6;font-size:14px}.bulletin a{color:#65344c;font-size:12px;font-weight:bold}footer{background:#f9f2e2;padding:55px 8% 35px;display:grid;grid-template-columns:1fr 1fr;gap:20px}footer strong{font-size:20px}footer p{font-size:13px;line-height:1.6;color:#786c7a;margin-top:10px}.footer-links{display:flex;justify-content:end;gap:20px}.footer-links a{font-size:12px;font-weight:bold;color:#37245e}footer small{grid-column:1/-1;border-top:1px solid #dacdda;padding-top:20px;font:10px 'Courier New',monospace;color:#675a68}.window-status{display:flex;justify-content:space-between;padding:5px 7px;color:#333;font:11px Arial}.window-status span{border:1px solid;border-color:#888 white white #888;padding:4px;width:48%}.taskbar{position:fixed;bottom:0;left:0;right:0;height:42px;background:#c4c4c4;border-top:2px solid white;display:flex;align-items:center;gap:8px;padding:4px;z-index:10}.start-button{padding:5px 11px;font-size:14px}.start-button span{color:#442b85}.task-divider{height:27px;border-left:2px solid #888;border-right:1px solid white}.task-active{height:29px;display:flex;align-items:center;width:180px;background:#d8d8d8;border:2px solid;border-color:#777 white white #777;color:#26212b;text-decoration:none;font-size:12px;font-weight:bold;padding:0 8px}.tray{margin-left:auto;border:2px solid;border-color:#888 white white #888;padding:5px 12px;font-size:12px}.start-menu{position:fixed;bottom:41px;left:4px;background:#c4c4c4;border:3px solid;border-color:#fff #333 #333 #fff;z-index:11;box-shadow:2px 2px #111;min-width:220px}.start-menu:not([hidden]){display:flex}.start-side{writing-mode:vertical-rl;transform:rotate(180deg);background:#211b69;color:#eee;font-size:22px;padding:10px 5px}.start-menu a{display:block;color:#201a30;text-decoration:none;font-size:13px;padding:12px}.start-menu a:hover,.start-menu a:focus{background:#211b69;color:white}@media(max-width:850px){.desktop{padding:18px 14px 60px;display:block}.shortcuts{display:none}.hero{grid-template-columns:1fr}.hero-copy{padding:60px 8% 20px}.hero-art{min-height:440px}.hero-art:before{top:10%}.orbit{top:3%}.orbit-two{top:-3%}.sim,.sim-shadow{top:12%}.sim-shadow{top:15%}.playground,.proof,.future-grid{grid-template-columns:1fr;gap:35px}.content{padding:65px 7%}.status-strip span:nth-child(2){display:none}}@media(max-width:520px){.menu{gap:14px;padding:10px;font-size:11px;flex-wrap:wrap}.menu-end{margin-left:0}.title-sub{display:none}h1{font-size:58px}.lead{font-size:17px}.hero-art{min-height:400px}.hero-art:before{width:280px;height:280px}.orbit{width:340px;height:340px}.orbit-two{width:390px;height:390px}.sim,.sim-shadow{width:210px;height:280px;padding:25px 23px}.chip{width:112px;height:88px;margin-top:32px}.sim-bottom{margin-top:25px}.art-label{right:3%;bottom:8%}.steps{grid-template-columns:1fr;gap:12px}.steps article{padding-top:15px}.proof-inner{padding:19px}.status-strip{font-size:9px}.bulletin{padding:35px 7%}.footer-links{justify-content:start;flex-wrap:wrap}footer{grid-template-columns:1fr}footer small{grid-column:1}.numbers strong{font-size:60px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}

.architecture{grid-template-columns:repeat(4,minmax(0,1fr));gap:22px}.architecture h3{font-size:23px}.architecture article{position:relative}.architecture article:not(:last-child):after{content:'→';position:absolute;right:-17px;top:22px;color:#a65b86;font-weight:bold}.source-links{font:12px/1.7 'Courier New',monospace!important;margin:30px 0 0}.source-links a{color:#63396e;font-weight:bold}.distribution{display:flex;gap:10px;align-items:center;flex-wrap:wrap;margin:30px 0;color:#ffd09d;font:700 11px 'Courier New',monospace}.distribution span{border:1px solid #79628a;padding:10px}.qualification{font-size:13px!important}@media(max-width:850px){.architecture{grid-template-columns:repeat(2,minmax(0,1fr))}.architecture article:after{display:none}}@media(max-width:520px){.architecture{grid-template-columns:1fr}.play-copy h2{overflow-wrap:anywhere}}
.footer-links{flex-wrap:wrap}
.proof-inner strong.proof-word{font-size:clamp(22px,2.7vw,35px);letter-spacing:-.04em}.archive-note{font-size:12px!important;line-height:1.5!important;margin-top:12px}
.sim-float{position:absolute;inset:0;pointer-events:none}.chip{position:relative}.chip-shine{position:absolute;inset:-30% auto -30% -65%;width:35%;background:linear-gradient(90deg,transparent,rgba(255,255,239,.48),transparent);transform:skewX(-20deg);pointer-events:none}.step-led{display:inline-block;width:7px;height:7px;margin-right:7px;background:#a89ab0;box-shadow:inset 1px 1px #7b6b84}.motion-toggle{padding:5px 8px;white-space:nowrap;font-size:11px}.task-active{min-width:0;overflow:hidden;white-space:nowrap;flex-shrink:1}@media(max-width:520px){.task-active{width:125px}.taskbar{gap:4px}.tray{padding:5px 7px}.motion-toggle{padding:5px}}@media(prefers-reduced-motion:reduce){.sim-float,.chip-shine,.glint,.step-led{animation:none!important;transition:none!important}}
/* Interactive desktop; ordinary document layout remains the fallback. */
.desktop-enhanced{height:100dvh;overflow:hidden;padding:0}.desktop-enhanced .desktop{display:block;max-width:none;margin:0;padding:0}.desktop-enhanced .shortcuts{position:fixed;top:18px;left:14px;z-index:2;display:grid;grid-template-columns:repeat(1,90px);gap:8px;padding:0}.desktop-enhanced .shortcuts a{padding:3px;width:88px}.desktop-enhanced .shortcut-icon{font-size:28px;line-height:1}.desktop-enhanced .desktop-window{position:fixed;top:calc(9% + var(--offset, 0px));left:50%;transform:translateX(-50%);width:min(1050px,calc(100vw - 180px));height:min(690px,calc(100dvh - 100px));display:flex;flex-direction:column;z-index:10;min-width:0}.desktop-enhanced .desktop-window[hidden]{display:none}.desktop-enhanced .desktop-window.is-maximized{top:0!important;left:0!important;transform:none;width:100vw;height:calc(100dvh - 42px)}.desktop-enhanced .window-title{flex:none;cursor:move;touch-action:none;user-select:none}.desktop-enhanced .window-title-text{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.desktop-enhanced .window-controls button{display:grid;place-items:center;width:20px;height:19px;padding:0;background:#c6c6c6;color:#151515;border:2px solid;border-color:white #444 #444 white;box-shadow:none;font-size:14px;line-height:1}.desktop-enhanced .window-body{overflow:auto;flex:1;min-height:0;background:#f9f2e2}.desktop-enhanced .hero{min-height:500px}.desktop-enhanced .hero-copy{padding-top:75px}.desktop-enhanced .content{min-height:100%}.desktop-enhanced .bulletin,.desktop-enhanced footer{min-height:100%;align-content:start}.desktop-enhanced .window:not(.is-active)>.titlebar{background:linear-gradient(90deg,#675d78,#90879e)}.desktop-enhanced .task-list{display:flex;gap:3px;min-width:0;overflow-x:auto;flex:1;scrollbar-width:thin}.desktop-enhanced .window-task{min-width:85px;max-width:160px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;padding:6px 8px;font-size:11px;box-shadow:none}.desktop-enhanced .window-task.is-active{border-color:#777 white white #777;background:#e4e4e4}.desktop-enhanced .show-desktop{padding:5px 8px}.desktop-enhanced .tray{padding:0}.desktop-enhanced .clock-button{border:0;box-shadow:none;padding:5px 8px;font-size:12px;background:transparent}.desktop-enhanced .calendar{position:fixed;right:5px;bottom:46px;z-index:1000;background:#f9f2e2;border:3px solid;border-color:white #333 #333 white;padding:18px;font-size:14px;box-shadow:3px 3px #241732}.desktop-enhanced .calendar[hidden]{display:none}@media(max-width:700px){.desktop-enhanced .shortcuts{grid-template-columns:repeat(2,70px);gap:8px;top:12px;left:8px}.desktop-enhanced .shortcuts a{width:70px}.desktop-enhanced .desktop-window,.desktop-enhanced .desktop-window.is-maximized{top:0!important;left:0!important;transform:none;width:100vw;height:calc(100dvh - 42px)}.desktop-enhanced .desktop-window:not(.is-active){visibility:hidden;pointer-events:none}.desktop-enhanced .window-title{cursor:default}.desktop-enhanced .hero{min-height:0}.desktop-enhanced .hero-copy{padding-top:40px}.desktop-enhanced .task-list{flex:1}.desktop-enhanced .window-task{min-width:65px;max-width:100px}.desktop-enhanced .show-desktop{padding:5px}.desktop-enhanced .motion-toggle{font-size:10px}.desktop-enhanced .start-button{padding:5px}}
.desktop-enhanced .taskbar{z-index:1000}.desktop-enhanced .start-menu{z-index:1001}.desktop-enhanced .calendar{z-index:1002}
.desktop-enhanced .window-task[hidden]{display:none}@media(min-width:701px){.desktop-enhanced .desktop-window:not(.is-maximized){left:max(125px,calc((100vw - 1050px)/2));transform:none;width:min(1050px,calc(100vw - 140px))}}
.desktop-enhanced .motion-toggle[hidden]{display:none}
.desktop-enhanced .calendar{min-width:210px;text-align:center}.desktop-enhanced .calendar-grid{display:grid;grid-template-columns:repeat(7,1fr);gap:4px;margin-top:12px;font-size:12px}.desktop-enhanced .calendar-grid span,.desktop-enhanced .calendar-grid b{padding:4px 1px}.desktop-enhanced .calendar-grid .today{background:#241b70;color:white;font-weight:bold}
@media(min-width:701px){.desktop-enhanced .desktop-window:not(.is-maximized){height:var(--window-height,min(690px,calc(100dvh - 100px)))}}
.mini-art{float:right;width:150px;height:90px;margin:0 0 12px 16px;background:#31234d;border:2px solid;border-color:#9a84a8 #211539 #211539 #9a84a8;overflow:hidden}.mini-art .art-stroke{fill:#eadbcf;stroke:#c9a6b9;stroke-width:2}.mini-art .art-line{fill:none;stroke:#e9b78e;stroke-width:3;stroke-linecap:round;stroke-linejoin:round}.mini-art .art-gold{fill:#f6bf6a}.mini-art .art-leaf{fill:#9472a5}.move-tree{transform-origin:78px 53px}.about-content{display:block;padding:55px 8% 35px}.about-content .about-main{max-width:750px}.about-content h2{margin-top:0}.about-content p{font-size:15px;line-height:1.65;color:#5f5367}.about-content .repo-address{font:12px/1.6 'Courier New',monospace;overflow-wrap:anywhere}.about-content a{color:#50336c}.about-content .button.primary{color:white}.about-maker{border-top:1px solid #c7b4c5;margin-top:28px;padding-top:22px}.about-maker strong a{color:#684375}.about-content small{display:block;margin-top:30px}@media(max-width:520px){.mini-art{width:105px;height:65px;margin-left:10px}.about-content{padding:40px 7%}.about-content h2{font-size:36px}}
/* Larger motion studies and repository content. */
.motion-scene{position:relative;isolation:isolate;overflow:hidden;background:#261938;color:#f9eedb;border:2px solid;border-color:#8e769e #160e23 #160e23 #8e769e;margin:32px 0;min-height:300px}
.scene-topline{position:absolute;inset:0 0 auto;display:flex;justify-content:space-between;gap:12px;padding:16px 20px;border-bottom:1px solid #695072;font:10px/1.4 'Courier New',monospace;letter-spacing:.12em;z-index:3}.scene-topline span{color:#bf9fbd;font-size:9px;text-align:right}.scene-caption{position:absolute;bottom:53px;left:20px;right:20px;font:12px/1.5 'Courier New',monospace;color:#e8cbd4}.scene-replay{position:absolute;bottom:12px;left:18px;padding:5px 9px;font:11px 'Courier New',monospace;background:#473454;border-color:#9c80a5 #160e23 #160e23 #9c80a5;color:#f9eedb;box-shadow:none;z-index:4}.scene-replay:disabled{opacity:.55;cursor:default}.scene-progress{position:absolute;bottom:0;left:0;right:0;height:3px;background:#49334f}.scene-progress span{display:block;height:100%;background:#fbb78d;transform-origin:left}
.desktop-enhanced .hero{min-height:565px}.desktop-enhanced .hero-copy{padding-top:70px;padding-bottom:44px}.hero-copy h1{font-size:clamp(56px,6.2vw,85px)}.hero-copy .lead{font-size:19px;padding-right:12px}.hero-copy .small-note{font-size:10px;line-height:1.6;padding-right:24px}.hero-art.motion-scene{margin:0;min-height:565px;border:0;background:radial-gradient(ellipse at 50% 52%,#75537f,#3c284f 65%,#2b1b3b)}.hero-art .scene-topline{background:#2d1e3e88;color:#f5d8bf}.hero-art:before{opacity:.4;top:22%}.hero-art .orbit{top:15%;border:1px dashed #c89bb188;width:370px;height:370px}.hero-art .orbit-two{top:10%;width:430px;height:430px;border-style:solid;border-color:#c89bb144}.hero-art .sim,.hero-art .sim-shadow{top:21%}.hero-art .art-stars{display:none}.hero-art .art-label{bottom:17%;right:5%;font-size:9px;z-index:2}.hero-packet{position:absolute;padding:12px 15px;border:1px solid #ffb995;background:#3b294f;box-shadow:4px 4px #1b1029;color:#ffca9c;font:700 11px 'Courier New',monospace;z-index:2;pointer-events:none}.packet-a{left:5%;top:26%}.packet-b{right:3%;top:57%}.hero-art .scene-replay{bottom:17px}.hero-art .sim-float{transform-origin:50% 52%}
.protocol-scene{min-height:340px}.protocol-track{position:absolute;top:90px;left:5%;right:5%;display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:22px}.protocol-track:before{content:'';position:absolute;top:48px;left:0;right:0;height:2px;background:#b27f9c;z-index:-1}.protocol-node{border:1px solid #7e6594;background:#302144;padding:18px 8px;text-align:center;min-width:0}.protocol-node>span{display:block;color:#ffb58e;font:22px 'Courier New',monospace;margin-bottom:10px}.protocol-node>b{display:block;font:700 12px 'Courier New',monospace;letter-spacing:.1em}.protocol-node small{display:block;font:10px/1.5 'Courier New',monospace;color:#d4bfdc;margin-top:8px}.bus-packet{position:absolute;top:-28px;color:#ffb58e;font-size:26px;left:9%}.protocol-detail{position:absolute;bottom:89px;left:5%;right:5%;display:flex;justify-content:space-between;font:11px 'Courier New',monospace;color:#c9adcc}.protocol-scene .scene-caption{font-size:11px}
.network-scene{min-height:360px;background:radial-gradient(ellipse at center,#553858,#21182f)}.network-map{position:absolute;top:48px;left:0;right:0;bottom:80px;display:grid;place-items:center}.network-ring{position:absolute;width:210px;height:210px;border:1px solid #ecb191;border-radius:50%}.network-core{position:relative;width:76px;height:96px;background:#efcc99;color:#3b254b;clip-path:polygon(0 0,72% 0,100% 22%,100% 100%,0 100%);display:grid;place-content:center;text-align:center;font:700 22px 'Courier New',monospace;z-index:2;box-shadow:0 0 40px #ffb27c}.network-core small{font-size:10px;margin-top:7px}.network-device{position:absolute;font-size:40px;color:#b098bd;text-align:center}.network-device small{display:block;font:9px 'Courier New',monospace}.device-a{left:14%;top:10%}.device-b{right:14%;top:10%}.device-c{left:22%;bottom:5%}.device-d{right:22%;bottom:5%}
.content.proof{display:block}.proof-heading{max-width:700px}.evidence-scene{min-height:380px}.evidence-log{padding:69px 24px 104px;font:12px/1.5 'Courier New',monospace}.evidence-log>div{display:flex;gap:13px;align-items:center;border-bottom:1px solid #614768;padding:12px 0;color:#e4cddd}.evidence-log>div>span{color:#a286ab}.evidence-log b{margin-left:auto;color:#afe1af;font-size:10px;white-space:nowrap}.evidence-log .log-reject b{color:#ffac99}.evidence-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:24px;margin-top:34px}.evidence-grid article{border-top:2px solid #bca6bd;padding-top:19px}.evidence-grid h3{font-size:22px;margin:17px 0 12px;letter-spacing:-.04em}.evidence-grid p{font-size:14px}.evidence-tag{font:700 9px 'Courier New',monospace;letter-spacing:.04em;color:#386448}.evidence-tag.pending{color:#955244}
.bulletin{display:block;background:#f3c3a9;padding:65px 8%}.bulletin h2{font-size:clamp(34px,4vw,54px)}.bulletin h2 em{font-style:normal;color:#93495b}.bulletin>.security-content>p{font-size:16px}.threat-grid{display:grid;grid-template-columns:1fr 1fr;gap:24px;margin:32px 0}.threat-grid article{border-top:1px solid #b28280;padding-top:20px}.threat-grid b{font-size:18px}.threat-grid p{margin-top:10px}.readme-grid{display:grid;grid-template-columns:1fr 1fr;gap:32px;margin:32px 0}.code-window{border:2px solid;border-color:#fff #31243c #31243c #fff;min-width:0;background:#e2d9df}.code-window pre{background:#241c34;color:#d8eccb;font:12px/1.85 'Courier New',monospace;padding:22px;margin:0;overflow:auto}.code-window>p{font-size:12px;padding:16px;margin:0}.repo-tree a{display:block;border-bottom:1px solid #bdaec3;padding:14px 0;text-decoration:none;color:#3c2855;overflow-wrap:anywhere}.repo-tree b{display:block;font:700 12px 'Courier New',monospace}.repo-tree span{display:block;font-size:12px;line-height:1.5;margin-top:8px;color:#716079}.repo-tree a:hover b{text-decoration:underline}.roadmap{border-top:2px solid #baa7be;padding-top:25px}.roadmap h3{font-size:24px}.roadmap ol{padding-left:23px;font-size:14px;line-height:1.8;color:#5f5367}.roadmap li{padding-left:8px;margin-bottom:12px}.handbook details{border:1px solid #c5b6c8;padding:16px;margin-top:24px}.handbook summary{cursor:pointer;font-size:14px;font-weight:bold}.handbook details p{font-size:14px;margin:16px 0 0}.floppy-shelf{display:flex;align-items:center;gap:32px;margin:32px 0;padding:26px;background:#e9dbe6;border:1px dashed #b2a0ba}.floppy-easter{display:grid;place-items:center;text-align:center;width:130px;flex:none;text-decoration:none;color:#3b2551!important}.floppy-easter>span{width:85px;height:82px;display:grid;place-items:center;border:3px solid;border-color:#876f99 #241636 #241636 #876f99;background:#4a315d;color:#efca98;font-size:52px;box-shadow:4px 4px #b09cba}.floppy-easter>b{margin-top:14px;font:700 11px 'Courier New',monospace}.floppy-easter small{border:0;margin:6px 0 0;padding:0;font-size:10px}.floppy-shelf p{font-size:13px}.floppy-easter:hover>span{background:#6e487b}
/* A secret application that shares the existing window manager. */
.desktop-enhanced .desktop-window[data-window=minesweeper]:not(.is-maximized){width:380px;height:min(630px,calc(100dvh - 90px))}.desktop-window[data-window=minesweeper] .window-body{background:#c0c0c0}.minesweeper-content{padding:12px;color:#151515;font:12px Arial,sans-serif}.mine-menu{display:flex;gap:8px;margin-bottom:12px}.mine-menu button{font-size:12px;padding:5px 8px;box-shadow:none}.mine-menu kbd{margin-left:9px;color:#555;font-size:10px}.mine-panel{display:flex;justify-content:space-between;align-items:center;border:3px solid;border-color:#808080 #fff #fff #808080;background:#c0c0c0;padding:10px;margin-bottom:12px}.mine-panel output{font:30px/1 'Courier New',monospace;letter-spacing:1px;color:#f33;background:#210000;border:1px inset #999;padding:4px}.mine-panel button{font-size:26px;padding:0;width:39px;height:39px;color:#e5b700;text-shadow:1px 1px #544200;background:#c0c0c0;box-shadow:none}.mine-board{display:grid;grid-template-columns:repeat(9,minmax(0,1fr));border:3px solid;border-color:#808080 #fff #fff #808080;background:#808080}.mine-cell{aspect-ratio:1;width:100%;padding:0;min-width:0;display:grid;place-items:center;background:#c0c0c0;border:3px solid;border-color:#fff #808080 #808080 #fff;color:#111;font:bold 20px/1 'Courier New',monospace;box-shadow:none;touch-action:manipulation}.mine-cell.revealed{border:1px solid #808080;background:#c0c0c0}.mine-cell.exploded{background:#f33}.mine-cell.wrong-flag{color:#c00}.mine-cell[data-number='1']{color:#0000c8}.mine-cell[data-number='2']{color:#007000}.mine-cell[data-number='3']{color:#d00000}.mine-cell[data-number='4']{color:#000070}.mine-cell[data-number='5']{color:#800000}.mine-cell[data-number='6']{color:#007777}.mine-cell[data-number='7']{color:#111}.mine-cell[data-number='8']{color:#666}.mine-cell:focus-visible{outline:2px dotted #000;outline-offset:-5px;z-index:1}.mine-bottom{display:flex;justify-content:space-between;align-items:center;gap:10px;margin:12px 0}.mine-bottom button{font-size:11px;padding:7px 9px}.mine-bottom button[aria-pressed=true]{border-color:#666 #fff #fff #666;background:#e5e5e5}.mine-bottom span{font:10px 'Courier New',monospace}.minesweeper-content #mine-status{font-size:12px;line-height:1.5;margin:10px 0 6px;min-height:36px}.minesweeper-content #mine-best{font:11px 'Courier New',monospace;margin:0;color:#555}.minesweeper-content #mine-instructions{font-size:12px;line-height:1.6;background:#ffffdd;padding:12px;border:1px solid #888}.desktop-enhanced .shortcuts{max-height:calc(100dvh - 62px);overflow-y:auto;scrollbar-width:thin}.desktop-enhanced .start-menu{max-height:calc(100dvh - 46px);overflow-y:auto}.desktop-enhanced .start-menu a{padding:10px 12px}.desktop-enhanced .desktop-window[data-window=minesweeper].is-maximized .minesweeper-content{max-width:420px;margin:auto}
@media(max-width:850px){.desktop-enhanced .hero-art{min-height:520px}.hero-copy h1{font-size:64px}.evidence-grid{grid-template-columns:1fr}.readme-grid{grid-template-columns:1fr}.protocol-track{gap:10px}.protocol-node{padding:15px 5px}.protocol-node small{font-size:9px}}
@media(max-width:700px){.desktop-enhanced .hero-art{min-height:500px}.desktop-enhanced .desktop-window[data-window=minesweeper]:not(.is-maximized){width:100vw;height:calc(100dvh - 42px)}.minesweeper-content{max-width:380px;margin:auto}.desktop-enhanced .shortcuts{grid-template-columns:repeat(2,80px)}.desktop-enhanced .hero-copy{padding-top:40px}.taskbar .motion-toggle{max-width:97px;overflow:hidden}.protocol-scene{min-height:340px}}
@media(max-width:520px){.motion-scene{margin:24px 0}.scene-topline{padding:12px;font-size:9px;letter-spacing:.03em}.scene-topline span{max-width:48%;font-size:8px}.hero-art.motion-scene{margin:0}.hero-art .sim,.hero-art .sim-shadow{top:23%}.hero-art .orbit{width:320px;height:320px;top:17%}.hero-art .orbit-two{width:380px;height:380px;top:11%}.hero-packet{font-size:9px;padding:9px}.packet-a{top:22%;left:4%}.packet-b{right:3%;top:62%}.hero-art .art-label{bottom:13%}.protocol-track{left:4%;right:4%;top:80px;gap:5px}.protocol-node>b{font-size:9px;letter-spacing:0}.protocol-node>span{font-size:19px}.protocol-node small{font-size:8px}.protocol-detail{font-size:9px;gap:12px;bottom:100px}.protocol-detail span{max-width:48%}.scene-caption{font-size:10px;left:12px;right:12px}.protocol-scene .scene-caption{font-size:10px}.network-scene{min-height:335px}.network-device{font-size:30px}.device-a{left:8%}.device-b{right:8%}.device-c{left:15%}.device-d{right:15%}.evidence-log{padding:58px 12px 103px;font-size:9px}.evidence-log>div{gap:7px;flex-wrap:wrap;padding:11px 0}.evidence-log b{font-size:9px}.evidence-scene{min-height:350px}.threat-grid{grid-template-columns:1fr;gap:18px}.floppy-shelf{gap:14px;padding:20px 10px;flex-wrap:wrap;justify-content:center}.floppy-shelf p{text-align:center}.content.handbook{padding:40px 6%}.code-window pre{font-size:10px;padding:16px}.hero-copy .lead{font-size:17px}.hero-copy h1{font-size:58px}.mine-cell{font-size:18px}}
@media(prefers-reduced-motion:reduce){.motion-scene *, .desktop-window{animation:none!important;transition:none!important}.scene-progress{display:none}}
/* Fit the story and the secret application above the taskbar. */
.hero-art .art-label{color:#39254c}.desktop-enhanced .content{padding:48px 6%}.desktop-enhanced .content h2{font-size:clamp(36px,4vw,52px)}.desktop-enhanced .desktop-window[data-window=minesweeper]:not(.is-maximized){height:min(630px,var(--window-height,calc(100dvh - 100px)))}
@media(max-width:700px){.desktop-enhanced .desktop-window[data-window=minesweeper]:not(.is-maximized){height:calc(100dvh - 42px)}.desktop-enhanced .content{padding:38px 6%}}
/* A small desktop discovery, kept behind application windows. */
.desktop-easter{display:none}
.desktop-enhanced .desktop-easter{display:block;position:fixed;right:14px;bottom:64px;z-index:3;width:76px;padding:7px 4px;color:#fff;text-align:center;text-decoration:none;font:12px/1.4 Arial,sans-serif;text-shadow:1px 2px #17102f;border:1px solid transparent}
.desktop-easter .shortcut-icon{display:block;margin:0 auto 5px;line-height:1}
.desktop-easter svg{display:block;margin:auto;filter:drop-shadow(2px 2px 0 #130d2c)}
.desktop-enhanced .desktop-easter:hover{background:#b5a4cc22;border-color:#d1bde477}
.desktop-enhanced .desktop-easter:focus-visible{outline:2px dotted #fff;outline-offset:2px;background:#b5a4cc33}
@media(max-width:700px){.desktop-enhanced .desktop-easter{right:12px;bottom:62px}}
/* Recorded execution evidence and copyable verification commands. */
.implementation-results{margin:28px 0 32px}.implementation-results a,.payment-records a{font:700 11px/1.6 'Courier New',monospace;color:#50336c;overflow-wrap:anywhere}
.recorded-runs{border-top:2px solid #bca6bd;padding-top:28px}.recorded-runs>h3{font-size:25px;letter-spacing:-.03em}.payment-records{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:20px}.payment-records article{border:1px solid #c6b3c7;background:#f0e5ea;padding:22px;min-width:0}.payment-records h4{font-size:21px;margin:15px 0 12px;letter-spacing:-.03em}.payment-records p{font-size:14px}.payment-records code{display:block;font:11px/1.7 'Courier New',monospace;overflow-wrap:anywhere;margin:16px 0;color:#695371}.payment-records a{display:inline-block}
.content .proof-scope{padding:18px 20px;background:#e6dbe7;border-left:3px solid #82658f;font-size:13px;line-height:1.7;margin:26px 0}.verification-commands{background:#241c34;color:#d8eccb;padding:18px;font:11px/1.8 'Courier New',monospace;white-space:pre-wrap;overflow-wrap:anywhere;margin:18px 0 0}.content p code{font-size:.9em;overflow-wrap:anywhere}.repo-tree>a:last-child{line-height:1.6;font-size:12px}
@media(max-width:700px){.payment-records{grid-template-columns:1fr}.payment-records article{padding:18px}.implementation-results{gap:20px}.verification-commands{padding:13px;font-size:10px}.content .proof-scope{padding:15px;font-size:12px}}