/* PROST -- one stylesheet, no framework. Replaces Bootstrap 5 + DataTables CSS. */ :root { --bg: #ffffff; --fg: #1b1f24; --muted: #5b6572; --line: #e2e6ea; --accent: #1f6feb; --accent-fg: #ffffff; --soft: #f6f8fa; --warn: #9a6700; --warn-bg: #fff8c5; --err: #b42318; --err-bg: #fef3f2; --mono: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace; } /* Dark palette, defined once and applied from two places: the system preference (unless the visitor has explicitly chosen light) and an explicit choice of dark. The toggle in the header sets data-theme on and remembers it. */ @media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) { --bg: #0d1117; --fg: #e6edf3; --muted: #9198a1; --line: #30363d; --accent: #4493f8; --accent-fg: #0d1117; --soft: #161b22; --warn: #d29922; --warn-bg: #2b2200; --err: #ff7b72; --err-bg: #2d1213; } } :root[data-theme="dark"] { --bg: #0d1117; --fg: #e6edf3; --muted: #9198a1; --line: #30363d; --accent: #4493f8; --accent-fg: #0d1117; --soft: #161b22; --warn: #d29922; --warn-bg: #2b2200; --err: #ff7b72; --err-bg: #2d1213; } /* NGL renders onto a white canvas, so the structure viewers keep a light surround in both themes rather than sitting in a dark hole. */ :root[data-theme="dark"] .viewport, :root:not([data-theme="light"]) .viewport { background: #fff; } * { box-sizing: border-box; } body { margin: 0; background: var(--bg); color: var(--fg); font: 16px/1.55 system-ui, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif; display: flex; flex-direction: column; min-height: 100vh; } a { color: var(--accent); text-decoration: none; } a:hover { text-decoration: underline; } .wrap { width: 100%; max-width: 1180px; margin: 0 auto; padding: 0 20px; } main { flex: 1 0 auto; padding: 28px 0 56px; } /* header ------------------------------------------------------------------ */ header { border-bottom: 1px solid var(--line); background: var(--soft); } header .wrap { display: flex; align-items: center; gap: 22px; min-height: 58px; flex-wrap: wrap; padding: 10px 20px; } .brand { font-weight: 700; font-size: 20px; letter-spacing: .5px; color: var(--fg); } header nav { display: flex; gap: 18px; flex-wrap: wrap; } header nav a { color: var(--muted); font-size: 15px; } header nav a:hover, header nav a[aria-current] { color: var(--fg); } header .spacer { margin-left: auto; } @media (max-width: 640px) { header .wrap { gap: 10px 16px; } header .spacer { display: none; } } /* footer ------------------------------------------------------------------ */ footer { flex-shrink: 0; border-top: 1px solid var(--line); background: var(--soft); color: var(--muted); font-size: 14px; padding: 16px 0; } footer .wrap { display: flex; align-items: center; gap: 18px; flex-wrap: wrap; } footer .spacer { margin-left: auto; } footer a { color: var(--muted); } footer a:hover { color: var(--fg); } /* typography -------------------------------------------------------------- */ h1 { font-size: 28px; margin: 0 0 18px; } h2 { font-size: 21px; margin: 32px 0 12px; } h3 { font-size: 17px; margin: 22px 0 8px; } p { margin: 0 0 12px; } .lede { color: var(--muted); } .cols { display: grid; grid-template-columns: 1fr 1fr; gap: 36px; align-items: start; } @media (max-width: 860px) { .cols { grid-template-columns: 1fr; gap: 24px; } } /* forms ------------------------------------------------------------------- */ label { display: block; font-weight: 600; font-size: 14px; margin: 0 0 5px; } textarea, input, select { width: 100%; padding: 9px 11px; border: 1px solid var(--line); border-radius: 7px; background: var(--bg); color: var(--fg); font-size: 15px; font-family: inherit; } textarea { font-family: var(--mono); font-size: 13px; resize: vertical; min-height: 165px; } input:focus, textarea:focus, select:focus { outline: 2px solid var(--accent); outline-offset: -1px; } .field { margin: 0 0 15px; } .row2 { display: grid; grid-template-columns: 1fr 1fr; gap: 15px; } .hint { color: var(--muted); font-size: 13px; margin-top: 4px; } button, .btn { display: inline-block; padding: 9px 17px; border: 1px solid transparent; border-radius: 7px; background: var(--accent); color: var(--accent-fg); font: inherit; font-weight: 600; font-size: 15px; cursor: pointer; } button:hover, .btn:hover { filter: brightness(1.08); text-decoration: none; } button:disabled { opacity: .55; cursor: default; } .btn-ghost { background: transparent; color: var(--fg); border-color: var(--line); } .actions { display: flex; gap: 10px; flex-wrap: wrap; margin: 18px 0; } /* alerts ------------------------------------------------------------------ */ .alert { padding: 11px 14px; border-radius: 7px; margin: 0 0 16px; font-size: 15px; } .alert-err { background: var(--err-bg); color: var(--err); border: 1px solid currentColor; } .alert-warn { background: var(--warn-bg); color: var(--warn); border: 1px solid currentColor; } .hidden { display: none !important; } /* tables ------------------------------------------------------------------ */ .tablebar { display: flex; gap: 12px; align-items: center; flex-wrap: wrap; margin: 0 0 10px; font-size: 14px; color: var(--muted); } .tablebar input { width: auto; flex: 0 1 260px; padding: 6px 10px; font-size: 14px; } .tablebar .grow { margin-left: auto; } .scroll { overflow-x: auto; border: 1px solid var(--line); border-radius: 8px; } table { border-collapse: collapse; width: 100%; font-size: 14px; } th, td { padding: 7px 11px; text-align: left; border-bottom: 1px solid var(--line); white-space: nowrap; } th { background: var(--soft); font-weight: 600; position: sticky; top: 0; cursor: pointer; user-select: none; } th[data-nosort] { cursor: default; } th .arrow { color: var(--muted); font-size: 11px; margin-left: 4px; } tbody tr:nth-child(even) { background: color-mix(in srgb, var(--soft) 55%, transparent); } td.wrap-cell { white-space: normal; min-width: 240px; } td.num { font-variant-numeric: tabular-nums; } .pager { display: flex; gap: 8px; align-items: center; margin-top: 10px; font-size: 14px; color: var(--muted); } .pager button { padding: 4px 11px; font-size: 14px; background: transparent; color: var(--fg); border-color: var(--line); border-style: solid; } /* misc -------------------------------------------------------------------- */ .seq { font-family: var(--mono); font-size: 12px; word-break: break-all; color: var(--muted); } .cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); gap: 16px; } .card { border: 1px solid var(--line); border-radius: 8px; padding: 14px 16px; background: var(--soft); } .card h3 { margin-top: 0; } .card dl { display: grid; grid-template-columns: 1fr auto; gap: 3px 14px; margin: 0; font-size: 14px; } .card dt { color: var(--muted); } .card dd { margin: 0; font-variant-numeric: tabular-nums; text-align: right; } /* The alignment markup carries inline background-color highlights chosen against a white page, so it keeps a light surface in both themes rather than inheriting one. */ .aln { overflow-x: auto; border: 1px solid var(--line); border-radius: 8px; padding: 12px; background: #fff; color: #1b1f24; } .aln pre { margin: 0; font-family: var(--mono); font-size: 12px; line-height: 1.45; } .spinner { width: 30px; height: 30px; border: 3px solid var(--line); border-top-color: var(--accent); border-radius: 50%; animation: spin 0.9s linear infinite; margin: 22px 0; } @keyframes spin { to { transform: rotate(360deg); } } @media (prefers-reduced-motion: reduce) { .spinner { animation-duration: 3s; } } ul.gloss { margin: 0 0 12px; padding-left: 20px; color: var(--muted); font-size: 14px; } ul.gloss li { margin-bottom: 3px; } /* theme toggle ------------------------------------------------------------ */ .themebtn { border: 1px solid var(--line); background: transparent; color: var(--muted); border-radius: 7px; padding: 4px 9px; font: inherit; font-size: 14px; cursor: pointer; line-height: 1.4; } .themebtn:hover { color: var(--fg); border-color: var(--muted); } /* structure viewers ------------------------------------------------------- */ .viewers { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; margin: 0 0 18px; } .viewers.solo { grid-template-columns: 1fr; max-width: 620px; } .viewers .stack { display: grid; grid-template-rows: 1fr 1fr; gap: 16px; } .viewers figure { margin: 0; display: flex; flex-direction: column; gap: 6px; } .viewers figcaption { color: var(--muted); font-size: 13px; } .viewport { border: 1px solid var(--line); border-radius: 8px; overflow: hidden; } .viewport.big { height: 430px; } .viewport.small { height: 196px; } @media (max-width: 860px) { .viewers, .viewers .stack { grid-template-columns: 1fr; } .viewport.big { height: 340px; } } /* Columns table.js marks as droppable on a narrow screen. */ @media (max-width: 720px) { .narrow-hide { display: none; } } /* waiting page ------------------------------------------------------------ */ .waitbox { display: flex; align-items: center; gap: 20px; margin: 20px 0 24px; } .waitbox .spinner { margin: 0; flex-shrink: 0; } .waitbox p { margin: 0 0 4px; } .waitstate { font-size: 18px; font-weight: 600; } .hidden { display: none; }