diff options
author | EuAndreh <eu@euandre.org> | 2020-01-24 20:30:29 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2020-01-24 20:31:12 -0300 |
commit | 5df4410c15125887c3434b31709535ca8f1fc188 (patch) | |
tree | 7c0ffe661d0c22e5d83349fb9d5fbd97d048baf5 /site | |
parent | CSS: Use sans-serif font in text (diff) | |
download | euandre.org-5df4410c15125887c3434b31709535ca8f1fc188.tar.gz euandre.org-5df4410c15125887c3434b31709535ca8f1fc188.tar.xz |
CSS: Remove source code highlighting
Diffstat (limited to 'site')
-rw-r--r-- | site/css/styles.css | 84 |
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; -} |