diff options
| author | Paul Buetow <paul@buetow.org> | 2024-04-13 11:21:24 +0300 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2024-04-13 11:21:24 +0300 |
| commit | 754dda866799694e0365fde97387555d757ff0a4 (patch) | |
| tree | ec337206cc7ef821a0bd5750ddacde3dcc345a17 | |
| parent | 384fc262df888eef28042a1bf80f0281a6828173 (diff) | |
change color of the pretext
| -rw-r--r-- | extras/html/style.css | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/extras/html/style.css b/extras/html/style.css index 1cbc50d..45a3533 100644 --- a/extras/html/style.css +++ b/extras/html/style.css @@ -90,12 +90,10 @@ pre { font-family: code, monospace; overflow-x: auto; padding-left: 23px; - color: grey; border-left: dashed grey; } span.inlinecode { font-family: code, monospace; padding: 1px; - color: grey; } |