diff options
Diffstat (limited to 'css')
| -rw-r--r-- | css/terminal.css | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/css/terminal.css b/css/terminal.css index f79e0dc..7ade7f9 100644 --- a/css/terminal.css +++ b/css/terminal.css @@ -9,8 +9,7 @@ --visited: #b9ffb0; --bg: #1d2021; - --bg2: black; - --selection: #466639; + --bg2: black; --selection: #466639; --font-body: "DejaVu Sans", "Bitstream Vera Sans", "Verdana", sans-serif; --font-mono: "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Menlo", monospace; @@ -79,10 +78,12 @@ a:hover, a:focus { text-decoration: none; } -code, -pre { +code { font: 100%/1.25 var(--font-mono); } +pre > code { + font: 87.5%/1.1 var(--font-mono); +} footer { font: 75%/1.25 var(--font-accent); } @@ -156,7 +157,8 @@ details { padding: 0.4em; } /* BLOCKQUOTE */ -blockquote { +blockquote, +pre { margin: 1em; border-left: 0.25em solid var(--fg); padding-left: 1em; |