diff options
author | babolivier <babolivier@users.noreply.github.com> | 2021-11-25 15:57:34 +0000 |
---|---|---|
committer | babolivier <babolivier@users.noreply.github.com> | 2021-11-25 15:57:34 +0000 |
commit | d9fe0b4ffc4bdc293966dc1ba953dd26a04d6608 (patch) | |
tree | 831416f62e95b648f46a684e22e146c7954d8d4c /v1.48/highlight.css | |
parent | deploy: 1035663833a76196c3e3ba425fd6500c5420bbe2 (diff) | |
download | synapse-d9fe0b4ffc4bdc293966dc1ba953dd26a04d6608.tar.xz |
deploy: 946c102ac9ac8f96c12c98582f84d957dd638d34
Diffstat (limited to 'v1.48/highlight.css')
-rw-r--r-- | v1.48/highlight.css | 83 |
1 files changed, 83 insertions, 0 deletions
diff --git a/v1.48/highlight.css b/v1.48/highlight.css new file mode 100644 index 0000000000..c234322720 --- /dev/null +++ b/v1.48/highlight.css @@ -0,0 +1,83 @@ +/* + * An increased contrast highlighting scheme loosely based on the + * "Base16 Atelier Dune Light" theme by Bram de Haan + * (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/dune) + * Original Base16 color scheme by Chris Kempson + * (https://github.com/chriskempson/base16) + */ + +/* Comment */ +.hljs-comment, +.hljs-quote { + color: #575757; +} + +/* Red */ +.hljs-variable, +.hljs-template-variable, +.hljs-attribute, +.hljs-tag, +.hljs-name, +.hljs-regexp, +.hljs-link, +.hljs-name, +.hljs-selector-id, +.hljs-selector-class { + color: #d70025; +} + +/* Orange */ +.hljs-number, +.hljs-meta, +.hljs-built_in, +.hljs-builtin-name, +.hljs-literal, +.hljs-type, +.hljs-params { + color: #b21e00; +} + +/* Green */ +.hljs-string, +.hljs-symbol, +.hljs-bullet { + color: #008200; +} + +/* Blue */ +.hljs-title, +.hljs-section { + color: #0030f2; +} + +/* Purple */ +.hljs-keyword, +.hljs-selector-tag { + color: #9d00ec; +} + +.hljs { + display: block; + overflow-x: auto; + background: #f6f7f6; + color: #000; + padding: 0.5em; +} + +.hljs-emphasis { + font-style: italic; +} + +.hljs-strong { + font-weight: bold; +} + +.hljs-addition { + color: #22863a; + background-color: #f0fff4; +} + +.hljs-deletion { + color: #b31d28; + background-color: #ffeef0; +} |