fix css

2022-03-03 13:23:38 +02:00
parent 50c5f5974d
commit 6e01ac50c8
1 changed files with 4 additions and 0 deletions
@@ -89,6 +89,10 @@ pre > code {
    font-style: normal;
 }

+pre {
+    border-color: var(--code-border-color);
+}
+
 hr {
    border-top: 1px solid @panel-default-border;
 }