diff options
| author | John MacFarlane <[email protected]> | 2022-11-09 16:30:40 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-11-09 17:03:12 -0800 |
| commit | 334903bb9d7b7475666dcbb2c30b8d92339615a8 (patch) | |
| tree | c47f1f0aaa0729a82760406ed53a5080a0d63ac9 /test/lhs-test.html+lhs | |
| parent | cb5e3ded121eda1fa768f6d80d7cecd49fd6ca39 (diff) | |
HTML template: remove default font size, line height...
...and font family in default inline css. Closes #8423
(see comments there for motivation). `mainfont`, `fontsize`,
and `linestretch` can still be used as before; the only difference
is that we no longer provide opinionated defaults.
This commit also adds a `maxwidth` variable that sets `max-width`;
if not set, 36em is used as a default.
Diffstat (limited to 'test/lhs-test.html+lhs')
| -rw-r--r-- | test/lhs-test.html+lhs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/test/lhs-test.html+lhs b/test/lhs-test.html+lhs index 492fe2fa1..19abfd187 100644 --- a/test/lhs-test.html+lhs +++ b/test/lhs-test.html+lhs @@ -7,9 +7,6 @@ <title>lhs-test</title> <style> html { - line-height: 1.5; - font-family: Georgia, serif; - font-size: 20px; color: #1a1a1a; background-color: #fdfdfd; } @@ -28,7 +25,7 @@ @media (max-width: 600px) { body { font-size: 0.9em; - padding: 1em; + padding: 12px; } h1 { font-size: 1.8em; |