diff options
author | Marvin Borner | 2023-11-11 23:52:05 +0100 |
---|---|---|
committer | Marvin Borner | 2023-11-11 23:52:05 +0100 |
commit | bd1b6690c6847532e59841149b89bc7a8469f586 (patch) | |
tree | 4ed0d168bbee358fb648705dc675d6b1371ee528 /docs/content.css | |
parent | ff53e25945776668d12156193fa5bd7694055174 (diff) |
Added basic syntax highlighting to wiki
Diffstat (limited to 'docs/content.css')
-rw-r--r-- | docs/content.css | 54 |
1 files changed, 2 insertions, 52 deletions
diff --git a/docs/content.css b/docs/content.css index c6d4d5c..3fbc301 100644 --- a/docs/content.css +++ b/docs/content.css @@ -15,56 +15,6 @@ a { } pre { - margin: 0 0 1em; - padding: .5em 1em; -} - -pre .line { - display: block; - float: left; - margin: 0 1em 0 -1em; - border-right: 1px solid; - text-align: right; -} - -pre .line span { - display: block; - padding: 0 .5em 0 1em; -} - -pre .cl { - display: block; - clear: both; -} - -.com { - color: #ff64bd; -} - -.def { - color: #13dbee; -} - -.comment { - color: #999999; -} - -.type { - color: #ffa120; -} - -.left-abs, .right-abs { - color: #6b82ff; -} - -.left-app, .right-app { - color: #ff8750; -} - -.index { - color: #ff5050; -} - -.number { - color: #b1ee13; + margin: 0; + padding: .5em; } |