diff options
| author | Iko <iko@iko.im> | 2019-12-27 22:04:30 +0000 |
|---|---|---|
| committer | Iko <iko@iko.im> | 2019-12-27 22:04:30 +0000 |
| commit | 425706fc8afce57a809b47ae2b015f0de5d3cbc0 (patch) | |
| tree | 75d57078eca793ca392f27792f861098586703e1 | |
| parent | 7237f9e7c897cca980e914fbd61ab75f999d75b4 (diff) | |
Change css selector
| -rw-r--r-- | html/theme.css | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/html/theme.css b/html/theme.css index f297f50..0247b72 100644 --- a/html/theme.css +++ b/html/theme.css @@ -276,12 +276,9 @@ pre.sourceCode { .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;
-}
+code.sourceCode span[id^="cb"] { margin: 0 0 0 -4rem; }
+code.sourceCode:first-child { margin: 0 0 0 4rem; }
+code.sourceCode .dt { margin: 0 0 0 -2rem; }
/* Media queries ---------------------------------------------------------- */
|