Merge branch 'main' into local

creator-assertions · Jun 14, 2024 · d097a60 · d097a60
2 parents 9d3889d + e4493c1
commit d097a60
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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);
 }