css: factor out fonts to css variables.

This commit is contained in:
evazion
2020-08-16 15:01:28 -05:00
parent 4a111705a2
commit 44cbce9855
5 changed files with 13 additions and 26 deletions

View File

@@ -1,6 +1,5 @@
ul.backtrace {
font-family: monospace;
font-size: 1.2em;
font: var(--monospace-font);
background: var(--dtext-code-background);
padding: 1em;
margin-bottom: 1em;