From 334903bb9d7b7475666dcbb2c30b8d92339615a8 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Wed, 9 Nov 2022 16:30:40 -0800 Subject: 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. --- test/lhs-test.html | 5 +---- test/lhs-test.html+lhs | 5 +---- test/writer.html4 | 5 +---- test/writer.html5 | 5 +---- 4 files changed, 4 insertions(+), 16 deletions(-) (limited to 'test') diff --git a/test/lhs-test.html b/test/lhs-test.html index b8e5efca7..d1c1ae5e3 100644 --- a/test/lhs-test.html +++ b/test/lhs-test.html @@ -7,9 +7,6 @@ lhs-test