diff options
Diffstat (limited to 'src/css/doc.css')
| -rw-r--r-- | src/css/doc.css | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/src/css/doc.css b/src/css/doc.css index b2f38d7..1f68099 100644 --- a/src/css/doc.css +++ b/src/css/doc.css @@ -471,6 +471,40 @@ line-height: 1; } +kbd { + display: inline-block; + font-size: 0.7rem; + background-color: #fafafa; + border: 1px solid #c1c1c1; + border-radius: 0.25em; + box-shadow: 0 1px 0 #c1c1c1, 0 0 0 0.1em #fff inset; + padding: 0.25em 0.5em; + vertical-align: text-bottom; + white-space: nowrap; +} + +kbd, +.keyseq { + line-height: 1; +} + +.keyseq { + font-family: 'Roboto Mono', monospace; + font-size: 0.9em; +} + +.keyseq kbd { + margin: 0 0.125em; +} + +.keyseq kbd:first-child { + margin-left: 0; +} + +.keyseq kbd:last-child { + margin-right: 0; +} + .menuseq i.caret::before { content: ">"; font-weight: 500; |
