@import url('/cse/dsa/visual-lab/interface.css');
/* Research identity: the parent lotus in cobalt enamel, with the Research Labs descriptor. */
:root {--pr-sans:var(--pr-ui-font);--pr-serif:var(--pr-display-font);--pr-mono:Consolas,monospace}
.pr-brand {display:inline-flex;align-items:center;gap:10px;flex:none;white-space:nowrap;text-decoration:none!important;color:var(--pr-ink);text-transform:none;letter-spacing:normal}
.pr-brand .pr-mark {display:block;width:36px;height:36px;min-width:36px;flex:none;object-fit:contain;margin:0}
.pr-brand .pr-copy {display:flex;flex-direction:column;gap:4px;align-items:flex-start}
.pr-brand .pr-name,.pr-brand .pr-parent-name {display:block;font:700 17px/21px var(--pr-display-font);letter-spacing:0;color:var(--pr-ink);margin:0;padding:0}
.pr-brand .pr-track {display:block;margin:0;padding:0;font:500 11px/14px var(--pr-ui-font);color:var(--pr-accent);letter-spacing:0;text-transform:none}
.pr-brand .pr-tagline {display:none}
.pr-brand:focus-visible {outline:3px solid var(--pr-accent);outline-offset:5px;border-radius:4px}
:is(.site-header,.pr-masthead,.pr-notebook-header) {background:var(--pr-paper);color:var(--pr-ink);border-bottom:1px solid var(--pr-line);backdrop-filter:none}
:is(.site-header,.pr-masthead,.pr-notebook-header) nav {font-family:var(--pr-ui-font);font-size:14px;text-transform:none;letter-spacing:0}
:is(.site-header,.pr-masthead,.pr-notebook-header) nav a {color:var(--pr-muted)}
:is(.site-header,.pr-masthead,.pr-notebook-header) nav a[aria-current=page] {color:var(--pr-accent);font-weight:600}
.nav-inner:has(.pr-brand) {height:auto;min-height:68px;gap:20px;padding-block:10px}
html[data-pr-theme=dark] :is(.site-header,.pr-masthead,.pr-notebook-header) {--pr-ink:#edf2fb;--pr-accent:#8bb5ff;--pr-muted:#bdc8dc;--pr-line:#33435f;--pr-paper:#121e33;--pr-surface:#17263f;--pr-soft:#1c2d49}
@media(max-width:900px){.nav-inner:has(.pr-brand){flex-wrap:wrap}.nav-inner:has(.pr-brand) .nav-links{order:4;flex-basis:100%}}

/* Shared site header: one height, one link set and one collapse point in every app.
   Each app renders the same markup; app-specific links go in .pr-section-bar below it. */
:root {--pr-header-height:64px;--pr-section-bar-height:44px}
.pr-site-header {position:relative;z-index:40;height:var(--pr-header-height);background:var(--pr-paper);color:var(--pr-ink);border-bottom:1px solid var(--pr-line);font-family:var(--pr-ui-font)}
.pr-site-header-inner {position:relative;display:flex;align-items:center;justify-content:space-between;gap:24px;height:100%;width:min(var(--pr-page-width),100% - 48px);margin:0 auto}
.pr-site-nav {display:flex;align-items:center;gap:22px;font:400 14px/1.4 var(--pr-ui-font);white-space:nowrap}
.pr-site-nav a {color:var(--pr-muted);text-decoration:none;padding:8px 0}
.pr-site-nav a:hover {color:var(--pr-ink)}
.pr-site-nav a:is([aria-current=page],.active) {color:var(--pr-accent);font-weight:600}
.pr-site-nav .pr-parent-link {padding:7px 12px;border:1px solid var(--pr-accent);border-radius:var(--pr-control-radius);color:var(--pr-accent)}
.pr-menu-toggle {display:none;min-height:40px;padding:8px 14px;font:500 14px/1 var(--pr-ui-font);color:var(--pr-ink);background:var(--pr-surface);border:1px solid var(--pr-line);border-radius:var(--pr-control-radius);cursor:pointer}
.pr-section-bar {display:flex;align-items:center;gap:20px;min-height:var(--pr-section-bar-height);padding:6px max(24px,(100% - var(--pr-page-width)) / 2);background:var(--pr-soft);color:var(--pr-ink);border-bottom:1px solid var(--pr-line);font:400 14px/1.4 var(--pr-ui-font);overflow-x:auto;white-space:nowrap}
.pr-section-bar .pr-section-name {font-weight:650;color:var(--pr-ink)}
.pr-section-bar a {color:var(--pr-muted);text-decoration:none}
.pr-section-bar a:hover {color:var(--pr-ink)}
.pr-section-bar a:is([aria-current=page],.active) {color:var(--pr-accent);font-weight:600}
.pr-footer-appearance {display:flex;justify-content:flex-end;padding:12px 0}
html[data-pr-theme=dark] :is(.pr-site-header,.pr-section-bar) {--pr-ink:#edf2fb;--pr-accent:#8bb5ff;--pr-muted:#bdc8dc;--pr-line:#33435f;--pr-paper:#121e33;--pr-surface:#17263f;--pr-soft:#1c2d49}
/* Six links plus the brand need about 1,000px; below that the links move into a menu instead of wrapping. */
@media (max-width:1080px) {
 .pr-menu-toggle {display:inline-flex;align-items:center}
 .pr-site-nav {display:none;position:absolute;top:calc(100% + 1px);left:-24px;right:-24px;flex-direction:column;align-items:stretch;gap:0;padding:8px 24px 16px;background:var(--pr-surface);border-bottom:1px solid var(--pr-line);box-shadow:0 12px 24px rgb(23 34 56 / 8%)}
 .pr-site-nav[data-open=true] {display:flex}
 .pr-site-nav a {padding:12px 0;border-bottom:1px solid var(--pr-line)}
 .pr-site-nav .pr-parent-link {margin-top:12px;border-bottom:1px solid var(--pr-accent);text-align:center}
}
@media (max-width:760px) {
 .pr-site-header-inner {width:calc(100% - 32px)}
 .pr-site-nav {left:-16px;right:-16px;padding-inline:16px}
 .pr-section-bar {padding-inline:16px;gap:16px}
}