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