diff options
| -rw-r--r-- | static/css/custom.scss | 7 | ||||
| -rw-r--r-- | static/css/theme.css | 6 |
2 files changed, 13 insertions, 0 deletions
diff --git a/static/css/custom.scss b/static/css/custom.scss index 81fa4f9..583f3af 100644 --- a/static/css/custom.scss +++ b/static/css/custom.scss @@ -44,6 +44,13 @@ $fa-font-path: "./webfonts"; background-color: $body-color; } +.highlight > pre { + padding: 0.5rem 0.8rem; + border: 1px solid; + border-color: #ddd #ddd #ccc; + border-radius: 3px; +} + hr { border: 0; height: 1px; diff --git a/static/css/theme.css b/static/css/theme.css index e0350a2..6a27432 100644 --- a/static/css/theme.css +++ b/static/css/theme.css @@ -11362,6 +11362,12 @@ readers do not read off random characters that represent icons */ color: white; background-color: #212529; } +.highlight > pre { + padding: 0.5rem 0.8rem; + border: 1px solid; + border-color: #ddd #ddd #ccc; + border-radius: 3px; } + hr { border: 0; height: 1px; |