From fa94d2d8a9d58c4a8587ea64ca6a0525d5d86173 Mon Sep 17 00:00:00 2001 From: Jorg Heymans Date: Mon, 10 Aug 2020 22:53:44 +0200 Subject: [PATCH] increase font-size for kbd in refcard fixes https://github.com/i3/i3/issues/4135 --- docs/refcard.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/refcard.html b/docs/refcard.html index 6d71c98d..0e3a4121 100644 --- a/docs/refcard.html +++ b/docs/refcard.html @@ -15,7 +15,7 @@ h1 { font-size: 1.1em; } header a { font-size: 0.7em; } header p { margin: 5px 0; font-size: 0.8em; text-align: left; } - kbd { font-family: LinuxBiolinumKeyboard, Linux Biolinum Keyboard O, Linux Biolinum Keyboard, DejaVu Sans Mono, monospace; font-size: 0.9em; } + kbd { font-family: LinuxBiolinumKeyboard, Linux Biolinum Keyboard O, Linux Biolinum Keyboard, DejaVu Sans Mono, monospace; font-size: 1.2em; } code { font-family: DejaVu Sans Mono, monospace; font-size: 0.8em; } section { break-inside: avoid-column; -moz-break-inside: -moz-avoid-column; -webkit-break-inside: avoid-column; } h2 { margin: 7px 0 2px; padding: 2px 4px; font-size: 1.1em; font-family: LinuxBiolinum, Linux Biolinum O, Linux Biolinum, sans; background-color: #b3b3b3; }