.searches-page{min-height:100vh;background:var(--background);padding:64px 24px;display:flex;justify-content:center;color:#1e293b;font-family:var(--font-teachers),"Sono",system-ui,sans-serif}.searches-shell{width:100%;max-width:1080px;gap:32px}.searches-shell,.searches-topbar{display:flex;flex-direction:column}.searches-topbar{gap:16px;justify-content:space-between;align-items:flex-start}@media (min-width:640px){.searches-topbar{flex-direction:row;align-items:center}}.searches-article{background-color:#ffffff;border-radius:24px;padding:48px;box-shadow:0 10px 40px rgba(0,0,0,.05);border:1px solid #e2e8f0;display:flex;flex-direction:column;gap:48px}.searches-header{text-align:center;display:flex;flex-direction:column;gap:18px}.searches-header h1{margin:0;font-size:clamp(2.75rem,5vw,3.5rem);font-weight:700;letter-spacing:-.02em;text-align:center}.searches-header p{margin:0 auto;max-width:720px;font-size:1.25rem;line-height:1.9;color:#334155}.searches-tabs{display:flex;flex-wrap:wrap;gap:12px;border-bottom:1px solid #e2e8f0;padding-bottom:20px;margin-bottom:32px}.searches-tab{padding:12px 24px;border-radius:9999px;border:1px solid #e2e8f0;background:#f8fafc;color:#334155;font-size:1rem;font-weight:500;cursor:pointer;transition:all .2s ease}.searches-tab:hover{border-color:#334155;color:#0f172a;background:#f1f5f9}.searches-tab.active{border-color:#7dd3fc;background:#f0f9ff;color:#0369a1;box-shadow:none}.searches-content{display:flex;flex-direction:column;gap:32px}.searches-content h2{font-size:clamp(1.9rem,3vw,2.4rem);font-weight:600;margin:0 0 24px;text-align:center}.searches-content p{color:#1e293b;font-size:1.15rem;line-height:1.9;margin:0}@media (max-width:900px){.searches-page{padding:48px 18px}.searches-article{padding:36px 28px}}.info-box{padding:32px;background:#f1f5f9;border-radius:16px;border:1px solid #e2e8f0;margin-bottom:24px}.info-box h3{font-size:1.9rem;font-weight:600;margin:0 0 24px;color:#0f172a}.info-box h4{font-size:1.5rem;font-weight:700;color:#0f172a;margin-top:32px;margin-bottom:16px;padding-bottom:12px;border-bottom:2px solid #e2e8f0}.info-box p{margin:0 0 16px}.info-box ol,.info-box p,.info-box ul{color:#1e293b;font-size:1.15rem;line-height:1.8}.info-box ol,.info-box ul{margin:16px 0;padding-left:24px}.info-box li{margin:8px 0}pre{background:#f8fafc;padding:16px;border-radius:8px;overflow-x:auto;border:1px solid #e2e8f0;margin:16px 0}code{color:#1e293b}.trace-table,code{font-family:Consolas,Monaco,Courier New,monospace}.trace-table{width:100%;border-collapse:collapse;margin:24px 0;font-size:.95rem;background:#f8fafc;border:1px solid #e2e8f0;border-radius:8px;overflow:hidden}.trace-table td,.trace-table th{padding:12px;text-align:left;border-bottom:1px solid #e2e8f0;color:#1e293b}.trace-table th{background:#f1f5f9;font-weight:600;color:#0284c7;border-bottom:2px solid #e2e8f0}.trace-table tr:last-child td{border-bottom:none}.trace-table tr:hover{background:#f1f5f9}.complexity-table{width:100%;border-collapse:collapse;margin:24px 0}.complexity-table td,.complexity-table th{padding:12px;border:1px solid #e2e8f0;text-align:left}.complexity-table th{background:rgba(148,163,184,.1);font-weight:600}.cards-container{gap:12px;flex-wrap:wrap;margin:24px 0}.card,.cards-container{display:flex;justify-content:center}.card{width:80px;height:120px;background:#f1f5f9;border-radius:8px;align-items:center;color:#0f172a;font-weight:700;font-size:1.2rem;position:relative;border:2px solid #cbd5e1}.card.face-down{background:repeating-linear-gradient(45deg,#e2e8f0,#e2e8f0 10px,#cbd5e1 0,#cbd5e1 20px);color:transparent}.card-status{position:absolute;top:-25px;left:50%;transform:translateX(-50%);font-size:1.5rem}.card-label{position:absolute;bottom:-25px;font-size:.8rem;color:#64748b;white-space:nowrap}.interactive-box{background:rgba(56,189,248,.1);border:1px solid rgba(56,189,248,.3);border-radius:12px;padding:24px;margin:24px 0;text-align:center}.interactive-box button{margin-top:16px;padding:8px 16px;background:#38bdf8;color:#0f172a;border:none;border-radius:6px;font-weight:600;cursor:pointer;transition:background .2s}.interactive-box button:hover{background:#0ea5e9}.interactive-result{margin-top:16px;padding:12px;background:#f1f5f9;border-radius:6px;display:inline-block}.redacted{color:#cc0000;background-color:#cc0000;border-radius:4px;cursor:pointer;padding:2px 4px;position:relative;transition:all .4s cubic-bezier(.68,-.55,.265,1.55);display:inline;box-shadow:0 2px 4px rgba(204,0,0,.2)}.redacted:hover{background-color:#dd1111;box-shadow:0 4px 8px rgba(204,0,0,.3);transform:scale(1.05)}.unredacted{background-color:transparent!important;color:inherit!important;animation:revealText .5s ease-out forwards;box-shadow:0 0 0 rgba(0,0,0,0)}@keyframes revealText{0%{background-color:#cc0000;color:#cc0000;transform:scale(1.05)}50%{background-color:#ffeb3b;color:#000;transform:scale(1.1)}to{background-color:transparent;color:inherit;transform:scale(1)}}.perspective-1000{perspective:1000px}.transform-style-3d{transform-style:preserve-3d}.backface-hidden{backface-visibility:hidden}.rotate-y-180{transform:rotateY(180deg)}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}@keyframes scaleIn{0%{transform:scale(.9);opacity:0}to{transform:scale(1);opacity:1}}.animate-fade-in{animation:fadeIn .3s ease-out forwards}.animate-scale-in{animation:scaleIn .3s cubic-bezier(.16,1,.3,1) forwards}.linear-game-container button:disabled{cursor:default}@keyframes fadeInGreyToActive{0%{opacity:.3;filter:grayscale(100%);transform:scale(.95)}to{opacity:1;filter:grayscale(0);transform:scale(1)}}@keyframes sparkle{0%,to{text-shadow:0 0 5px #fbbf24,0 0 10px #fbbf24,0 0 20px #fbbf24;transform:translateY(0) scale(1)}50%{text-shadow:0 0 20px #ec4899,0 0 30px #ec4899,0 0 40px #ec4899;transform:translateY(-3px) scale(1.05)}}.sparkle-text{display:inline-block;font-weight:800;color:#0284c7;cursor:help;position:relative;padding:0 4px;transition:transform .2s}.sparkle-text:hover{animation:shine 1s linear infinite,sparkle 1s ease-in-out infinite;transform:scale(1.1)}@keyframes shine{to{background-position:300%}}.tooltip-container{position:relative;display:inline-block}.tooltip-content{visibility:hidden;position:absolute;bottom:120%;left:50%;transform:translateX(-50%) scale(.9);background:#f1f5f9;border:1px solid #e2e8f0;color:#1e293b;padding:12px;border-radius:8px;width:280px;text-align:center;box-shadow:0 10px 25px rgba(0,0,0,.5);opacity:0;transition:all .3s cubic-bezier(.16,1,.3,1);z-index:50;font-size:.95rem;line-height:1.5;pointer-events:none}.tooltip-container:hover .tooltip-content{visibility:visible;opacity:1;transform:translateX(-50%) scale(1);pointer-events:auto}.tooltip-content:after{content:"";position:absolute;top:100%;left:50%;margin-left:-8px;border:8px solid transparent;border-top-color:#38bdf8}.modal-overlay{position:fixed;top:0;left:0;width:100%;height:100%;background:rgba(255,255,255,.75);backdrop-filter:blur(4px);display:flex;justify-content:center;align-items:center;z-index:100;animation:fadeIn .2s ease-out}.modal-content{background:#f8fafc;border:1px solid #e2e8f0;border-radius:16px;padding:32px;width:90%;max-width:800px;max-height:90vh;overflow-y:auto;position:relative;box-shadow:0 25px 50px -12px rgba(0,0,0,.5);animation:scaleIn .3s cubic-bezier(.16,1,.3,1)}.modal-close{position:absolute;top:16px;right:16px;background:transparent;border:none;color:#64748b;font-size:1.5rem;cursor:pointer;transition:color .2s;padding:8px;line-height:1}.modal-close:hover{color:#0f172a}.python-btn{display:inline-flex;align-items:center;gap:8px;margin-top:24px;padding:12px 24px;background:linear-gradient(135deg,#306998,#ffd43b);color:#fff;font-weight:700;border:none;border-radius:9999px;cursor:pointer;transition:all .2s;text-shadow:0 1px 2px rgba(0,0,0,.3);box-shadow:0 4px 12px rgba(48,105,152,.3)}.python-btn:hover{transform:translateY(-2px);box-shadow:0 6px 16px rgba(48,105,152,.4)}.paper-section{background:#f1f5f9;background-image:radial-gradient(#cbd5e1 1px,transparent 0);background-size:20px 20px;border-radius:20px;padding:48px;color:#1e293b;border:1px solid #e2e8f0;box-shadow:inset 0 2px 4px rgba(0,0,0,.05);display:flex;flex-direction:column;gap:32px}.paper-section h3{color:#0f172a!important;font-size:2rem;margin:0}.paper-section p{color:#cbd5e1!important}.paper-box{background:#ffffff;border:1px solid #e2e8f0;padding:32px;border-radius:12px;color:#334155;box-shadow:0 10px 15px -3px rgba(0,0,0,.1);transition:transform .2s ease}.paper-box:hover{transform:translateY(-2px)}.paper-box h4{color:#0f172a!important;font-size:1.4rem;font-weight:700;margin:0 0 16px;padding-bottom:12px;border-bottom:2px solid #f1f5f9}.paper-box code{background:#f1f5f9;color:#0f172a;padding:2px 6px;border-radius:4px;border:1px solid #e2e8f0}.paper-box strong{color:#0f172a}.paper-extension{background:#fffbeb;border:2px dashed #fcd34d;padding:32px;border-radius:12px}.paper-extension h4{border-bottom-color:#fef3c7!important}