font size

This commit is contained in:
dr. M.S. (Matthijs) Berends committed 2023-02-14 16:57:48 +01:00
1 parent 8d37c75860
commit fe41fc2e35
3 files changed
+5 -3

No files matched your search

+3 -1
View File
@@ -58,11 +58,13 @@ mark, .mark {
/* SYNTAX */
/* These are simple changes for the syntax highlighting */
pre {
font-size: 0.8em !important;
}
pre code {
/* never wrap code on smaller screens */
word-wrap: normal !important;
white-space: pre !important;
font-size: 0.8em !important;
}
.ot, .dv, .fl, .cn, .at,
.op a {