Place <pre> scrollbars better

georgewatson · Jun 12, 2019 · be41a8a · be41a8a
1 parent 72ff7cd
commit be41a8a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/assets/default.css b/assets/default.css
@@ -292,7 +292,10 @@ dt,
 
 div.highlight {
     margin-left: 2ch;
-    padding: 1ch;
+}
+
+pre.highlight {
+    padding: 2ch;
 }
 
 a,