diff options
author | Devaev Maxim <[email protected]> | 2018-11-14 06:03:11 +0300 |
---|---|---|
committer | Devaev Maxim <[email protected]> | 2018-11-14 06:03:11 +0300 |
commit | ff2ac423b2ad5d49401b76dc3dfb287bcf60ab83 (patch) | |
tree | 0ff9056472246d4f763c3c2f9ebea72af6ed3839 /web | |
parent | 2916c7fe067ee8093edfda62d2a0bd51b70e4090 (diff) |
pre
Diffstat (limited to 'web')
-rw-r--r-- | web/css/main.css | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/web/css/main.css b/web/css/main.css index e4396e1f..65a9afe9 100644 --- a/web/css/main.css +++ b/web/css/main.css @@ -26,6 +26,13 @@ hr { border-top: var(--border-normal-thin); } +pre { + color: var(--fg-color-dark); + background-color: var(--bg-color-dark); + padding: 10px; + border-radius: 8px; +} + button, select { box-shadow: none; border: none; |