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; +}