/* Terminal v4: a tiled engineering workspace, isolated from earlier revisions. */
.theme-v2-version4 {
  --ws-bg: #151719; --ws-deep: #101214; --ws-panel: #191c1f; --ws-hover: #24292d;
  --ws-border: #2c3237; --ws-text: #e0e4e5; --ws-muted: #929c9f; --ws-green: #a2cd99;
  --ws-cyan: #81c6d2; --ws-orange: #d8b07a; --ws-mono: 'JetBrains Mono', 'Fira Code', monospace;
  --ws-ui: 'Inter', system-ui, sans-serif;
  --crt-bg: var(--ws-bg); --crt-deep: var(--ws-panel); --crt-panel-2: var(--ws-hover);
  --text: var(--ws-text); --amber: var(--ws-green); --amber-25: var(--ws-border);
  margin: 0; height: 100dvh; overflow: hidden; display: grid; grid-template-rows: 46px minmax(0, 1fr) 32px;
  background: var(--ws-bg); color: var(--ws-text); color-scheme: dark; font: 13px/1.6 var(--ws-mono);
}
.theme-v2-version4 *, .theme-v2-version4 *::before, .theme-v2-version4 *::after { box-sizing: border-box; letter-spacing: 0; }
.theme-v2-version4 [hidden] { display: none !important; }
.theme-v2-version4 a { color: inherit; text-decoration: none; }
.theme-v2-version4 button { cursor: pointer; font: inherit; color: inherit; }
.theme-v2-version4 :is(a, button, summary, input):focus-visible { outline: 2px solid var(--ws-cyan); outline-offset: -2px; }
.theme-v2-version4 ::selection { color: #eff5f4; background: #355344; }
.theme-v2-version4 .ws-icon { display: block; flex: 0 0 16px; width: 16px; height: 16px; }
.theme-v2-version4 .ws-green { color: var(--ws-green); }
.theme-v2-version4 .ws-cyan { color: var(--ws-cyan); }
.theme-v2-version4 .ws-orange { color: var(--ws-orange); }
.theme-v2-version4 .ws-muted { color: var(--ws-muted); }
.theme-v2-version4 .ws-skip { position: fixed; z-index: 100; top: 8px; left: 8px; padding: 10px 16px; background: var(--ws-green); color: var(--ws-deep); transform: translateY(-150%); }
.theme-v2-version4 .ws-skip:focus { transform: none; }
.theme-v2-version4 .ws-titlebar { display: flex; align-items: center; justify-content: space-between; gap: 24px; padding: 0 14px; background: var(--ws-deep); border-bottom: 1px solid var(--ws-border); min-width: 0; }
.theme-v2-version4 .ws-brand { display: inline-flex; align-items: center; gap: 14px; font: 12px/1 var(--ws-mono); white-space: nowrap; }
.theme-v2-version4 .ws-brand-mark { color: var(--ws-text); font-size: 22px; font-weight: 700; }
.theme-v2-version4 .ws-brand-mark > span { color: var(--ws-green); }
.theme-v2-version4 .ws-search-launch { display: flex; align-items: center; gap: 10px; width: min(400px, 34%); min-width: 150px; height: 30px; padding: 0 10px; background: var(--ws-panel); border: 1px solid #343b40; border-radius: 4px; color: var(--ws-muted); font: 12px/1 var(--ws-ui); }
.theme-v2-version4 .ws-search-launch:hover { border-color: #5b696f; }
.theme-v2-version4 .ws-search-launch kbd { margin-left: auto; font: 11px var(--ws-mono); }
.theme-v2-version4 .ws-title-tools { display: flex; align-items: center; gap: 14px; }
.theme-v2-version4 .ws-title-contact { display: inline-flex; align-items: center; gap: 8px; min-height: 40px; color: var(--ws-green); font: 12px/1 var(--ws-ui); white-space: nowrap; }
.theme-v2-version4 .ws-icon-button { display: inline-flex; justify-content: center; align-items: center; width: 32px; height: 32px; flex: 0 0 32px; border: 0; border-radius: 3px; background: transparent; color: var(--ws-muted); padding: 0; }
.theme-v2-version4 .ws-icon-button:hover { background: var(--ws-hover); color: var(--ws-text); }
.theme-v2-version4 .ws-body { min-height: 0; min-width: 0; display: grid; grid-template-columns: 48px 218px minmax(0, 1fr); position: relative; }
.theme-v2-version4[data-explorer-open="false"] .ws-body { grid-template-columns: 48px 0 minmax(0, 1fr); }
.theme-v2-version4 .ws-activity { grid-column: 1; display: flex; flex-direction: column; align-items: stretch; border-right: 1px solid var(--ws-border); background: var(--ws-deep); padding-top: 6px; }
.theme-v2-version4 .ws-activity-button { display: flex; align-items: center; justify-content: center; width: 47px; height: 48px; color: #8b9498; border-left: 2px solid transparent; background: transparent; }
.theme-v2-version4 .ws-activity-button .ws-icon { width: 21px; height: 21px; }
.theme-v2-version4 .ws-activity-button:hover { color: var(--ws-text); }
.theme-v2-version4 .ws-activity-button[aria-expanded="true"] { color: var(--ws-green); border-color: var(--ws-green); background: #1b2420; }
.theme-v2-version4 .ws-activity-contact { margin-top: auto; margin-bottom: 8px; }
.theme-v2-version4 .ws-explorer { grid-column: 2; min-width: 0; overflow-y: auto; background: var(--ws-panel); border-right: 1px solid var(--ws-border); }
.theme-v2-version4 .ws-explorer-heading { min-height: 42px; padding: 0 18px; display: flex; align-items: center; justify-content: space-between; font: 10px/1 var(--ws-ui); color: var(--ws-muted); }
.theme-v2-version4 .ws-explorer-close { display: none; }
.theme-v2-version4 .ws-project-tree > summary { display: flex; align-items: center; gap: 5px; padding: 10px 10px 12px; list-style: none; cursor: pointer; font: 10px/1 var(--ws-ui); font-weight: 600; }
.theme-v2-version4 summary::-webkit-details-marker { display: none; }
.theme-v2-version4 details[open] > summary > .ws-icon:first-child { transform: rotate(90deg); }
.theme-v2-version4 .ws-tree-file, .theme-v2-version4 .ws-tree-folder > summary { display: flex; align-items: center; gap: 9px; min-height: 34px; padding: 5px 14px 5px 22px; color: #b3bdc0; font: 11px/1.5 var(--ws-mono); min-width: 0; }
.theme-v2-version4 .ws-tree-file > span { overflow-wrap: anywhere; }
.theme-v2-version4 .ws-tree-file > .ws-icon { color: #7fa5b0; width: 14px; height: 14px; flex-basis: 14px; }
.theme-v2-version4 .ws-tree-file:hover, .theme-v2-version4 .ws-tree-folder > summary:hover { background: var(--ws-hover); color: var(--ws-text); }
.theme-v2-version4 .ws-tree-file[aria-current="page"] { color: var(--ws-text); background: #2b3436; box-shadow: inset 2px 0 0 var(--ws-green); }
.theme-v2-version4 .ws-tree-folder > summary { padding-left: 7px; gap: 5px; list-style: none; cursor: pointer; }
.theme-v2-version4 .ws-tree-folder > summary > .ws-icon:nth-child(2) { color: var(--ws-orange); }
.theme-v2-version4 .ws-tree-count { margin-left: auto; color: #8b969c; font-size: 10px; }
.theme-v2-version4 .ws-tree-nested { padding-left: 32px; font-size: 10px; }
.theme-v2-version4 .ws-tree-index { padding-left: 55px; font-size: 10px; color: var(--ws-muted); }
.theme-v2-version4 .ws-explorer-note { margin: 30px 14px 20px 22px; padding-top: 16px; border-top: 1px solid var(--ws-border); font: 10px/1.8 var(--ws-mono); color: var(--ws-muted); }
.theme-v2-version4 .ws-explorer-note p { margin-top: 10px; }
.theme-v2-version4 .ws-center { grid-column: 3; min-width: 0; min-height: 0; display: grid; grid-template-columns: minmax(0, 1fr); grid-template-rows: 42px minmax(0, 1fr) 202px; }
.theme-v2-version4[data-terminal-open="false"] .ws-center { grid-template-rows: 42px minmax(0, 1fr) 0; }
.theme-v2-version4[data-terminal-maximized="true"] .ws-center { grid-template-rows: 42px 0 minmax(0, 1fr); }
.theme-v2-version4 .ws-buffers { grid-row: 1; display: flex; overflow-x: auto; overflow-y: hidden; scrollbar-width: none; background: var(--ws-deep); border-bottom: 1px solid var(--ws-border); min-width: 0; }
.theme-v2-version4 .ws-buffers::-webkit-scrollbar { display: none; }
.theme-v2-version4 .ws-buffer { display: inline-flex; align-items: center; gap: 9px; flex-shrink: 0; padding: 0 18px; min-height: 41px; border-right: 1px solid var(--ws-border); border-top: 2px solid transparent; color: #8f999e; font: 11px/1 var(--ws-mono); }
.theme-v2-version4 .ws-buffer > .ws-icon { color: #81adb7; width: 14px; height: 14px; flex-basis: 14px; }
.theme-v2-version4 .ws-buffer { max-width: 290px; }
.theme-v2-version4 .ws-buffer > span { white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.theme-v2-version4 .ws-buffer[aria-current="page"] { background: var(--ws-bg); border-top-color: var(--ws-green); color: var(--ws-text); }
.theme-v2-version4 .ws-buffer:hover:not([aria-current="page"]) { background: var(--ws-panel); }
.theme-v2-version4 .ws-document { grid-row: 2; overflow: auto; min-width: 0; min-height: 0; scrollbar-width: thin; scrollbar-color: #444d50 transparent; outline: none; }
.theme-v2-version4 .ws-breadcrumb { display: flex; align-items: center; gap: 7px; min-height: 36px; padding: 8px 30px; color: var(--ws-muted); font: 10px/1.5 var(--ws-mono); overflow-wrap: anywhere; }
.theme-v2-version4 .ws-breadcrumb .ws-icon { width: 12px; height: 12px; flex-basis: 12px; }
.theme-v2-version4 .ws-breadcrumb > :last-child { color: #c2cacc; }
.theme-v2-version4 .ws-readme { display: grid; grid-template-columns: minmax(0, 1fr) 300px; max-width: 1340px; margin: 0 auto; padding: 28px 34px 20px 20px; gap: 38px; }
.theme-v2-version4 .ws-readme-body { min-width: 0; }
.theme-v2-version4 .ws-line { display: grid; grid-template-columns: 24px minmax(0, 1fr); gap: 18px; }
.theme-v2-version4 .ws-line-number { color: #5e6a6f; font: 10px/1.8 var(--ws-mono); padding-top: 3px; text-align: right; user-select: none; }
.theme-v2-version4 .ws-readme-comment { margin-bottom: 20px; }
.theme-v2-version4 .ws-readme-comment p { color: #82938a; font: 11px/1.7 var(--ws-mono); }
.theme-v2-version4 .ws-heading-line { margin-bottom: 24px; }
.theme-v2-version4 .ws-heading-line .ws-line-number { padding-top: 10px; }
.theme-v2-version4 h1#workspace-title { font: 700 46px/1.18 var(--ws-mono); color: #e8eded; margin: 0; }
.theme-v2-version4 .ws-markdown { color: var(--ws-green); font-weight: 400; }
.theme-v2-version4 h1 .ws-markdown { font-size: 29px; vertical-align: 7px; }
.theme-v2-version4 .ws-cursor { color: var(--ws-green); animation: workspace-cursor 1.2s steps(1) 4; }
@keyframes workspace-cursor { 50% { opacity: 0; } }
.theme-v2-version4 .ws-intro { color: #d1dbdc; font: 16px/1.75 var(--ws-ui); margin-bottom: 16px; }
.theme-v2-version4 .ws-description { color: #a7b2b5; font: 13px/1.9 var(--ws-ui); max-width: 64ch; margin-bottom: 24px; }
.theme-v2-version4 .ws-readme-actions { display: flex; align-items: center; flex-wrap: wrap; gap: 14px 24px; margin-bottom: 38px; }
.theme-v2-version4 .ws-primary-link { display: inline-flex; align-items: center; justify-content: center; gap: 10px; min-height: 40px; padding: 10px 14px; background: var(--ws-green); color: #15251a; border: 1px solid var(--ws-green); border-radius: 4px; font: 600 12px/1.3 var(--ws-ui); }
.theme-v2-version4 .ws-primary-link:hover { background: #beddb7; }
.theme-v2-version4 .ws-inline-link { display: inline-flex; align-items: center; gap: 8px; min-height: 40px; color: #a5cbd4; font: 12px/1.4 var(--ws-ui); }
.theme-v2-version4 .ws-inline-link:hover { color: var(--ws-text); }
.theme-v2-version4 .ws-readme-section h2 { margin: 0 0 16px; font: 500 16px/1.5 var(--ws-mono); color: var(--ws-text); }
.theme-v2-version4 .ws-readme-section + .ws-readme-section { margin-top: 32px; }
.theme-v2-version4 .ws-capability { display: flex; align-items: center; gap: 10px; min-height: 45px; border-bottom: 1px solid #252d30; padding: 9px 0; font: 12px/1.6 var(--ws-ui); }
.theme-v2-version4 .ws-capability:hover { color: var(--ws-green); background: #1d2422; }
.theme-v2-version4 .ws-capability-check { color: #719789; font: 11px/1 var(--ws-mono); }
.theme-v2-version4 .ws-capability-stack { margin-left: auto; color: #8b989f; font: 10px/1 var(--ws-mono); padding-left: 10px; }
.theme-v2-version4 .ws-capability > .ws-icon { color: #6f8086; width: 13px; height: 13px; flex-basis: 13px; }
.theme-v2-version4 .ws-work-row { display: grid; grid-template-columns: 28px minmax(0, 1fr) 16px; align-items: center; gap: 12px; padding: 16px 0; border-bottom: 1px solid #252d30; }
.theme-v2-version4 .ws-work-row:hover strong { color: var(--ws-green); }
.theme-v2-version4 .ws-file-type { color: var(--ws-orange); font: 13px var(--ws-mono); }
.theme-v2-version4 .ws-file-python { color: var(--ws-cyan); }
.theme-v2-version4 .ws-work-row strong { display: block; color: #c5d1d3; font: 500 12px/1.5 var(--ws-ui); }
.theme-v2-version4 .ws-work-row small { display: block; color: #91a1a7; font: 10px/1.6 var(--ws-mono); margin-top: 5px; }
.theme-v2-version4 .ws-work-row > .ws-icon { color: #839298; }
.theme-v2-version4 .ws-readme-closing { margin-top: 28px; color: #82938a; font: 11px/1.8 var(--ws-mono); }
.theme-v2-version4 .ws-inspector { min-width: 0; border-left: 1px solid var(--ws-border); padding-left: 26px; }
.theme-v2-version4 .ws-inspector-section h2 { display: flex; align-items: center; gap: 8px; color: #b9c3c5; font: 11px/1.4 var(--ws-mono); margin: 0 0 24px; }
.theme-v2-version4 .ws-inspector-section h2 .ws-icon { color: var(--ws-orange); width: 14px; height: 14px; }
.theme-v2-version4 .ws-code-comment { color: #82938a; font: 11px/1.6 var(--ws-mono); margin-bottom: 16px; }
.theme-v2-version4 .ws-manifest { font: 10px/1.8 var(--ws-mono); }
.theme-v2-version4 .ws-manifest > div { margin-bottom: 12px; }
.theme-v2-version4 .ws-manifest dt { display: inline; color: #a1b1b8; }
.theme-v2-version4 .ws-manifest dt::after { content: " = "; color: #6b797f; }
.theme-v2-version4 .ws-manifest dd { display: inline; margin: 0; color: var(--ws-green); }
.theme-v2-version4 .ws-manifest-note { font: 10px/2 var(--ws-mono); margin-top: 24px; }
.theme-v2-version4 .ws-manifest-note p { margin-top: 10px; color: #a1b1b8; }
.theme-v2-version4 .ws-art-preview { margin: 30px 0 0; padding-top: 22px; border-top: 1px solid var(--ws-border); }
.theme-v2-version4 .ws-art-preview figcaption { display: flex; align-items: center; gap: 7px; color: #a1b1b8; font: 9px/1.6 var(--ws-mono); overflow-wrap: anywhere; margin-bottom: 12px; }
.theme-v2-version4 .ws-art-preview figcaption .ws-icon { width: 12px; height: 12px; flex-basis: 12px; color: var(--ws-cyan); }
.theme-v2-version4 .ws-preview-button { display: block; position: relative; padding: 0; width: 100%; border: 1px solid var(--ws-border); background: var(--ws-deep); }
.theme-v2-version4 .ws-preview-button img { display: block; width: 100%; height: auto; aspect-ratio: 16 / 9; }
.theme-v2-version4 .ws-preview-button > span { position: absolute; right: 6px; bottom: 6px; background: #20292de6; color: #d2e1e6; padding: 6px; border: 1px solid #485c65; }
.theme-v2-version4 .ws-art-preview > p { margin-top: 10px; color: #82939a; font: 9px/1.5 var(--ws-mono); }
.theme-v2-version4 .ws-inspector-contact { margin-top: 32px; border-top: 1px solid var(--ws-border); padding-top: 22px; font: 11px/1.7 var(--ws-ui); color: #9aa9af; }
.theme-v2-version4 .ws-inspector-contact a { display: inline-flex; gap: 12px; align-items: center; min-height: 40px; color: var(--ws-green); }
.theme-v2-version4 .ws-document-end { max-width: 1280px; padding: 24px 34px 30px 62px; margin-inline: auto; display: flex; gap: 18px; color: #6e8086; font: 9px/1.7 var(--ws-mono); }
.theme-v2-version4 .ws-document-end > :first-child { color: #a1afa9; }
.theme-v2-version4 .ws-terminal { grid-row: 3; min-width: 0; min-height: 0; display: grid; grid-template-columns: minmax(0, 1fr); grid-template-rows: 37px minmax(0, 1fr) 42px; border-top: 1px solid #3a4449; background: #121617; }
.theme-v2-version4 :is(.ws-terminal-bar, .ws-terminal-output, .ws-terminal-form) { min-width: 0; }
.theme-v2-version4 .ws-terminal-bar { display: flex; gap: 24px; align-items: center; border-bottom: 1px solid #242e31; padding: 0 14px 0 22px; }
.theme-v2-version4 .ws-terminal-tab { display: flex; align-items: center; align-self: stretch; border-bottom: 2px solid var(--ws-green); color: #d0dddb; font: 10px/1 var(--ws-ui); }
.theme-v2-version4 .ws-shell-name { margin-left: auto; color: #879797; font: 10px/1 var(--ws-mono); }
.theme-v2-version4 .ws-terminal-tools { display: flex; gap: 3px; }
.theme-v2-version4 .ws-terminal-output { min-height: 0; overflow-y: auto; padding: 16px 24px 4px; color: #bdcbcb; font: 11px/1.65 var(--ws-mono); overflow-wrap: anywhere; scrollbar-width: thin; }
.theme-v2-version4 .ws-terminal-output .frontier-console-entry { margin-bottom: 14px; }
.theme-v2-version4 .ws-terminal-output .frontier-console-echo { color: #88b992; margin-bottom: 7px; }
.theme-v2-version4 .ws-terminal-output p { white-space: pre-wrap; }
.theme-v2-version4 .ws-terminal-links { display: flex; flex-wrap: wrap; gap: 2px 20px; }
.theme-v2-version4 .ws-terminal-links a { color: var(--ws-cyan); min-height: 30px; display: inline-flex; align-items: center; }
.theme-v2-version4 .ws-terminal-links a:hover { color: var(--ws-green); text-decoration: underline; }
.theme-v2-version4 .ws-terminal-form { display: flex; align-items: center; gap: 12px; padding: 0 14px 4px 24px; font: 11px/1 var(--ws-mono); }
.theme-v2-version4 .ws-terminal-form label { white-space: nowrap; }
.theme-v2-version4 .ws-terminal-form input { min-width: 0; flex: 1; height: 36px; background: transparent; color: #d3e0df; border: 0; border-radius: 0; font: 12px/1 var(--ws-mono); padding: 8px 0; caret-color: var(--ws-green); }
.theme-v2-version4 .ws-terminal-form input:focus { border: 0; outline: none; box-shadow: none; }
.theme-v2-version4 .ws-terminal-form:focus-within { box-shadow: inset 2px 0 0 var(--ws-green); }
.theme-v2-version4 .ws-terminal-form input::placeholder { color: #829093; }
.theme-v2-version4 .ws-terminal-help { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 6px 32px; max-width: 700px; margin-bottom: 12px; }
.theme-v2-version4 .ws-terminal-help > div { display: grid; grid-template-columns: 130px minmax(0, 1fr); gap: 10px; }
.theme-v2-version4 .ws-terminal-help dt { color: var(--ws-cyan); }
.theme-v2-version4 .ws-statusbar { display: flex; align-items: center; min-width: 0; gap: 20px; padding-left: 15px; border-top: 1px solid #35413d; background: #1e2925; color: #b0c3b9; font: 10px/1 var(--ws-mono); }
.theme-v2-version4 .ws-status-project, .theme-v2-version4 .ws-status-terminal { display: inline-flex; align-items: center; gap: 7px; min-height: 31px; }
.theme-v2-version4 .ws-statusbar .ws-icon { width: 13px; height: 13px; flex-basis: 13px; }
.theme-v2-version4 .ws-status-terminal { padding: 0 4px; background: transparent; border: 0; }
.theme-v2-version4 .ws-status-terminal:hover { background: #34463e; }
.theme-v2-version4 .ws-status-location { margin-left: auto; }
.theme-v2-version4 .site-theme-picker.site-theme-picker { position: relative; right: auto; bottom: auto; align-self: stretch; font: 10px/1 var(--ws-mono); }
.theme-v2-version4 .site-theme-picker.site-theme-picker summary { min-height: 31px; height: 100%; border: 0; border-left: 1px solid #35483e; background: transparent; padding: 4px 12px; }
.theme-v2-version4 .site-theme-picker.site-theme-picker .site-theme-picker-swatch { width: 8px; height: 8px; flex-basis: 8px; border: 0; }
.theme-v2-version4 .site-theme-picker.site-theme-picker nav { width: min(320px, calc(100vw - 24px)); max-height: min(500px, 80dvh); bottom: calc(100% + 6px); right: 6px; line-height: 1.4; }
.theme-v2-version4 .ws-image-dialog { width: min(1300px, calc(100vw - 32px)); max-height: calc(100dvh - 32px); margin: auto; padding: 0; border: 1px solid #4b585f; background: var(--ws-bg); color: var(--ws-text); }
.theme-v2-version4 .ws-image-dialog::backdrop { background: #080a0ded; }
.theme-v2-version4 .ws-image-dialog-bar { display: flex; justify-content: space-between; align-items: center; min-height: 44px; gap: 12px; padding: 5px 12px; font: 11px/1.4 var(--ws-mono); overflow-wrap: anywhere; }
.theme-v2-version4 .ws-image-dialog > img { display: block; width: 100%; height: auto; max-height: calc(100dvh - 80px); object-fit: contain; }

/* Compact document variants and the shared Rails pages use the same editor surface. */
.theme-v2-version4 .ws-file-content { padding: 30px 48px 40px; max-width: 1000px; margin: auto; }
.theme-v2-version4 .ws-file-content > h1 { margin: 0 0 20px; font: 600 32px/1.3 var(--ws-mono); color: var(--ws-text); overflow-wrap: anywhere; }
.theme-v2-version4 .ws-file-intro { max-width: 68ch; margin-bottom: 26px; font: 14px/1.8 var(--ws-ui); color: #aab8bc; }
.theme-v2-version4 .ws-service-definition { display: block; padding: 24px 0; border-top: 1px solid var(--ws-border); }
.theme-v2-version4 .ws-service-definition > span:first-child { font: 11px/1.6 var(--ws-mono); }
.theme-v2-version4 .ws-service-definition h2 { display: flex; justify-content: space-between; align-items: center; gap: 20px; margin-block: 12px; font: 600 18px/1.5 var(--ws-ui); color: var(--ws-text); }
.theme-v2-version4 .ws-service-definition:hover h2 { color: var(--ws-green); }
.theme-v2-version4 .ws-service-definition h2 > .ws-icon { color: var(--ws-muted); }
.theme-v2-version4 .ws-service-definition p { color: #aab8bc; font: 13px/1.8 var(--ws-ui); }
.theme-v2-version4 .ws-service-stack { display: block; font: 11px/1.7 var(--ws-mono); color: var(--ws-green); margin-top: 14px; }
.theme-v2-version4 .ws-service-stack > span { color: #a9bac1; }
.theme-v2-version4 .ws-document > section:not(.ws-file-content) { padding-block: 38px; }
.theme-v2-version4 .ws-document > section:not(.ws-file-content) > [class*="max-w-"] { width: 100%; max-width: 1000px; padding: 0 48px; }
.theme-v2-version4 .ws-document > section.bg-gray-950 { border-bottom: 1px solid var(--ws-border); }
.theme-v2-version4 .ws-document .bg-white, .theme-v2-version4 .ws-document .bg-gray-950 { background: var(--ws-bg); }
.theme-v2-version4 .ws-document .bg-gray-50, .theme-v2-version4 .ws-document .bg-gray-100 { background: var(--ws-panel); }
.theme-v2-version4 .ws-document :is(.text-white, .text-gray-900, .text-gray-800) { color: var(--ws-text); }
.theme-v2-version4 .ws-document :is(.text-gray-700, .text-gray-600, .text-gray-500, .text-gray-400, .text-gray-300) { color: #a4b2b7; }
.theme-v2-version4 .ws-document :is(.border-gray-100, .border-gray-200, .border-gray-300) { border-color: var(--ws-border); }
.theme-v2-version4 .ws-document :is(.bg-gray-900, a.bg-gray-900, button.bg-gray-900) { background: var(--ws-green); color: #15251a; }
.theme-v2-version4 .ws-document :is(a.bg-gray-900, button.bg-gray-900):hover { background: #bbdeb3; }
.theme-v2-version4 .ws-document :is(h1, h2, h3) { font-family: var(--ws-mono); color: var(--ws-text); }
.theme-v2-version4 .ws-document > section:not(.ws-file-content) h1 { font-size: 34px; line-height: 1.25; font-weight: 600; overflow-wrap: anywhere; }
.theme-v2-version4 .ws-document > section:not(.ws-file-content) :is(h2, h3) { font-size: 23px; line-height: 1.4; }
.theme-v2-version4 .ws-document > section:not(.ws-file-content) p { font-family: var(--ws-ui); font-size: 14px; line-height: 1.85; }
.theme-v2-version4 .ws-document :is(.rounded-xl, .rounded-2xl, .rounded-lg) { border-radius: 4px; }
.theme-v2-version4 .ws-document :is(.shadow-lg, .shadow-xl, .shadow-md) { box-shadow: none; }
.theme-v2-version4 .ws-document :is(input, textarea, select) { width: 100%; background: #101617; color: var(--ws-text); border: 1px solid #48575d; border-radius: 4px; font: 14px/1.5 var(--ws-ui); }
.theme-v2-version4 .ws-document :is(input, textarea, select):focus { outline: 2px solid var(--ws-cyan); outline-offset: 1px; box-shadow: none; }
.theme-v2-version4 .ws-document label { font: 12px/1.6 var(--ws-ui); color: #bfcbce; }
.theme-v2-version4 .ws-document input::placeholder, .theme-v2-version4 .ws-document textarea::placeholder { color: #82949b; }
.theme-v2-version4 .ws-document .bg-red-50 { background: #351e23; }
.theme-v2-version4 .ws-document :is(.text-red-700, .text-red-800) { color: #f2b0b0; }
.theme-v2-version4 .ws-document .border-red-200 { border-color: #78444e; }
.theme-v2-version4 .ws-document .prose { color: #bcc9ce; --tw-prose-headings: var(--ws-text); --tw-prose-body: #bcc9ce; --tw-prose-bold: #e2ebee; --tw-prose-links: var(--ws-cyan); --tw-prose-code: var(--ws-green); }

/* The established page finder is restyled, not reimplemented. */
.theme-v2-version4 .terminal-finder { width: min(630px, calc(100% - 32px)); max-height: calc(100dvh - 40px); margin: min(12vh, 100px) auto 0; padding: 0; border: 1px solid #4a595f; border-radius: 6px; background: #1a2124; color: var(--ws-text); overflow: auto; }
.theme-v2-version4 .terminal-finder::backdrop { background: #090c10c9; }
.theme-v2-version4 .terminal-finder-heading { display: flex; align-items: center; justify-content: space-between; gap: 16px; padding: 12px 20px; }
.theme-v2-version4 .terminal-finder h2 { font: 500 14px/1.4 var(--ws-ui); }
.theme-v2-version4 .terminal-finder-query { display: flex; align-items: center; gap: 12px; margin-inline: 20px; padding-left: 12px; border: 1px solid #4f636b; border-radius: 4px; color: var(--ws-green); background: #12191b; }
.theme-v2-version4 .terminal-finder-query input { width: 100%; min-width: 0; height: 46px; border: 0; outline: 0; background: transparent; color: var(--ws-text); font: 13px var(--ws-mono); padding: 10px; box-shadow: none; }
.theme-v2-version4 .terminal-finder-query:focus-within { outline: 1px solid var(--ws-cyan); }
.theme-v2-version4 .terminal-finder-results { height: min(360px, 48dvh); overflow-y: auto; margin: 14px 10px; }
.theme-v2-version4 .terminal-finder-results a { display: grid; grid-template-columns: 155px minmax(0, 1fr) 14px; gap: 12px; align-items: center; min-height: 46px; padding: 12px; font: 12px/1.5 var(--ws-ui); border-left: 2px solid transparent; }
.theme-v2-version4 .terminal-result-command { color: var(--ws-cyan); font: 10px/1.5 var(--ws-mono); overflow-wrap: anywhere; }
.theme-v2-version4 .terminal-finder-results a:hover, .theme-v2-version4 .terminal-finder-results a:focus-visible { background: #2b393e; border-left-color: var(--ws-green); outline: none; }
.theme-v2-version4 .terminal-finder-query:focus-within + .terminal-finder-results [data-first] a { background: #263337; border-left-color: var(--ws-green); }
.theme-v2-version4 .terminal-finder-count { padding: 12px 20px; border-top: 1px solid var(--ws-border); color: #8fa6af; font: 10px/1.5 var(--ws-mono); }
.theme-v2-version4 .terminal-finder-empty { position: absolute; top: 180px; left: 20px; right: 20px; text-align: center; font: 13px/1.6 var(--ws-ui); }
.theme-v2-version4 .terminal-finder-empty button { min-height: 44px; color: var(--ws-cyan); padding: 10px; text-decoration: underline; }

@media (max-width: 1250px) {
  .theme-v2-version4 .ws-body { grid-template-columns: 44px 190px minmax(0, 1fr); }
  .theme-v2-version4[data-explorer-open="false"] .ws-body { grid-template-columns: 44px 0 minmax(0, 1fr); }
  .theme-v2-version4 .ws-activity-button { width: 43px; }
  .theme-v2-version4 .ws-readme { grid-template-columns: minmax(0, 1fr) 240px; gap: 22px; padding-right: 24px; padding-left: 14px; }
  .theme-v2-version4 .ws-inspector { padding-left: 20px; }
  .theme-v2-version4 h1#workspace-title { font-size: 40px; }
  .theme-v2-version4 .ws-line { gap: 12px; }
  .theme-v2-version4 .ws-capability-stack { display: none; }
  .theme-v2-version4 .ws-capability > .ws-icon { margin-left: auto; }
  .theme-v2-version4 .ws-tree-file { font-size: 10px; }
  .theme-v2-version4 .ws-explorer-note { font-size: 9px; }
}
@media (max-width: 1050px) {
  .theme-v2-version4 .ws-readme { grid-template-columns: minmax(0, 1fr); gap: 32px; }
  .theme-v2-version4 .ws-inspector { display: grid; grid-template-columns: 1fr 1fr; gap: 24px; border-left: 0; border-top: 1px solid var(--ws-border); padding: 26px 0 0 36px; }
  .theme-v2-version4 .ws-art-preview { border: 0; padding-top: 0; margin-top: 0; }
  .theme-v2-version4 .ws-inspector-contact { margin-top: 0; }
  .theme-v2-version4 .ws-brand { gap: 10px; }
}
@media (max-width: 850px) {
  .theme-v2-version4 { grid-template-rows: 52px minmax(0, 1fr) 44px; }
  .theme-v2-version4 .ws-body, .theme-v2-version4[data-explorer-open="false"] .ws-body { grid-template-columns: minmax(0, 1fr); }
  .theme-v2-version4 .ws-center { grid-column: 1; grid-template-rows: 46px minmax(0, 1fr) 210px; }
  .theme-v2-version4[data-terminal-open="false"] .ws-center { grid-template-rows: 46px minmax(0, 1fr) 0; }
  .theme-v2-version4[data-terminal-maximized="true"] .ws-center { grid-template-rows: 46px 0 minmax(0, 1fr); }
  .theme-v2-version4 .ws-activity { display: none; }
  .theme-v2-version4 .ws-explorer { grid-column: 1; grid-row: 1; position: absolute; z-index: 51; left: 0; top: 0; bottom: 0; width: 250px; border-right-color: #4b5c63; box-shadow: 8px 0 30px #0006; }
  .theme-v2-version4:not([data-workspace-ready]) .ws-explorer { display: none; }
  .theme-v2-version4 .ws-explorer-close { display: inline-flex; }
  .theme-v2-version4 .ws-explorer-heading { min-height: 48px; }
  .theme-v2-version4 .ws-tree-file, .theme-v2-version4 .ws-tree-folder > summary { min-height: 42px; font-size: 12px; }
  .theme-v2-version4 .ws-drawer-scrim { display: block; position: absolute; z-index: 50; inset: 0; background: #050a0d9c; border: 0; }
  .theme-v2-version4 .ws-titlebar { padding-inline: 14px; gap: 14px; }
  .theme-v2-version4 .ws-icon-button { width: 44px; height: 44px; flex-basis: 44px; }
  .theme-v2-version4 .ws-title-contact { min-height: 44px; }
  .theme-v2-version4 .ws-title-tools { gap: 4px; }
  .theme-v2-version4 .ws-search-launch { width: 220px; min-width: 44px; height: 38px; }
  .theme-v2-version4 .ws-buffer { min-height: 45px; padding-inline: 16px; }
  .theme-v2-version4 .ws-terminal { grid-template-rows: 45px minmax(0, 1fr) 44px; }
  .theme-v2-version4 .ws-terminal-tools { gap: 0; }
  .theme-v2-version4 .ws-terminal-bar { padding-right: 6px; }
  .theme-v2-version4 .ws-terminal-form input { font-size: 16px; height: 40px; }
  .theme-v2-version4 .ws-terminal-links a { min-height: 42px; }
  .theme-v2-version4 .ws-statusbar { gap: 14px; padding-left: 14px; }
  .theme-v2-version4 .ws-status-project { display: none; }
  .theme-v2-version4 .ws-status-terminal { min-height: 43px; }
  .theme-v2-version4 .site-theme-picker.site-theme-picker summary { min-height: 43px; }
  .theme-v2-version4 .ws-status-format { display: none; }
  .theme-v2-version4 .ws-terminal-help { grid-template-columns: minmax(0, 1fr); }
}
@media (max-width: 540px) {
  .theme-v2-version4 .ws-titlebar { gap: 6px; padding-inline: 10px; }
  .theme-v2-version4 .ws-brand { gap: 8px; margin-right: auto; }
  .theme-v2-version4 .ws-brand > :last-child { font-size: 10px; }
  .theme-v2-version4 .ws-brand-mark { font-size: 20px; }
  .theme-v2-version4 .ws-search-launch { width: 44px; min-width: 44px; height: 44px; justify-content: center; background: transparent; border: 0; padding: 0; }
  .theme-v2-version4 .ws-search-launch :is(span, kbd) { display: none; }
  .theme-v2-version4 .ws-title-contact { width: 44px; justify-content: center; }
  .theme-v2-version4 .ws-title-contact > span { display: none; }
  .theme-v2-version4 .ws-title-tools { gap: 0; }
  .theme-v2-version4 .ws-breadcrumb { padding: 10px 16px; font-size: 9px; }
  .theme-v2-version4 .ws-readme { padding: 24px 18px 16px 4px; }
  .theme-v2-version4 .ws-line { grid-template-columns: 18px minmax(0, 1fr); gap: 10px; }
  .theme-v2-version4 .ws-line-number { font-size: 9px; }
  .theme-v2-version4 .ws-readme-comment { margin-bottom: 18px; }
  .theme-v2-version4 .ws-readme-comment p { font-size: 9px; }
  .theme-v2-version4 h1#workspace-title { font-size: 33px; }
  .theme-v2-version4 h1 .ws-markdown { font-size: 20px; vertical-align: 5px; }
  .theme-v2-version4 .ws-intro { font-size: 15px; }
  .theme-v2-version4 .ws-description { font-size: 13px; }
  .theme-v2-version4 .ws-readme-actions { gap: 8px 16px; margin-bottom: 30px; }
  .theme-v2-version4 .ws-primary-link, .theme-v2-version4 .ws-inline-link { min-height: 44px; font-size: 11px; }
  .theme-v2-version4 .ws-primary-link { padding-inline: 10px; }
  .theme-v2-version4 .ws-readme-section h2 { font-size: 14px; }
  .theme-v2-version4 .ws-capability { min-height: 48px; font-size: 12px; gap: 8px; }
  .theme-v2-version4 .ws-inspector { grid-template-columns: 1fr; padding-left: 28px; }
  .theme-v2-version4 .ws-art-preview { max-width: 420px; }
  .theme-v2-version4 .ws-manifest { font-size: 11px; }
  .theme-v2-version4 .ws-document-end { padding: 20px 18px 26px 32px; font-size: 8px; gap: 12px; }
  .theme-v2-version4 .ws-status-location { display: none; }
  .theme-v2-version4 .site-theme-picker.site-theme-picker { margin-left: auto; }
  .theme-v2-version4 .ws-terminal-bar { gap: 14px; padding-left: 14px; }
  .theme-v2-version4 .ws-terminal-output { padding: 12px 14px 4px; font-size: 10px; }
  .theme-v2-version4 .ws-terminal-form { padding-left: 14px; gap: 8px; }
  .theme-v2-version4 .ws-terminal-form label { font-size: 10px; }
  .theme-v2-version4 .ws-file-content { padding: 24px 22px; }
  .theme-v2-version4 .ws-document > section:not(.ws-file-content) > [class*="max-w-"] { padding-inline: 22px; }
  .theme-v2-version4 .ws-document :is(input, textarea, select) { font-size: 16px; }
  .theme-v2-version4 .ws-file-content > h1 { font-size: 26px; }
  .theme-v2-version4 .ws-document > section:not(.ws-file-content) h1 { font-size: 26px; }
  .theme-v2-version4 .ws-document > section:not(.ws-file-content) :is(h2, h3) { font-size: 20px; }
  .theme-v2-version4 .ws-document > section:not(.ws-file-content) .grid { grid-template-columns: minmax(0, 1fr); }
  .theme-v2-version4 .terminal-finder { margin-top: 16px; }
  .theme-v2-version4 .terminal-finder-query input { font-size: 16px; }
  .theme-v2-version4 .terminal-finder-results a { grid-template-columns: minmax(0, 1fr) 14px; gap: 5px; }
  .theme-v2-version4 .terminal-result-command { grid-column: 1; }
  .theme-v2-version4 .terminal-finder-results a > :nth-child(2) { grid-column: 1; }
  .theme-v2-version4 .terminal-finder-results a > :last-child { grid-column: 2; grid-row: 1 / 3; }
}
@media (max-width: 360px) {
  .theme-v2-version4 .ws-brand > :last-child { display: none; }
  .theme-v2-version4 h1#workspace-title { font-size: 28px; }
  .theme-v2-version4 .ws-terminal-bar { gap: 8px; }
  .theme-v2-version4 .ws-shell-name { display: none; }
  .theme-v2-version4 .ws-terminal-tools { margin-left: auto; }
}
@media (prefers-reduced-motion: reduce) {
  .theme-v2-version4 *, .theme-v2-version4 *::before, .theme-v2-version4 *::after { animation: none !important; transition: none !important; scroll-behavior: auto !important; }
}