Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
944f60e
mobile(docs): tighten typography rhythm + reading-list layout
May 19, 2026
96de6e8
mobile(docs): right-edge fade on every overflowing code block
May 19, 2026
f42f287
mobile(docs): pagination tap, numbered-list polish, chip border weight
May 19, 2026
3b76ebe
mobile(docs): chip ellipsis instead of mid-word break on long paths
May 19, 2026
1d5cd3f
mobile(docs): keep table cells uncut + tabular numerals on tables
May 19, 2026
62544e2
ui(docs): scroll-margin on headings + reduced-motion respect
May 19, 2026
c0a6dbc
typography(docs): text-wrap pretty, hairline link underlines, teal tap
May 19, 2026
481c551
ui(docs): tap feedback for hero CTAs + heading anchors polish
May 19, 2026
ab197fb
mobile(docs): disable hyphenation inside table cells
May 19, 2026
5da3800
typography(docs): paper-style hr ornament + en-dash list markers
May 19, 2026
0c0a0df
mobile(docs): bigger paper icon inside "Read the paper" CTA
May 19, 2026
aab9d71
docs(site): style <details>/<summary> for future collapsible content
May 19, 2026
4965d0e
mobile(docs): tighter cell padding + smaller font in reference tables
May 19, 2026
dd09e68
mobile(docs): tap-active feedback on CodeCompareSwitcher tabs
May 19, 2026
bbf8bad
ui(docs): brand wordmark gets focus-visible + active states
May 19, 2026
2d4bca8
mobile(docs): compact Copy-page widget + kicker padding on small phones
May 19, 2026
8e545cd
ui(docs): dark-mode selection + <mark> styling
May 19, 2026
da812c7
dark(docs): retune Verity code panel for sustained-read comfort
May 19, 2026
b870e14
ui(docs): inline-code chips lift on link hover/focus
May 19, 2026
9a11c30
docs(site): style sup/sub/abbr for paper-style typography
May 19, 2026
e36dfd8
docs(site): lift dingbat hr visibility in dark mode
May 19, 2026
d1a6459
typography(docs): raise code-block line-height for sustained read
May 19, 2026
5e90b6a
dark(docs): soften hero italic emphasis to match code section markers
May 19, 2026
fa4cd8d
dark(docs): soften code-switcher kicker + report-callout top rule
May 19, 2026
c61bd51
dark(docs): soften callout left bar to match rest of dark palette
May 19, 2026
994de3e
ui(docs): style visited links inside the article body
May 19, 2026
3ff0b9b
mobile(docs): tighter asterism hr vertical margin on phones
May 19, 2026
1ad78a4
ui(docs): refine visited-link underline + accent mix
May 19, 2026
3aadf51
fix(docs): address Bugbot review on PR #1908
May 19, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 11 additions & 7 deletions docs-site/app/verity-code.css
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,10 @@ figure[data-rehype-pretty-code-figure] pre[data-language="verity"] {
}

.dark figure[data-rehype-pretty-code-figure] pre {
background: var(--verity-code-bg) !important;
/* Match the standalone-figure surface to the same --verity-code-surface
the rest of the site uses (and that the mobile right-edge fade ends
at), so there's no seam where the gradient meets the panel bg. */
background: var(--verity-code-surface) !important;
border: 1px solid var(--verity-rule) !important;
color: var(--verity-ink) !important;
}
Expand All @@ -19,28 +22,29 @@ figure[data-rehype-pretty-code-figure] pre[data-language="verity"] {
}

/* Dark-theme syntax remap: the bundled shiki theme is warm-amber. Push
highlights to cool teal/cyan/slate so code reads cold like the rest of
the dark theme. */
highlights to cool slate-teal so code reads cold like the rest of
the dark theme, but kept desaturated so the panel doesn't feel
over-saturated when many tokens land on screen. */
.dark figure[data-rehype-pretty-code-figure] span[style*="#D9B7FF"],
.dark figure[data-rehype-pretty-code-figure] span[style*="#D5B3FF"] {
color: #7DD3C0 !important;
color: #9FBEB6 !important;
}

.dark figure[data-rehype-pretty-code-figure] span[style*="#91C9FF"],
.dark figure[data-rehype-pretty-code-figure] span[style*="#86D6C8"] {
color: #A3E1D4 !important;
color: #A8BCB6 !important;
}

.dark figure[data-rehype-pretty-code-figure] span[style*="#A3E1D4"] {
color: #82E0CC !important;
color: #9FBEB6 !important;
}

.dark figure[data-rehype-pretty-code-figure] span[style*="#D7E4F2"] {
color: #C7D5D1 !important;
}

figure[data-rehype-pretty-code-figure] pre[data-language="verity"] code {
line-height: 1.62;
line-height: 1.72;
}

figure[data-rehype-pretty-code-figure] pre[data-language="verity"] code > span {
Expand Down
Loading
Loading