Richie
03f610feed
treefmt / nix fmt (pull_request) Successful in 5s
pytest / pytest (pull_request) Successful in 37s
build_systems / build-leviathan (pull_request) Successful in 1m20s
build_systems / build-jeeves (pull_request) Successful in 2m57s
build_systems / build-brain (pull_request) Successful in 3m3s
build_systems / build-rhapsody-in-green (pull_request) Successful in 3m25s
build_systems / build-bob (pull_request) Successful in 32m7s
treefmt / nix fmt (push) Successful in 5s
pytest / pytest (push) Successful in 26s
build_systems / build-brain (push) Successful in 31s
build_systems / build-bob (push) Successful in 34s
build_systems / build-leviathan (push) Successful in 41s
build_systems / build-rhapsody-in-green (push) Successful in 46s
build_systems / build-jeeves (push) Successful in 2m10s
415 lines
7.0 KiB
CSS
415 lines
7.0 KiB
CSS
:root {
|
|
--bg: #f4f5f7;
|
|
--surface: #ffffff;
|
|
--border: #e3e5ea;
|
|
--text: #1c1f24;
|
|
--muted: #6b7280;
|
|
--accent: #4f46e5;
|
|
--accent-soft: #eef0fe;
|
|
--danger: #b42318;
|
|
--warn-bg: #fff8eb;
|
|
--warn-border: #e0a92e;
|
|
--warn-text: #7a5008;
|
|
--radius: 12px;
|
|
--shadow: 0 1px 2px rgba(16, 24, 40, 0.04), 0 1px 3px rgba(16, 24, 40, 0.08);
|
|
}
|
|
|
|
html.theme-dark {
|
|
--bg: #0f1117;
|
|
--surface: #1a1d25;
|
|
--border: #2b303b;
|
|
--text: #e6e8ec;
|
|
--muted: #9aa1ad;
|
|
--accent: #818cf8;
|
|
--accent-soft: #262b45;
|
|
--danger: #f97066;
|
|
--warn-bg: #2a2410;
|
|
--warn-border: #b9881f;
|
|
--warn-text: #e8c97a;
|
|
--shadow: 0 1px 2px rgba(0, 0, 0, 0.3), 0 1px 3px rgba(0, 0, 0, 0.4);
|
|
color-scheme: dark;
|
|
}
|
|
|
|
* {
|
|
box-sizing: border-box;
|
|
}
|
|
|
|
body {
|
|
margin: 0;
|
|
background: var(--bg);
|
|
color: var(--text);
|
|
font-family: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
|
|
line-height: 1.55;
|
|
}
|
|
|
|
main {
|
|
max-width: 820px;
|
|
margin: 0 auto;
|
|
padding: 32px 20px 64px;
|
|
}
|
|
|
|
/* Header / nav */
|
|
.site-header {
|
|
background: var(--surface);
|
|
border-bottom: 1px solid var(--border);
|
|
position: sticky;
|
|
top: 0;
|
|
z-index: 10;
|
|
}
|
|
|
|
.site-nav {
|
|
max-width: 820px;
|
|
margin: 0 auto;
|
|
padding: 12px 20px;
|
|
display: flex;
|
|
align-items: center;
|
|
gap: 20px;
|
|
}
|
|
|
|
.brand {
|
|
font-weight: 700;
|
|
font-size: 1.05rem;
|
|
color: var(--text);
|
|
text-decoration: none;
|
|
}
|
|
|
|
.nav-links {
|
|
display: flex;
|
|
gap: 6px;
|
|
margin-right: auto;
|
|
}
|
|
|
|
.nav-links a {
|
|
padding: 6px 12px;
|
|
border-radius: 8px;
|
|
color: var(--muted);
|
|
text-decoration: none;
|
|
font-size: 0.94rem;
|
|
transition: background 0.15s, color 0.15s;
|
|
}
|
|
|
|
.nav-links a:hover {
|
|
background: var(--accent-soft);
|
|
color: var(--accent);
|
|
}
|
|
|
|
.dev-toggle {
|
|
display: inline-flex;
|
|
align-items: center;
|
|
gap: 6px;
|
|
font-size: 0.85rem;
|
|
color: var(--muted);
|
|
cursor: pointer;
|
|
user-select: none;
|
|
}
|
|
|
|
.theme-toggle {
|
|
display: inline-flex;
|
|
align-items: center;
|
|
justify-content: center;
|
|
width: 34px;
|
|
height: 34px;
|
|
padding: 0;
|
|
font-size: 1rem;
|
|
line-height: 1;
|
|
color: var(--text);
|
|
background: var(--bg);
|
|
border: 1px solid var(--border);
|
|
border-radius: 8px;
|
|
cursor: pointer;
|
|
}
|
|
|
|
.theme-toggle:hover {
|
|
border-color: var(--accent);
|
|
filter: none;
|
|
}
|
|
|
|
h1 {
|
|
font-size: 1.6rem;
|
|
margin: 0 0 20px;
|
|
}
|
|
|
|
h2 {
|
|
font-size: 1.15rem;
|
|
margin: 0 0 8px;
|
|
}
|
|
|
|
/* Cards */
|
|
.card {
|
|
background: var(--surface);
|
|
border: 1px solid var(--border);
|
|
border-radius: var(--radius);
|
|
box-shadow: var(--shadow);
|
|
padding: 20px;
|
|
}
|
|
|
|
/* Search form */
|
|
form {
|
|
margin: 0;
|
|
}
|
|
|
|
label {
|
|
font-weight: 600;
|
|
font-size: 0.92rem;
|
|
}
|
|
|
|
textarea {
|
|
display: block;
|
|
width: 100%;
|
|
margin: 8px 0 16px;
|
|
padding: 12px 14px;
|
|
font: inherit;
|
|
color: var(--text);
|
|
background: var(--surface);
|
|
border: 1px solid var(--border);
|
|
border-radius: 10px;
|
|
resize: vertical;
|
|
transition: border-color 0.15s, box-shadow 0.15s;
|
|
}
|
|
|
|
textarea:focus {
|
|
outline: none;
|
|
border-color: var(--accent);
|
|
box-shadow: 0 0 0 3px var(--accent-soft);
|
|
}
|
|
|
|
.form-row {
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: space-between;
|
|
gap: 12px;
|
|
flex-wrap: wrap;
|
|
}
|
|
|
|
button {
|
|
padding: 10px 20px;
|
|
font: inherit;
|
|
font-weight: 600;
|
|
color: #fff;
|
|
background: var(--accent);
|
|
border: none;
|
|
border-radius: 10px;
|
|
cursor: pointer;
|
|
transition: filter 0.15s;
|
|
}
|
|
|
|
button:hover {
|
|
filter: brightness(1.08);
|
|
}
|
|
|
|
.check {
|
|
display: inline-flex;
|
|
gap: 8px;
|
|
align-items: center;
|
|
font-weight: 500;
|
|
color: var(--muted);
|
|
}
|
|
|
|
.actions {
|
|
display: flex;
|
|
flex-wrap: wrap;
|
|
gap: 12px;
|
|
margin-bottom: 24px;
|
|
}
|
|
|
|
/* Answer + results */
|
|
#results {
|
|
display: block;
|
|
margin-top: 28px;
|
|
}
|
|
|
|
.rank-label {
|
|
font-size: 0.82rem;
|
|
font-weight: 600;
|
|
text-transform: uppercase;
|
|
letter-spacing: 0.04em;
|
|
color: var(--muted);
|
|
margin-bottom: 16px;
|
|
}
|
|
|
|
.answer {
|
|
background: var(--surface);
|
|
border: 1px solid var(--border);
|
|
border-radius: var(--radius);
|
|
box-shadow: var(--shadow);
|
|
padding: 20px;
|
|
margin-bottom: 24px;
|
|
}
|
|
|
|
.answer p:last-child {
|
|
margin-bottom: 0;
|
|
}
|
|
|
|
.results {
|
|
list-style: none;
|
|
padding: 0;
|
|
margin: 0;
|
|
display: grid;
|
|
gap: 16px;
|
|
}
|
|
|
|
.results > li {
|
|
background: var(--surface);
|
|
border: 1px solid var(--border);
|
|
border-radius: var(--radius);
|
|
box-shadow: var(--shadow);
|
|
padding: 18px 20px;
|
|
}
|
|
|
|
.results h2 {
|
|
font-size: 1.05rem;
|
|
}
|
|
|
|
.results h2 a {
|
|
color: var(--text);
|
|
text-decoration: none;
|
|
}
|
|
|
|
.results h2 a:hover {
|
|
color: var(--accent);
|
|
}
|
|
|
|
.meta {
|
|
color: var(--muted);
|
|
font-size: 0.88rem;
|
|
margin: 0 0 10px;
|
|
}
|
|
|
|
.scores {
|
|
display: flex;
|
|
flex-wrap: wrap;
|
|
gap: 8px;
|
|
margin: 14px 0 0;
|
|
}
|
|
|
|
.scores div {
|
|
display: inline-flex;
|
|
gap: 6px;
|
|
align-items: baseline;
|
|
padding: 3px 10px;
|
|
background: var(--bg);
|
|
border: 1px solid var(--border);
|
|
border-radius: 999px;
|
|
font-size: 0.78rem;
|
|
}
|
|
|
|
.scores dt {
|
|
font-weight: 600;
|
|
color: var(--muted);
|
|
}
|
|
|
|
.scores dd {
|
|
margin: 0;
|
|
font-variant-numeric: tabular-nums;
|
|
}
|
|
|
|
/* Runtime — developer diagnostics, hidden unless dev mode is on */
|
|
.runtime {
|
|
display: none;
|
|
background: var(--surface);
|
|
border: 1px solid var(--border);
|
|
border-radius: var(--radius);
|
|
box-shadow: var(--shadow);
|
|
padding: 18px 20px;
|
|
margin-bottom: 24px;
|
|
}
|
|
|
|
html.dev .runtime {
|
|
display: block;
|
|
}
|
|
|
|
.timing-chart {
|
|
display: grid;
|
|
gap: 8px;
|
|
padding: 0;
|
|
margin: 12px 0 0;
|
|
list-style: none;
|
|
}
|
|
|
|
.timing-chart li {
|
|
display: grid;
|
|
grid-template-columns: minmax(150px, 1fr) minmax(160px, 2fr) auto auto;
|
|
gap: 10px;
|
|
align-items: center;
|
|
font-size: 0.85rem;
|
|
}
|
|
|
|
.timing-bar {
|
|
height: 8px;
|
|
overflow: hidden;
|
|
background: var(--bg);
|
|
border-radius: 999px;
|
|
}
|
|
|
|
.timing-bar span {
|
|
display: block;
|
|
height: 100%;
|
|
background: var(--accent);
|
|
border-radius: 999px;
|
|
}
|
|
|
|
.timing-value,
|
|
.timing-remaining {
|
|
color: var(--muted);
|
|
font-variant-numeric: tabular-nums;
|
|
text-align: right;
|
|
}
|
|
|
|
/* Tables */
|
|
table {
|
|
width: 100%;
|
|
border-collapse: collapse;
|
|
background: var(--surface);
|
|
border: 1px solid var(--border);
|
|
border-radius: var(--radius);
|
|
overflow: hidden;
|
|
}
|
|
|
|
th,
|
|
td {
|
|
padding: 10px 14px;
|
|
border-bottom: 1px solid var(--border);
|
|
text-align: left;
|
|
font-size: 0.9rem;
|
|
}
|
|
|
|
th {
|
|
font-weight: 600;
|
|
color: var(--muted);
|
|
background: var(--bg);
|
|
}
|
|
|
|
tbody tr:last-child td {
|
|
border-bottom: none;
|
|
}
|
|
|
|
dl dt {
|
|
font-weight: 600;
|
|
color: var(--muted);
|
|
font-size: 0.85rem;
|
|
}
|
|
|
|
dl dd {
|
|
margin: 0 0 12px;
|
|
}
|
|
|
|
/* States */
|
|
.error {
|
|
color: var(--danger);
|
|
font-weight: 600;
|
|
}
|
|
|
|
.notice {
|
|
margin: 12px 0;
|
|
padding: 10px 14px;
|
|
border-left: 3px solid var(--warn-border);
|
|
border-radius: 6px;
|
|
background: var(--warn-bg);
|
|
color: var(--warn-text);
|
|
font-weight: 500;
|
|
}
|
|
|
|
.status {
|
|
color: var(--muted);
|
|
}
|