diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2023-09-24 23:36:38 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2023-09-24 23:36:38 +0200 |
commit | dfdb70ca28be64f2899932cbd360532f1f520d2f (patch) | |
tree | daf8bb763d32ac6fe46a8f5c915fc8ec6de3c810 /static/css/hlstyles/github.min.css | |
parent | 70b83bcb1848aa8de5533f409a36ec5ceab72dae (diff) |
Add client-side syntax highlighting.
Temporary until I can hook up guile-syntax-highlighting for static
highlighting.
Diffstat (limited to 'static/css/hlstyles/github.min.css')
-rw-r--r-- | static/css/hlstyles/github.min.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/static/css/hlstyles/github.min.css b/static/css/hlstyles/github.min.css new file mode 100644 index 0000000..275239a --- /dev/null +++ b/static/css/hlstyles/github.min.css @@ -0,0 +1,10 @@ +pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}/*! + Theme: GitHub + Description: Light theme as seen on github.com + Author: github.com + Maintainer: @Hirse + Updated: 2021-05-15 + + Outdated base version: https://github.com/primer/github-syntax-light + Current colors taken from GitHub's CSS +*/.hljs{color:#24292e;background:#fff}.hljs-doctag,.hljs-keyword,.hljs-meta .hljs-keyword,.hljs-template-tag,.hljs-template-variable,.hljs-type,.hljs-variable.language_{color:#d73a49}.hljs-title,.hljs-title.class_,.hljs-title.class_.inherited__,.hljs-title.function_{color:#6f42c1}.hljs-attr,.hljs-attribute,.hljs-literal,.hljs-meta,.hljs-number,.hljs-operator,.hljs-selector-attr,.hljs-selector-class,.hljs-selector-id,.hljs-variable{color:#005cc5}.hljs-meta .hljs-string,.hljs-regexp,.hljs-string{color:#032f62}.hljs-built_in,.hljs-symbol{color:#e36209}.hljs-code,.hljs-comment,.hljs-formula{color:#6a737d}.hljs-name,.hljs-quote,.hljs-selector-pseudo,.hljs-selector-tag{color:#22863a}.hljs-subst{color:#24292e}.hljs-section{color:#005cc5;font-weight:700}.hljs-bullet{color:#735c0f}.hljs-emphasis{color:#24292e;font-style:italic}.hljs-strong{color:#24292e;font-weight:700}.hljs-addition{color:#22863a;background-color:#f0fff4}.hljs-deletion{color:#b31d28;background-color:#ffeef0}
\ No newline at end of file |