Improve margins between sections

The default CSS puts almost no space between sections, but a lot of
space between subsections. This flips that around.
This commit is contained in:
Eelco Dolstra 2020-08-19 12:31:18 +02:00
parent 069340179e
commit 8a97b11374
No known key found for this signature in database
GPG Key ID: 8170B4726D7198DE
3 changed files with 10 additions and 1 deletions

2
doc/manual/book.toml Normal file
View File

@ -0,0 +1,2 @@
[output.html]
additional-css = ["custom.css"]

7
doc/manual/custom.css Normal file
View File

@ -0,0 +1,7 @@
h1:not(:first-of-type) {
margin-top: 1.3em;
}
h2 {
margin-top: 1em;
}

View File

@ -33,7 +33,7 @@ $(d)/nix.json: $(bindir)/nix
# Generate the HTML manual.
install: $(docdir)/manual/index.html
$(docdir)/manual/index.html: $(MANUAL_SRCS)
$(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/custom.css
$(trace-gen) mdbook build doc/manual -d $(docdir)/manual
@cp doc/manual/highlight.pack.js $(docdir)/manual/highlight.js