Skip to content

Commit bfbd6b7

Browse files
committed
Deployed e7aac2f with MkDocs version: 1.4.2
1 parent 86a7aaf commit bfbd6b7

File tree

61 files changed

+5075
-4006
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

61 files changed

+5075
-4006
lines changed

404.html

+53-32
Large diffs are not rendered by default.

assets/_markdown_exec_ansi.css

+266
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,266 @@
1+
/*
2+
Inspired by https://spec.draculatheme.com/ specification, they should work
3+
decently with both dark and light themes.
4+
*/
5+
:root {
6+
--ansi-red: #ff5555;
7+
--ansi-green: #50fa7b;
8+
--ansi-blue: #265285;
9+
--ansi-yellow: #ffb86c;
10+
--ansi-magenta: #bd93f9;
11+
--ansi-cyan: #8be9fd;
12+
--ansi-black: #282a36;
13+
--ansi-white: #f8f8f2;
14+
}
15+
16+
.-Color-Green,
17+
.-Color-Faint-Green,
18+
.-Color-Bold-Green {
19+
color: var(--ansi-green);
20+
}
21+
22+
.-Color-Red,
23+
.-Color-Faint-Red,
24+
.-Color-Bold-Red {
25+
color: var(--ansi-red);
26+
}
27+
28+
.-Color-Yellow,
29+
.-Color-Faint-Yellow,
30+
.-Color-Bold-Yellow {
31+
color: var(--ansi-yellow);
32+
}
33+
34+
.-Color-Blue,
35+
.-Color-Faint-Blue,
36+
.-Color-Bold-Blue {
37+
color: var(--ansi-blue);
38+
}
39+
40+
.-Color-Magenta,
41+
.-Color-Faint-Magenta,
42+
.-Color-Bold-Magenta {
43+
color: var(--ansi-magenta);
44+
}
45+
46+
.-Color-Cyan,
47+
.-Color-Faint-Cyan,
48+
.-Color-Bold-Cyan {
49+
color: var(--ansi-cyan);
50+
}
51+
52+
.-Color-White,
53+
.-Color-Faint-White,
54+
.-Color-Bold-White {
55+
color: var(--ansi-white);
56+
}
57+
58+
.-Color-Black,
59+
.-Color-Faint-Black,
60+
.-Color-Bold-Black {
61+
color: var(--ansi-black);
62+
}
63+
64+
.-Color-Faint {
65+
opacity: 0.5;
66+
}
67+
68+
.-Color-Bold {
69+
font-weight: bold;
70+
}
71+
72+
.-Color-BGBlack,
73+
.-Color-Black-BGBlack,
74+
.-Color-Blue-BGBlack,
75+
.-Color-Bold-BGBlack,
76+
.-Color-Bold-Black-BGBlack,
77+
.-Color-Bold-Green-BGBlack,
78+
.-Color-Bold-Cyan-BGBlack,
79+
.-Color-Bold-Blue-BGBlack,
80+
.-Color-Bold-Magenta-BGBlack,
81+
.-Color-Bold-Red-BGBlack,
82+
.-Color-Bold-White-BGBlack,
83+
.-Color-Bold-Yellow-BGBlack,
84+
.-Color-Cyan-BGBlack,
85+
.-Color-Green-BGBlack,
86+
.-Color-Magenta-BGBlack,
87+
.-Color-Red-BGBlack,
88+
.-Color-White-BGBlack,
89+
.-Color-Yellow-BGBlack {
90+
background-color: var(--ansi-black);
91+
}
92+
93+
.-Color-BGRed,
94+
.-Color-Black-BGRed,
95+
.-Color-Blue-BGRed,
96+
.-Color-Bold-BGRed,
97+
.-Color-Bold-Black-BGRed,
98+
.-Color-Bold-Green-BGRed,
99+
.-Color-Bold-Cyan-BGRed,
100+
.-Color-Bold-Blue-BGRed,
101+
.-Color-Bold-Magenta-BGRed,
102+
.-Color-Bold-Red-BGRed,
103+
.-Color-Bold-White-BGRed,
104+
.-Color-Bold-Yellow-BGRed,
105+
.-Color-Cyan-BGRed,
106+
.-Color-Green-BGRed,
107+
.-Color-Magenta-BGRed,
108+
.-Color-Red-BGRed,
109+
.-Color-White-BGRed,
110+
.-Color-Yellow-BGRed {
111+
background-color: var(--ansi-red);
112+
}
113+
114+
.-Color-BGGreen,
115+
.-Color-Black-BGGreen,
116+
.-Color-Blue-BGGreen,
117+
.-Color-Bold-BGGreen,
118+
.-Color-Bold-Black-BGGreen,
119+
.-Color-Bold-Green-BGGreen,
120+
.-Color-Bold-Cyan-BGGreen,
121+
.-Color-Bold-Blue-BGGreen,
122+
.-Color-Bold-Magenta-BGGreen,
123+
.-Color-Bold-Red-BGGreen,
124+
.-Color-Bold-White-BGGreen,
125+
.-Color-Bold-Yellow-BGGreen,
126+
.-Color-Cyan-BGGreen,
127+
.-Color-Green-BGGreen,
128+
.-Color-Magenta-BGGreen,
129+
.-Color-Red-BGGreen,
130+
.-Color-White-BGGreen,
131+
.-Color-Yellow-BGGreen {
132+
background-color: var(--ansi-green);
133+
}
134+
135+
.-Color-BGYellow,
136+
.-Color-Black-BGYellow,
137+
.-Color-Blue-BGYellow,
138+
.-Color-Bold-BGYellow,
139+
.-Color-Bold-Black-BGYellow,
140+
.-Color-Bold-Green-BGYellow,
141+
.-Color-Bold-Cyan-BGYellow,
142+
.-Color-Bold-Blue-BGYellow,
143+
.-Color-Bold-Magenta-BGYellow,
144+
.-Color-Bold-Red-BGYellow,
145+
.-Color-Bold-White-BGYellow,
146+
.-Color-Bold-Yellow-BGYellow,
147+
.-Color-Cyan-BGYellow,
148+
.-Color-Green-BGYellow,
149+
.-Color-Magenta-BGYellow,
150+
.-Color-Red-BGYellow,
151+
.-Color-White-BGYellow,
152+
.-Color-Yellow-BGYellow {
153+
background-color: var(--ansi-yellow);
154+
}
155+
156+
.-Color-BGBlue,
157+
.-Color-Black-BGBlue,
158+
.-Color-Blue-BGBlue,
159+
.-Color-Bold-BGBlue,
160+
.-Color-Bold-Black-BGBlue,
161+
.-Color-Bold-Green-BGBlue,
162+
.-Color-Bold-Cyan-BGBlue,
163+
.-Color-Bold-Blue-BGBlue,
164+
.-Color-Bold-Magenta-BGBlue,
165+
.-Color-Bold-Red-BGBlue,
166+
.-Color-Bold-White-BGBlue,
167+
.-Color-Bold-Yellow-BGBlue,
168+
.-Color-Cyan-BGBlue,
169+
.-Color-Green-BGBlue,
170+
.-Color-Magenta-BGBlue,
171+
.-Color-Red-BGBlue,
172+
.-Color-White-BGBlue,
173+
.-Color-Yellow-BGBlue {
174+
background-color: var(--ansi-blue);
175+
}
176+
177+
.-Color-BGMagenta,
178+
.-Color-Black-BGMagenta,
179+
.-Color-Blue-BGMagenta,
180+
.-Color-Bold-BGMagenta,
181+
.-Color-Bold-Black-BGMagenta,
182+
.-Color-Bold-Green-BGMagenta,
183+
.-Color-Bold-Cyan-BGMagenta,
184+
.-Color-Bold-Blue-BGMagenta,
185+
.-Color-Bold-Magenta-BGMagenta,
186+
.-Color-Bold-Red-BGMagenta,
187+
.-Color-Bold-White-BGMagenta,
188+
.-Color-Bold-Yellow-BGMagenta,
189+
.-Color-Cyan-BGMagenta,
190+
.-Color-Green-BGMagenta,
191+
.-Color-Magenta-BGMagenta,
192+
.-Color-Red-BGMagenta,
193+
.-Color-White-BGMagenta,
194+
.-Color-Yellow-BGMagenta {
195+
background-color: var(--ansi-magenta);
196+
}
197+
198+
.-Color-BGCyan,
199+
.-Color-Black-BGCyan,
200+
.-Color-Blue-BGCyan,
201+
.-Color-Bold-BGCyan,
202+
.-Color-Bold-Black-BGCyan,
203+
.-Color-Bold-Green-BGCyan,
204+
.-Color-Bold-Cyan-BGCyan,
205+
.-Color-Bold-Blue-BGCyan,
206+
.-Color-Bold-Magenta-BGCyan,
207+
.-Color-Bold-Red-BGCyan,
208+
.-Color-Bold-White-BGCyan,
209+
.-Color-Bold-Yellow-BGCyan,
210+
.-Color-Cyan-BGCyan,
211+
.-Color-Green-BGCyan,
212+
.-Color-Magenta-BGCyan,
213+
.-Color-Red-BGCyan,
214+
.-Color-White-BGCyan,
215+
.-Color-Yellow-BGCyan {
216+
background-color: var(--ansi-cyan);
217+
}
218+
219+
.-Color-BGWhite,
220+
.-Color-Black-BGWhite,
221+
.-Color-Blue-BGWhite,
222+
.-Color-Bold-BGWhite,
223+
.-Color-Bold-Black-BGWhite,
224+
.-Color-Bold-Green-BGWhite,
225+
.-Color-Bold-Cyan-BGWhite,
226+
.-Color-Bold-Blue-BGWhite,
227+
.-Color-Bold-Magenta-BGWhite,
228+
.-Color-Bold-Red-BGWhite,
229+
.-Color-Bold-White-BGWhite,
230+
.-Color-Bold-Yellow-BGWhite,
231+
.-Color-Cyan-BGWhite,
232+
.-Color-Green-BGWhite,
233+
.-Color-Magenta-BGWhite,
234+
.-Color-Red-BGWhite,
235+
.-Color-White-BGWhite,
236+
.-Color-Yellow-BGWhite {
237+
background-color: var(--ansi-white);
238+
}
239+
240+
.-Color-Black,
241+
.-Color-Bold-Black,
242+
.-Color-Black-BGBlack,
243+
.-Color-Bold-Black-BGBlack,
244+
.-Color-Black-BGGreen,
245+
.-Color-Red-BGRed,
246+
.-Color-Bold-Red-BGRed,
247+
.-Color-Bold-Blue-BGBlue,
248+
.-Color-Blue-BGBlue {
249+
text-shadow: 0 0 1px var(--ansi-white);
250+
}
251+
252+
.-Color-Bold-Cyan-BGCyan,
253+
.-Color-Bold-Magenta-BGMagenta,
254+
.-Color-Bold-White,
255+
.-Color-Bold-Yellow-BGYellow,
256+
.-Color-Bold-Green-BGGreen,
257+
.-Color-Cyan-BGCyan,
258+
.-Color-Cyan-BGGreen,
259+
.-Color-Green-BGCyan,
260+
.-Color-Green-BGGreen,
261+
.-Color-Magenta-BGMagenta,
262+
.-Color-White,
263+
.-Color-White-BGWhite,
264+
.-Color-Yellow-BGYellow {
265+
text-shadow: 0 0 1px var(--ansi-black);
266+
}

assets/javascripts/bundle.407015b8.min.js

+29
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

assets/javascripts/bundle.407015b8.min.js.map

+8
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

assets/javascripts/bundle.51d95adb.min.js

-29
This file was deleted.

assets/javascripts/bundle.51d95adb.min.js.map

-8
This file was deleted.

assets/javascripts/workers/search.e5c33ebb.min.js renamed to assets/javascripts/workers/search.208ed371.min.js

+2-2
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

assets/javascripts/workers/search.e5c33ebb.min.js.map renamed to assets/javascripts/workers/search.208ed371.min.js.map

+2-2
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

assets/stylesheets/main.558e4712.min.css

-1
This file was deleted.

assets/stylesheets/main.558e4712.min.css.map

-1
This file was deleted.

assets/stylesheets/main.7a7fce14.min.css

+1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

assets/stylesheets/main.7a7fce14.min.css.map

+1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

assets/stylesheets/palette.2505c338.min.css

-1
This file was deleted.

0 commit comments

Comments
 (0)