diff options
| -rw-r--r-- | css/syntax.css | 241 | ||||
| -rw-r--r-- | templates/default.html | 1 |
2 files changed, 242 insertions, 0 deletions
diff --git a/css/syntax.css b/css/syntax.css new file mode 100644 index 0000000..3e02bca --- /dev/null +++ b/css/syntax.css @@ -0,0 +1,241 @@ +a.sourceLine { + display: inline-block; + line-height: 1.25; +} + +a.sourceLine { + pointer-events: none; + color: inherit; + text-decoration: inherit; +} + +a.sourceLine:empty { + height: 1.2em; +} + +.sourceCode { + overflow: visible; +} + +code.sourceCode { + white-space: pre; + position: relative; +} + +div.sourceCode { + margin: 1em 0; +} + +pre.sourceCode { + margin: 0; +} + +@media screen { + div.sourceCode { + overflow: auto; + } +} + +@media print { + code.sourceCode { + white-space: pre-wrap; + } + + a.sourceLine { + text-indent: -1em; + padding-left: 1em; + } +} + +pre.numberSource a.sourceLine { + position: relative; + left: -4em; +} + +pre.numberSource a.sourceLine::before { + content: attr(title); + position: relative; + left: -1em; + text-align: right; + vertical-align: baseline; + border: none; + pointer-events: all; + display: inline-block; + -webkit-touch-callout: none; + -webkit-user-select: none; + -khtml-user-select: none; + -moz-user-select: none; + -ms-user-select: none; + user-select: none; + padding: 0 4px; + width: 4em; + color: #aaaaaa; +} + +pre.numberSource { + margin-left: 3em; + border-left: 1px solid #aaaaaa; + padding-left: 4px; +} + +div.sourceCode {} + +@media screen { + a.sourceLine::before { + text-decoration: underline; + } +} + +code span.al { + color: #ff0000; + font-weight: bold; +} + +/* Alert */ +code span.an { + color: #60a0b0; + font-weight: bold; + font-style: italic; +} + +/* Annotation */ +code span.at { + color: #7d9029; +} + +/* Attribute */ +code span.bn { + color: #40a070; +} + +/* BaseN */ +code span.bu {} + +/* BuiltIn */ +code span.cf { + color: #007020; + font-weight: bold; +} + +/* ControlFlow */ +code span.ch { + color: #4070a0; +} + +/* Char */ +code span.cn { + color: #880000; +} + +/* Constant */ +code span.co { + color: #60a0b0; + font-style: italic; +} + +/* Comment */ +code span.cv { + color: #60a0b0; + font-weight: bold; + font-style: italic; +} + +/* CommentVar */ +code span.do { + color: #ba2121; + font-style: italic; +} + +/* Documentation */ +code span.dt { + color: #902000; +} + +/* DataType */ +code span.dv { + color: #40a070; +} + +/* DecVal */ +code span.er { + color: #ff0000; + font-weight: bold; +} + +/* Error */ +code span.ex {} + +/* Extension */ +code span.fl { + color: #40a070; +} + +/* Float */ +code span.fu { + color: #06287e; +} + +/* Function */ +code span.im {} + +/* Import */ +code span.in { + color: #60a0b0; + font-weight: bold; + font-style: italic; +} + +/* Information */ +code span.kw { + color: #007020; + font-weight: bold; +} + +/* Keyword */ +code span.op { + color: #666666; +} + +/* Operator */ +code span.ot { + color: #007020; +} + +/* Other */ +code span.pp { + color: #bc7a00; +} + +/* Preprocessor */ +code span.sc { + color: #4070a0; +} + +/* SpecialChar */ +code span.ss { + color: #bb6688; +} + +/* SpecialString */ +code span.st { + color: #4070a0; +} + +/* String */ +code span.va { + color: #19177c; +} + +/* Variable */ +code span.vs { + color: #4070a0; +} + +/* VerbatimString */ +code span.wa { + color: #60a0b0; + font-weight: bold; + font-style: italic; +} + +/* Warning */
\ No newline at end of file diff --git a/templates/default.html b/templates/default.html index 54a9534..c899cab 100644 --- a/templates/default.html +++ b/templates/default.html @@ -7,6 +7,7 @@ <meta name="viewport" content="width=device-width, initial-scale=1"> <title>My Hakyll Blog - $title$</title> <link rel="stylesheet" href="/css/default.css" /> + <link rel="stylesheet" href="/css/syntax.css" /> </head> <body> |