diff options
author | eudoxia <uplink@distress.network> | 2022-04-01 10:26:23 -0400 |
---|---|---|
committer | eudoxia <uplink@distress.network> | 2022-04-01 10:26:23 -0400 |
commit | 1dee28e98606e77a1cef964781c8174bd1088dd0 (patch) | |
tree | a7b8402e8c70b5d7304665fdfa330f53f931f0da /gen-docs.sh | |
parent | eac46231ab86e3b6a3862c92323ee58fe1ee722b (diff) |
docs formatting fixes
Diffstat (limited to 'gen-docs.sh')
-rwxr-xr-x | gen-docs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gen-docs.sh b/gen-docs.sh index 747af12..f16fe21 100755 --- a/gen-docs.sh +++ b/gen-docs.sh @@ -1,7 +1,7 @@ #!/bin/sh -e tmp=$(mktemp -p /tmp) -css=".lp-ref {font-family: neue-haas-grotesk-text, var(--fs-sans); font-style: italic;}" +css="h3,.lp-ref {font-family: neue-haas-grotesk-text, var(--fs-sans); font-size: 1rem; font-weight: normal; font-style: italic;} h3 {margin: 1rem;}" for file in "data" "log" "tangle" "weave" ; do in="${file}.lp" ; out="doc/${file}.html" ; |