Whitespace

css/index.css

@@ -3,7 +3,7 @@
   --darkred: #7F0036;
   --lightgray: #e0e0e0;
   --gray: #C0C0C0;
-	--darkgray: #666;
+  --darkgray: #333;
   --navy: #17050F;
   --blue: #082840;
   --white: #fff;
@@ -76,8 +76,21 @@ pre {
   background-color: #f6f6f6;
 }
 .highlight-line {
-	padding: 0.125em 1em; /* 2px 16px /16 */
+  display: block;
+  padding: 0.125em 1em;
+  text-decoration: none; /* override del, ins, mark defaults */
+  color: inherit; /* override del, ins, mark defaults */
 }
+
+/* allow highlighting empty lines */
+.highlight-line:empty:before {
+  content: " ";
+}
+/* avoid double line breaks when using display: block; */
+.highlight-line + br {
+  display: none;
+}
+
 .highlight-line-isdir {
   color: #b0b0b0;
   background-color: #222;