css: reduce pre font size
Thu, 22 Dec 2022
1 files changed,
1 insertions(+),
0 deletions(-)
M
static/style.css
@@ -20,6 +20,7 @@ }
pre { font-family: var(--mono-font); + font-size: 0.8rem; } ::selection {