Merge style changes from #419

[irc/freenode/web-7.0.git] / static / css / style.css

diff --git a/static/css/style.css b/static/css/style.css
index 40bee2a669e7c5eec3524c8b3c350dd458727ac5..02d8c976b73fe483a25ba90b0b6cbc193dddcf5d 100644 (file)
--- a/static/css/style.css
+++ b/static/css/style.css
@@ -29,7 +29,7 @@
     /* box colors */
     --border-color:    var(--c-dark);
     --box-color:       var(--c-bg-light);
-    --box-hover-color: var(--c-dark);;
+    --box-hover-color: var(--c-dark);
     --box-round:       10px;
 
     /* other */
@@ -243,6 +243,22 @@ img {
     margin-top: 0;
 }
 
+
+.main pre {
+    padding: .5em .75em;
+    border: 1px solid var(--c-border);
+    overflow-x: auto;
+}
+
+.main :not(pre)>code {
+    padding: 0 0.2em;
+}
+
+.main pre, .main :not(pre)>code {
+    background: var(--c-shadow);
+    border-radius: .25em;
+}
+
 .toclink,
 .toclink:hover {
     color: var(--text-color);