Merge pull request #4172 from jorgheymans/patch-1

increase font-size for kbd in refcard
tdemin · Oct 13, 2020 · fff8b0c · fff8b0c
2 parents 144c483 + fa94d2d
commit fff8b0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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; }