diff --git a/CHANGELOG.md b/CHANGELOG.md index 9073364..bf0515b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -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, diff --git a/blueprint/src/content.tex b/blueprint/src/content.tex index ea6fa18..dd43ac6 100644 --- a/blueprint/src/content.tex +++ b/blueprint/src/content.tex @@ -1,5 +1,4 @@ \input{sections/sec0/abstract} -\maketitle \pagebreak \tableofcontents diff --git a/blueprint/src/extra_styles.css b/blueprint/src/extra_styles.css index 29a0220..6c2114f 100644 --- a/blueprint/src/extra_styles.css +++ b/blueprint/src/extra_styles.css @@ -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); } diff --git a/web/docs-theme/physicslib4-docs.css b/web/docs-theme/physicslib4-docs.css index 6cfc869..6e27f5a 100644 --- a/web/docs-theme/physicslib4-docs.css +++ b/web/docs-theme/physicslib4-docs.css @@ -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; }