From be2e7edef46e3e1e2b788c6036cff1fcb4660c6f Mon Sep 17 00:00:00 2001 From: Matthew Hinson Date: Tue, 30 May 2023 16:17:26 +0200 Subject: [PATCH] Fix appearance of keyboard shortcuts inside definition lists --- resources/theme/css/theme_overrides.css | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/resources/theme/css/theme_overrides.css b/resources/theme/css/theme_overrides.css index 40cc44080..060d15f11 100644 --- a/resources/theme/css/theme_overrides.css +++ b/resources/theme/css/theme_overrides.css @@ -487,4 +487,16 @@ a.external { margin-bottom: 1.245em } -/* End genindex consistency. */ \ No newline at end of file +/* End genindex consistency. */ + +/* Correctly display keyboard shortcuts inside definition lists (theme.css explicitly excludes this case for some reason) */ +dt > kbd { + font-weight: normal; + font-size: 80%; + background-color: #fff; + border: 1px solid #a6a6a6; + border-radius: 4px; + box-shadow: 0 2px grey; + padding: 2.4px 6px; + margin: auto 0; +} -- 2.30.2