diff --git a/static/css/theme.css b/static/css/theme.css index eff9fd4681..a133ea768e 100644 --- a/static/css/theme.css +++ b/static/css/theme.css @@ -533,6 +533,22 @@ mark { padding: 0.1em 0.4em; } +kbd { + background-color: rgba( 134, 134, 134, .166 ); + border: 1px solid rgba( 134, 134, 134, .5 ); + border-radius: 0.25rem; + box-shadow: 0 1px 0 1px rgba( 134, 134, 134, .5 ); + color: var(--INTERNAL-TEXT-color); + font-family: var(--INTERNAL-CODE-font); + font-size: 0.75em; + line-height: 1; + min-width: 0.75rem; + padding: 2px 5px 2px 5px; + position: relative; + text-align: center; + top: -2px; +} + h1 { font-size: 3.25rem; font-weight: 200;