Skip to content

Commit 6b4d762

Browse files
oobaboogaoobabooga
authored
Merge pull request oobabooga#6261 from oobabooga/dev
Merge dev branch
2 parents d1115f1 + 95b3e98 commit 6b4d762

File tree

2 files changed

+206
-4
lines changed

2 files changed

+206
-4
lines changed

‎css/highlightjs/github-dark.min.css

+103-2
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,14 @@
1-
pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}/*!
1+
html body gradio-app .gradio-container pre code.hljs {
2+
display: block;
3+
overflow-x: auto;
4+
padding: 1em
5+
}
6+
7+
html body gradio-app .gradio-container code.hljs {
8+
padding: 3px 5px
9+
}
10+
11+
/*!
212
Theme: GitHub Dark
313
Description: Dark theme as seen on github.com
414
Author: github.com
@@ -7,4 +17,95 @@ pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5p
717
818
Outdated base version: https://github.com/primer/github-syntax-dark
919
Current colors taken from GitHub's CSS
10-
*/.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}
20+
*/
21+
html body gradio-app .gradio-container .hljs {
22+
color: #c9d1d9;
23+
background: #0d1117
24+
}
25+
26+
html body gradio-app .gradio-container .hljs-doctag,
27+
html body gradio-app .gradio-container .hljs-keyword,
28+
html body gradio-app .gradio-container .hljs-meta .hljs-keyword,
29+
html body gradio-app .gradio-container .hljs-template-tag,
30+
html body gradio-app .gradio-container .hljs-template-variable,
31+
html body gradio-app .gradio-container .hljs-type,
32+
html body gradio-app .gradio-container .hljs-variable.language_ {
33+
color: #ff7b72
34+
}
35+
36+
html body gradio-app .gradio-container .hljs-title,
37+
html body gradio-app .gradio-container .hljs-title.class_,
38+
html body gradio-app .gradio-container .hljs-title.class_.inherited__,
39+
html body gradio-app .gradio-container .hljs-title.function_ {
40+
color: #d2a8ff
41+
}
42+
43+
html body gradio-app .gradio-container .hljs-attr,
44+
html body gradio-app .gradio-container .hljs-attribute,
45+
html body gradio-app .gradio-container .hljs-literal,
46+
html body gradio-app .gradio-container .hljs-meta,
47+
html body gradio-app .gradio-container .hljs-number,
48+
html body gradio-app .gradio-container .hljs-operator,
49+
html body gradio-app .gradio-container .hljs-selector-attr,
50+
html body gradio-app .gradio-container .hljs-selector-class,
51+
html body gradio-app .gradio-container .hljs-selector-id,
52+
html body gradio-app .gradio-container .hljs-variable {
53+
color: #79c0ff
54+
}
55+
56+
html body gradio-app .gradio-container .hljs-meta .hljs-string,
57+
html body gradio-app .gradio-container .hljs-regexp,
58+
html body gradio-app .gradio-container .hljs-string {
59+
color: #a5d6ff
60+
}
61+
62+
html body gradio-app .gradio-container .hljs-built_in,
63+
html body gradio-app .gradio-container .hljs-symbol {
64+
color: #ffa657
65+
}
66+
67+
html body gradio-app .gradio-container .hljs-code,
68+
html body gradio-app .gradio-container .hljs-comment,
69+
html body gradio-app .gradio-container .hljs-formula {
70+
color: #8b949e
71+
}
72+
73+
html body gradio-app .gradio-container .hljs-name,
74+
html body gradio-app .gradio-container .hljs-quote,
75+
html body gradio-app .gradio-container .hljs-selector-pseudo,
76+
html body gradio-app .gradio-container .hljs-selector-tag {
77+
color: #7ee787
78+
}
79+
80+
html body gradio-app .gradio-container .hljs-subst {
81+
color: #c9d1d9
82+
}
83+
84+
html body gradio-app .gradio-container .hljs-section {
85+
color: #1f6feb;
86+
font-weight: 700
87+
}
88+
89+
html body gradio-app .gradio-container .hljs-bullet {
90+
color: #f2cc60
91+
}
92+
93+
html body gradio-app .gradio-container .hljs-emphasis {
94+
color: #c9d1d9;
95+
font-style: italic
96+
}
97+
98+
html body gradio-app .gradio-container .hljs-strong {
99+
color: #c9d1d9;
100+
font-weight: 700
101+
}
102+
103+
html body gradio-app .gradio-container .hljs-addition {
104+
color: #aff5b4;
105+
background-color: #033a16
106+
}
107+
108+
html body gradio-app .gradio-container .hljs-deletion {
109+
color: #ffdcd7;
110+
background-color: #67060c
111+
}

‎css/highlightjs/github.min.css

+103-2
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,14 @@
1-
pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}/*!
1+
html body gradio-app .gradio-container pre code.hljs {
2+
display: block;
3+
overflow-x: auto;
4+
padding: 1em
5+
}
6+
7+
html body gradio-app .gradio-container code.hljs {
8+
padding: 3px 5px
9+
}
10+
11+
/*!
212
Theme: GitHub
313
Description: Light theme as seen on github.com
414
Author: github.com
@@ -7,4 +17,95 @@ pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5p
717
818
Outdated base version: https://github.com/primer/github-syntax-light
919
Current colors taken from GitHub's CSS
10-
*/.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}
20+
*/
21+
html body gradio-app .gradio-container .hljs {
22+
color: #24292e;
23+
background: #fff
24+
}
25+
26+
html body gradio-app .gradio-container .hljs-doctag,
27+
html body gradio-app .gradio-container .hljs-keyword,
28+
html body gradio-app .gradio-container .hljs-meta .hljs-keyword,
29+
html body gradio-app .gradio-container .hljs-template-tag,
30+
html body gradio-app .gradio-container .hljs-template-variable,
31+
html body gradio-app .gradio-container .hljs-type,
32+
html body gradio-app .gradio-container .hljs-variable.language_ {
33+
color: #d73a49
34+
}
35+
36+
html body gradio-app .gradio-container .hljs-title,
37+
html body gradio-app .gradio-container .hljs-title.class_,
38+
html body gradio-app .gradio-container .hljs-title.class_.inherited__,
39+
html body gradio-app .gradio-container .hljs-title.function_ {
40+
color: #6f42c1
41+
}
42+
43+
html body gradio-app .gradio-container .hljs-attr,
44+
html body gradio-app .gradio-container .hljs-attribute,
45+
html body gradio-app .gradio-container .hljs-literal,
46+
html body gradio-app .gradio-container .hljs-meta,
47+
html body gradio-app .gradio-container .hljs-number,
48+
html body gradio-app .gradio-container .hljs-operator,
49+
html body gradio-app .gradio-container .hljs-selector-attr,
50+
html body gradio-app .gradio-container .hljs-selector-class,
51+
html body gradio-app .gradio-container .hljs-selector-id,
52+
html body gradio-app .gradio-container .hljs-variable {
53+
color: #005cc5
54+
}
55+
56+
html body gradio-app .gradio-container .hljs-meta .hljs-string,
57+
html body gradio-app .gradio-container .hljs-regexp,
58+
html body gradio-app .gradio-container .hljs-string {
59+
color: #032f62
60+
}
61+
62+
html body gradio-app .gradio-container .hljs-built_in,
63+
html body gradio-app .gradio-container .hljs-symbol {
64+
color: #e36209
65+
}
66+
67+
html body gradio-app .gradio-container .hljs-code,
68+
html body gradio-app .gradio-container .hljs-comment,
69+
html body gradio-app .gradio-container .hljs-formula {
70+
color: #6a737d
71+
}
72+
73+
html body gradio-app .gradio-container .hljs-name,
74+
html body gradio-app .gradio-container .hljs-quote,
75+
html body gradio-app .gradio-container .hljs-selector-pseudo,
76+
html body gradio-app .gradio-container .hljs-selector-tag {
77+
color: #22863a
78+
}
79+
80+
html body gradio-app .gradio-container .hljs-subst {
81+
color: #24292e
82+
}
83+
84+
html body gradio-app .gradio-container .hljs-section {
85+
color: #005cc5;
86+
font-weight: 700
87+
}
88+
89+
html body gradio-app .gradio-container .hljs-bullet {
90+
color: #735c0f
91+
}
92+
93+
html body gradio-app .gradio-container .hljs-emphasis {
94+
color: #24292e;
95+
font-style: italic
96+
}
97+
98+
html body gradio-app .gradio-container .hljs-strong {
99+
color: #24292e;
100+
font-weight: 700
101+
}
102+
103+
html body gradio-app .gradio-container .hljs-addition {
104+
color: #22863a;
105+
background-color: #f0fff4
106+
}
107+
108+
html body gradio-app .gradio-container .hljs-deletion {
109+
color: #b31d28;
110+
background-color: #ffeef0
111+
}

0 commit comments

Comments
 (0)