theme: adjust code font-size for printing #93

This commit is contained in:
Sören Weber 2021-09-29 23:24:16 +02:00
parent 3471aefa88
commit c879bc9db1
No known key found for this signature in database
GPG key ID: 07D17FF580AE7589

View file

@ -5,6 +5,9 @@ html,
body #body{
font-size: 8.9pt;
}
pre code {
font-size: 8.3pt;
}
code.copy-to-clipboard-inline {
border-bottom-right-radius: 2px;
border-top-right-radius: 2px;