1 files changed, 2 insertions, 82 deletions
diff --git a/site/css/styles.css b/site/css/styles.css
index d6c5be0..8eaaa85 100644
--- a/site/css/styles.css
+++ b/site/css/styles.css
@@ -1,5 +1,3 @@
-/* Main body */
-
 body {
   color: black;
   font-size: 16px;
@@ -60,13 +58,14 @@ pre {
   border-left: 3ex solid #eee;
   position: relative;
   counter-reset: linenumbers;
+  background-color: white;
 }
 
 pre a:before {
   color: #aaa;
   content: counter(linenumbers);
   counter-increment: linenumbers;
-  left: -3ex;
+  left: -4ex;
   position: absolute;
   text-align: right;
   width: 2.5ex;
@@ -99,82 +98,3 @@ a:hover {
 a:visited {
   color: #306082;
 }
-
-
-
-/* Hakyll source code syntax highlighter */
-
-table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre {
-  margin: 0;
-  padding: 0;
-  border: 0;
-  vertical-align: baseline;
-  border: none;
-}
-
-td.lineNumbers {
-  border-right: 1px solid #AAAAAA;
-  text-align: right;
-  color: #AAAAAA;
-  padding-right: 5px;
-  padding-left: 5px;
-}
-
-td.sourceCode {
-  padding-left: 5px;
-}
-
-.sourceCode span.kw {
-  color: #007020;
-  font-weight: bold;
-}
-
-.sourceCode span.dt {
-  color: #902000;
-}
-
-.sourceCode span.dv {
-  color: #40a070;
-}
-
-.sourceCode span.bn {
-  color: #40a070;
-}
-
-.sourceCode span.fl {
-  color: #40a070;
-}
-
-.sourceCode span.ch {
-  color: #4070a0;
-}
-
-.sourceCode span.st {
-  color: #4070a0;
-}
-
-.sourceCode span.co {
-  color: #60a0b0;
-  font-style: italic;
-}
-
-.sourceCode span.ot {
-  color: #007020;
-}
-
-.sourceCode span.al {
-  color: red;
-  font-weight: bold;
-}
-
-.sourceCode span.fu {
-  color: #06287e;
-}
-
-.sourceCode span.re {
-}
-
-.sourceCode span.er {
-  color: red;
-  font-weight: bold;
-}