diff options
author | Iko <iko@iko.im> | 2019-12-27 02:31:09 +0000 |
---|---|---|
committer | Iko <iko@iko.im> | 2019-12-27 02:31:09 +0000 |
commit | 7237f9e7c897cca980e914fbd61ab75f999d75b4 (patch) | |
tree | db623d511bd0d468eb429e7a4b63327e98b9a331 | |
parent | 48cc1f20142a0e3bab7e246662dd0b41fe04fbff (diff) |
Add rudimentary syntax highlighting
Adjustments for:
- https://notabug.org/peers/forgefed/issues/55
- https://notabug.org/peers/forgefed/issues/56
-rw-r--r-- | html/theme.css | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/html/theme.css b/html/theme.css index 51b6fcf..f297f50 100644 --- a/html/theme.css +++ b/html/theme.css @@ -271,9 +271,17 @@ pre.sourceCode { background: var(--code-bg-color);
color: var(--code-text-color);
}
-.sourceLine .er { color: var(--code-error-color); }
-.sourceLine .dt { color: var(--code-datatype-color); }
-.sourceLine .st { color: var(--code-string-color); }
+.sourceCode .er { color: var(--code-error-color); }
+.sourceCode .dt { color: var(--code-datatype-color); }
+.sourceCode .st { color: var(--code-string-color); }
+
+/* Indentation adjustment hack */
+code.sourceCode span[id^="cb"]:not(#cb1-1) {
+ margin: 0 0 0 -4rem;
+}
+code.sourceCode span[class=dt] {
+ margin: 0 0 0 -2rem;
+}
/* Media queries ---------------------------------------------------------- */
|