From e4493c1edfbcbdd65dcbc0a9b3221fd4ccec548a Mon Sep 17 00:00:00 2001 From: Eric Scouten Date: Thu, 13 Jun 2024 19:08:08 -0700 Subject: [PATCH] Make h5 bold --- src/css/doc.css | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/css/doc.css b/src/css/doc.css index 3c13331..63f4205 100644 --- a/src/css/doc.css +++ b/src/css/doc.css @@ -70,7 +70,8 @@ } .doc h3:not(.discrete), -.doc h4:not(.discrete) { +.doc h4:not(.discrete), +.doc h5:not(.discrete) { /* scouten [2024-06-13]: Added h5 to this list */ font-weight: var(--alt-heading-font-weight); }