From 5df4410c15125887c3434b31709535ca8f1fc188 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Fri, 24 Jan 2020 20:30:29 -0300 Subject: CSS: Remove source code highlighting --- site/css/styles.css | 84 ++--------------------------------------------------- 1 file changed, 2 insertions(+), 82 deletions(-) (limited to 'site/css') 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; -} -- cgit v1.2.3