Skip to content

Centre the blueprint text and API docs welcome page; show the blueprint title once #52

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
KellyJDavis merged 1 commit into from
Oct 29, 2026
Merged

Centre the blueprint text and API docs welcome page; show the blueprint title once #52

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
4 changes: 3 additions & 1 deletion CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,9 @@ file is where its history lives.
The first release, 1.0, is in preparation.

- The Jekyll home page is retired: the Verso website is served at the root, with redirects from the
old page URLs, and the Lean and Mathlib versions are stated in `README.md` alone.
old page URLs, and the Lean and Mathlib versions are stated in `README.md` alone. The blueprint's
text column and the API docs' welcome page are centred as in the books, and the web blueprint's
title block appears once.

- Causal precedence `≺` is reflexive, as in Hawking–Ellis: `CausallyPrecedes` is the reflexive-transitive
closure of causal segment precedence, so `p ≺ p` and `p ∈ J^±(p)`. `IsCausalTrip` is the strict relation,
Expand Down
1 change: 0 additions & 1 deletion blueprint/src/content.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
\input{sections/sec0/abstract}
\maketitle
\pagebreak

\tableofcontents
Expand Down
5 changes: 2 additions & 3 deletions blueprint/src/extra_styles.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -200,12 +200,11 @@ nav.toc a.toc-title:hover { color: var(--color-primary); }
span.expand-toc { color: var(--color-text-light); font-size: 75%; }
span.toc_ref { color: var(--color-text-light); }

/* Text column: as in the books, left-aligned beside the table of contents */
/* Text column: as in the books, centred in the space beside the table of contents */
div.content { padding: var(--space-6); line-height: 1.45; }
div.content-wrapper { max-width: var(--text-width); }
div.content-wrapper { max-width: var(--text-width); margin-left: auto; margin-right: auto; }
@media (min-width: 1024px) {
div.content { padding: var(--space-6) var(--space-6) var(--space-8); }
div.content-wrapper { margin-left: 0; margin-right: auto; }
}
div.content > p, div.main-text p { margin: var(--space-4) 0; }
ol, ul { font-size: var(--fs-base); }
Expand Down
4 changes: 4 additions & 0 deletions web/docs-theme/physicslib4-docs.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -273,6 +273,10 @@ main > .docs-page-name {
font-family: var(--font-code), 'JuliaMono', monospace; font-size: var(--fs-sm); line-height: 1.4;
}

/* The welcome page (index.html, the only page whose text is one heading and one line), centred
like the books' title pages */
main:has(> a#top:first-child + h1 + p:last-child) { text-align: center; }

/* Declarations: definitions and instances in the accent colour, the other kinds in doc-gen4's */
.def, .instance { border-left-color: var(--color-primary); border-top-color: var(--color-primary); }
.decl > div { border-radius: 0 var(--radius-md) var(--radius-md) 0; }
Expand Down
Loading