Bump the size of the font/line-spacing a tiny bit

This commit is contained in:
2024-08-13 01:11:34 +02:00
parent 52d3606b1b
commit 5dc5a17f40

View File

@ -135,14 +135,14 @@ pre {
padding: 0.5em; padding: 0.5em;
overflow-x: auto; overflow-x: auto;
font-weight: bold; font-weight: bold;
font-size: 0.7em; font-size: 0.9em;
line-height: $base-line-height * 0.8; line-height: $base-line-height * 0.9;
border: 1px solid #DDDDDD; border: 1px solid #ddd;
border-radius: 0.5em; border-radius: 0.75em;
code { code {
background-color: transparent; background-color: transparent;
color: black; color: #444;
} }
} }