mirror of
https://github.com/oobabooga/text-generation-webui.git
synced 2024-11-21 15:48:04 +01:00
UI: Fix code syntax highlighting
This commit is contained in:
oobabooga
parent
3ee682208c
commit
95b3e98c36
105
css/highlightjs/github-dark.min.css
vendored
105
css/highlightjs/github-dark.min.css
vendored
@ -1,4 +1,14 @@
|
||||
pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}/*!
|
||||
html body gradio-app .gradio-container pre code.hljs {
|
||||
display: block;
|
||||
overflow-x: auto;
|
||||
padding: 1em
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container code.hljs {
|
||||
padding: 3px 5px
|
||||
}
|
||||
|
||||
/*!
|
||||
Theme: GitHub Dark
|
||||
Description: Dark theme as seen on github.com
|
||||
Author: github.com
|
||||
@ -7,4 +17,95 @@ pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5p
|
||||
|
||||
Outdated base version: https://github.com/primer/github-syntax-dark
|
||||
Current colors taken from GitHub's CSS
|
||||
*/.hljs{color:#c9d1d9;background:#0d1117}.hljs-doctag,.hljs-keyword,.hljs-meta .hljs-keyword,.hljs-template-tag,.hljs-template-variable,.hljs-type,.hljs-variable.language_{color:#ff7b72}.hljs-title,.hljs-title.class_,.hljs-title.class_.inherited__,.hljs-title.function_{color:#d2a8ff}.hljs-attr,.hljs-attribute,.hljs-literal,.hljs-meta,.hljs-number,.hljs-operator,.hljs-selector-attr,.hljs-selector-class,.hljs-selector-id,.hljs-variable{color:#79c0ff}.hljs-meta .hljs-string,.hljs-regexp,.hljs-string{color:#a5d6ff}.hljs-built_in,.hljs-symbol{color:#ffa657}.hljs-code,.hljs-comment,.hljs-formula{color:#8b949e}.hljs-name,.hljs-quote,.hljs-selector-pseudo,.hljs-selector-tag{color:#7ee787}.hljs-subst{color:#c9d1d9}.hljs-section{color:#1f6feb;font-weight:700}.hljs-bullet{color:#f2cc60}.hljs-emphasis{color:#c9d1d9;font-style:italic}.hljs-strong{color:#c9d1d9;font-weight:700}.hljs-addition{color:#aff5b4;background-color:#033a16}.hljs-deletion{color:#ffdcd7;background-color:#67060c}
|
||||
*/
|
||||
html body gradio-app .gradio-container .hljs {
|
||||
color: #c9d1d9;
|
||||
background: #0d1117
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-doctag,
|
||||
html body gradio-app .gradio-container .hljs-keyword,
|
||||
html body gradio-app .gradio-container .hljs-meta .hljs-keyword,
|
||||
html body gradio-app .gradio-container .hljs-template-tag,
|
||||
html body gradio-app .gradio-container .hljs-template-variable,
|
||||
html body gradio-app .gradio-container .hljs-type,
|
||||
html body gradio-app .gradio-container .hljs-variable.language_ {
|
||||
color: #ff7b72
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-title,
|
||||
html body gradio-app .gradio-container .hljs-title.class_,
|
||||
html body gradio-app .gradio-container .hljs-title.class_.inherited__,
|
||||
html body gradio-app .gradio-container .hljs-title.function_ {
|
||||
color: #d2a8ff
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-attr,
|
||||
html body gradio-app .gradio-container .hljs-attribute,
|
||||
html body gradio-app .gradio-container .hljs-literal,
|
||||
html body gradio-app .gradio-container .hljs-meta,
|
||||
html body gradio-app .gradio-container .hljs-number,
|
||||
html body gradio-app .gradio-container .hljs-operator,
|
||||
html body gradio-app .gradio-container .hljs-selector-attr,
|
||||
html body gradio-app .gradio-container .hljs-selector-class,
|
||||
html body gradio-app .gradio-container .hljs-selector-id,
|
||||
html body gradio-app .gradio-container .hljs-variable {
|
||||
color: #79c0ff
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-meta .hljs-string,
|
||||
html body gradio-app .gradio-container .hljs-regexp,
|
||||
html body gradio-app .gradio-container .hljs-string {
|
||||
color: #a5d6ff
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-built_in,
|
||||
html body gradio-app .gradio-container .hljs-symbol {
|
||||
color: #ffa657
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-code,
|
||||
html body gradio-app .gradio-container .hljs-comment,
|
||||
html body gradio-app .gradio-container .hljs-formula {
|
||||
color: #8b949e
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-name,
|
||||
html body gradio-app .gradio-container .hljs-quote,
|
||||
html body gradio-app .gradio-container .hljs-selector-pseudo,
|
||||
html body gradio-app .gradio-container .hljs-selector-tag {
|
||||
color: #7ee787
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-subst {
|
||||
color: #c9d1d9
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-section {
|
||||
color: #1f6feb;
|
||||
font-weight: 700
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-bullet {
|
||||
color: #f2cc60
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-emphasis {
|
||||
color: #c9d1d9;
|
||||
font-style: italic
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-strong {
|
||||
color: #c9d1d9;
|
||||
font-weight: 700
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-addition {
|
||||
color: #aff5b4;
|
||||
background-color: #033a16
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-deletion {
|
||||
color: #ffdcd7;
|
||||
background-color: #67060c
|
||||
}
|
||||
|
||||
105
css/highlightjs/github.min.css
vendored
105
css/highlightjs/github.min.css
vendored
@ -1,4 +1,14 @@
|
||||
pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}/*!
|
||||
html body gradio-app .gradio-container pre code.hljs {
|
||||
display: block;
|
||||
overflow-x: auto;
|
||||
padding: 1em
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container code.hljs {
|
||||
padding: 3px 5px
|
||||
}
|
||||
|
||||
/*!
|
||||
Theme: GitHub
|
||||
Description: Light theme as seen on github.com
|
||||
Author: github.com
|
||||
@ -7,4 +17,95 @@ pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5p
|
||||
|
||||
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}
|
||||
*/
|
||||
html body gradio-app .gradio-container .hljs {
|
||||
color: #24292e;
|
||||
background: #fff
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-doctag,
|
||||
html body gradio-app .gradio-container .hljs-keyword,
|
||||
html body gradio-app .gradio-container .hljs-meta .hljs-keyword,
|
||||
html body gradio-app .gradio-container .hljs-template-tag,
|
||||
html body gradio-app .gradio-container .hljs-template-variable,
|
||||
html body gradio-app .gradio-container .hljs-type,
|
||||
html body gradio-app .gradio-container .hljs-variable.language_ {
|
||||
color: #d73a49
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-title,
|
||||
html body gradio-app .gradio-container .hljs-title.class_,
|
||||
html body gradio-app .gradio-container .hljs-title.class_.inherited__,
|
||||
html body gradio-app .gradio-container .hljs-title.function_ {
|
||||
color: #6f42c1
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-attr,
|
||||
html body gradio-app .gradio-container .hljs-attribute,
|
||||
html body gradio-app .gradio-container .hljs-literal,
|
||||
html body gradio-app .gradio-container .hljs-meta,
|
||||
html body gradio-app .gradio-container .hljs-number,
|
||||
html body gradio-app .gradio-container .hljs-operator,
|
||||
html body gradio-app .gradio-container .hljs-selector-attr,
|
||||
html body gradio-app .gradio-container .hljs-selector-class,
|
||||
html body gradio-app .gradio-container .hljs-selector-id,
|
||||
html body gradio-app .gradio-container .hljs-variable {
|
||||
color: #005cc5
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-meta .hljs-string,
|
||||
html body gradio-app .gradio-container .hljs-regexp,
|
||||
html body gradio-app .gradio-container .hljs-string {
|
||||
color: #032f62
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-built_in,
|
||||
html body gradio-app .gradio-container .hljs-symbol {
|
||||
color: #e36209
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-code,
|
||||
html body gradio-app .gradio-container .hljs-comment,
|
||||
html body gradio-app .gradio-container .hljs-formula {
|
||||
color: #6a737d
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-name,
|
||||
html body gradio-app .gradio-container .hljs-quote,
|
||||
html body gradio-app .gradio-container .hljs-selector-pseudo,
|
||||
html body gradio-app .gradio-container .hljs-selector-tag {
|
||||
color: #22863a
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-subst {
|
||||
color: #24292e
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-section {
|
||||
color: #005cc5;
|
||||
font-weight: 700
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-bullet {
|
||||
color: #735c0f
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-emphasis {
|
||||
color: #24292e;
|
||||
font-style: italic
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-strong {
|
||||
color: #24292e;
|
||||
font-weight: 700
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-addition {
|
||||
color: #22863a;
|
||||
background-color: #f0fff4
|
||||
}
|
||||
|
||||
html body gradio-app .gradio-container .hljs-deletion {
|
||||
color: #b31d28;
|
||||
background-color: #ffeef0
|
||||
}
|
||||
|
||||
Loading…
Reference in New Issue
Block a user