From b8f9417ffc62d118fa0094540830059048fd7b71 Mon Sep 17 00:00:00 2001 From: Andrew Polk Date: Mon, 3 Jun 2024 13:16:57 -0700 Subject: [PATCH] A couple tweaks to custom.css (#9) --- src/css/custom.css | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/css/custom.css b/src/css/custom.css index 14c45b2..2067a0f 100644 --- a/src/css/custom.css +++ b/src/css/custom.css @@ -41,6 +41,15 @@ border-top: solid white thin; */ } +/* Change from docusaurus default of roman numerals to letters */ +ol ol { + list-style-type: lower-alpha; +} + +/* Add bold to the heading part of the expandable details (e.g. the question of an FAQ) */ +details summary { + font-weight: var(--ifm-font-weight-bold); +} @media print {