styles: adds styles to code snippets

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;