monadic-chat 0.1.1

Sign up to get free protection for your applications and to get access to all the features.
Files changed (55) hide show
  1. checksums.yaml +7 -0
  2. data/.rspec +3 -0
  3. data/CHANGELOG.md +9 -0
  4. data/Gemfile +4 -0
  5. data/Gemfile.lock +172 -0
  6. data/LICENSE.txt +21 -0
  7. data/README.md +652 -0
  8. data/Rakefile +12 -0
  9. data/apps/chat/chat.json +4 -0
  10. data/apps/chat/chat.md +42 -0
  11. data/apps/chat/chat.rb +79 -0
  12. data/apps/code/code.json +4 -0
  13. data/apps/code/code.md +42 -0
  14. data/apps/code/code.rb +77 -0
  15. data/apps/novel/novel.json +4 -0
  16. data/apps/novel/novel.md +36 -0
  17. data/apps/novel/novel.rb +77 -0
  18. data/apps/translate/translate.json +4 -0
  19. data/apps/translate/translate.md +37 -0
  20. data/apps/translate/translate.rb +81 -0
  21. data/assets/github.css +1036 -0
  22. data/assets/pigments-default.css +69 -0
  23. data/bin/monadic-chat +122 -0
  24. data/doc/img/code-example-time-html.png +0 -0
  25. data/doc/img/code-example-time.png +0 -0
  26. data/doc/img/example-translation.png +0 -0
  27. data/doc/img/how-research-mode-works.svg +1 -0
  28. data/doc/img/input-acess-token.png +0 -0
  29. data/doc/img/langacker-2001.svg +41 -0
  30. data/doc/img/linguistic-html.png +0 -0
  31. data/doc/img/monadic-chat-main-menu.png +0 -0
  32. data/doc/img/monadic-chat.svg +13 -0
  33. data/doc/img/readme-example-beatles-html.png +0 -0
  34. data/doc/img/readme-example-beatles.png +0 -0
  35. data/doc/img/research-mode-template.svg +198 -0
  36. data/doc/img/select-app-menu.png +0 -0
  37. data/doc/img/select-feature-menu.png +0 -0
  38. data/doc/img/state-monad.svg +154 -0
  39. data/doc/img/syntree-sample.png +0 -0
  40. data/lib/monadic_app.rb +115 -0
  41. data/lib/monadic_chat/console.rb +29 -0
  42. data/lib/monadic_chat/formatting.rb +110 -0
  43. data/lib/monadic_chat/helper.rb +72 -0
  44. data/lib/monadic_chat/interaction.rb +41 -0
  45. data/lib/monadic_chat/internals.rb +269 -0
  46. data/lib/monadic_chat/menu.rb +189 -0
  47. data/lib/monadic_chat/open_ai.rb +150 -0
  48. data/lib/monadic_chat/parameters.rb +109 -0
  49. data/lib/monadic_chat/version.rb +5 -0
  50. data/lib/monadic_chat.rb +190 -0
  51. data/monadic_chat.gemspec +54 -0
  52. data/samples/linguistic/linguistic.json +17 -0
  53. data/samples/linguistic/linguistic.md +39 -0
  54. data/samples/linguistic/linguistic.rb +74 -0
  55. metadata +343 -0
data/assets/github.css ADDED
@@ -0,0 +1,1036 @@
1
+ @media (prefers-color-scheme: dark) {
2
+ .markdown-body {
3
+ color-scheme: dark;
4
+ --color-prettylights-syntax-comment: #8b949e;
5
+ --color-prettylights-syntax-constant: #79c0ff;
6
+ --color-prettylights-syntax-entity: #d2a8ff;
7
+ --color-prettylights-syntax-storage-modifier-import: #c9d1d9;
8
+ --color-prettylights-syntax-entity-tag: #7ee787;
9
+ --color-prettylights-syntax-keyword: #ff7b72;
10
+ --color-prettylights-syntax-string: #a5d6ff;
11
+ --color-prettylights-syntax-variable: #ffa657;
12
+ --color-prettylights-syntax-brackethighlighter-unmatched: #f85149;
13
+ --color-prettylights-syntax-invalid-illegal-text: #f0f6fc;
14
+ --color-prettylights-syntax-invalid-illegal-bg: #8e1519;
15
+ --color-prettylights-syntax-carriage-return-text: #f0f6fc;
16
+ --color-prettylights-syntax-carriage-return-bg: #b62324;
17
+ --color-prettylights-syntax-string-regexp: #7ee787;
18
+ --color-prettylights-syntax-markup-list: #f2cc60;
19
+ --color-prettylights-syntax-markup-heading: #1f6feb;
20
+ --color-prettylights-syntax-markup-italic: #c9d1d9;
21
+ --color-prettylights-syntax-markup-bold: #c9d1d9;
22
+ --color-prettylights-syntax-markup-deleted-text: #ffdcd7;
23
+ --color-prettylights-syntax-markup-deleted-bg: #67060c;
24
+ --color-prettylights-syntax-markup-inserted-text: #aff5b4;
25
+ --color-prettylights-syntax-markup-inserted-bg: #033a16;
26
+ --color-prettylights-syntax-markup-changed-text: #ffdfb6;
27
+ --color-prettylights-syntax-markup-changed-bg: #5a1e02;
28
+ --color-prettylights-syntax-markup-ignored-text: #c9d1d9;
29
+ --color-prettylights-syntax-markup-ignored-bg: #1158c7;
30
+ --color-prettylights-syntax-meta-diff-range: #d2a8ff;
31
+ --color-prettylights-syntax-brackethighlighter-angle: #8b949e;
32
+ --color-prettylights-syntax-sublimelinter-gutter-mark: #484f58;
33
+ --color-prettylights-syntax-constant-other-reference-link: #a5d6ff;
34
+ --color-fg-default: #c9d1d9;
35
+ --color-fg-muted: #8b949e;
36
+ --color-fg-subtle: #484f58;
37
+ --color-canvas-default: #0d1117;
38
+ --color-canvas-subtle: #161b22;
39
+ --color-border-default: #30363d;
40
+ --color-border-muted: #21262d;
41
+ --color-neutral-muted: rgba(110,118,129,0.4);
42
+ --color-accent-fg: #58a6ff;
43
+ --color-accent-emphasis: #1f6feb;
44
+ --color-attention-subtle: rgba(187,128,9,0.15);
45
+ --color-danger-fg: #f85149;
46
+ }
47
+ }
48
+
49
+ @media (prefers-color-scheme: light) {
50
+ .markdown-body {
51
+ color-scheme: light;
52
+ --color-prettylights-syntax-comment: #6e7781;
53
+ --color-prettylights-syntax-constant: #0550ae;
54
+ --color-prettylights-syntax-entity: #8250df;
55
+ --color-prettylights-syntax-storage-modifier-import: #24292f;
56
+ --color-prettylights-syntax-entity-tag: #116329;
57
+ --color-prettylights-syntax-keyword: #cf222e;
58
+ --color-prettylights-syntax-string: #0a3069;
59
+ --color-prettylights-syntax-variable: #953800;
60
+ --color-prettylights-syntax-brackethighlighter-unmatched: #82071e;
61
+ --color-prettylights-syntax-invalid-illegal-text: #f6f8fa;
62
+ --color-prettylights-syntax-invalid-illegal-bg: #82071e;
63
+ --color-prettylights-syntax-carriage-return-text: #f6f8fa;
64
+ --color-prettylights-syntax-carriage-return-bg: #cf222e;
65
+ --color-prettylights-syntax-string-regexp: #116329;
66
+ --color-prettylights-syntax-markup-list: #3b2300;
67
+ --color-prettylights-syntax-markup-heading: #0550ae;
68
+ --color-prettylights-syntax-markup-italic: #24292f;
69
+ --color-prettylights-syntax-markup-bold: #24292f;
70
+ --color-prettylights-syntax-markup-deleted-text: #82071e;
71
+ --color-prettylights-syntax-markup-deleted-bg: #FFEBE9;
72
+ --color-prettylights-syntax-markup-inserted-text: #116329;
73
+ --color-prettylights-syntax-markup-inserted-bg: #dafbe1;
74
+ --color-prettylights-syntax-markup-changed-text: #953800;
75
+ --color-prettylights-syntax-markup-changed-bg: #ffd8b5;
76
+ --color-prettylights-syntax-markup-ignored-text: #eaeef2;
77
+ --color-prettylights-syntax-markup-ignored-bg: #0550ae;
78
+ --color-prettylights-syntax-meta-diff-range: #8250df;
79
+ --color-prettylights-syntax-brackethighlighter-angle: #57606a;
80
+ --color-prettylights-syntax-sublimelinter-gutter-mark: #8c959f;
81
+ --color-prettylights-syntax-constant-other-reference-link: #0a3069;
82
+ --color-fg-default: #24292f;
83
+ --color-fg-muted: #57606a;
84
+ --color-fg-subtle: #6e7781;
85
+ --color-canvas-default: #ffffff;
86
+ --color-canvas-subtle: #f6f8fa;
87
+ --color-border-default: #d0d7de;
88
+ --color-border-muted: hsla(210,18%,87%,1);
89
+ --color-neutral-muted: rgba(175,184,193,0.2);
90
+ --color-accent-fg: #0969da;
91
+ --color-accent-emphasis: #0969da;
92
+ --color-attention-subtle: #fff8c5;
93
+ --color-danger-fg: #cf222e;
94
+ }
95
+ }
96
+
97
+ .markdown-body {
98
+ -ms-text-size-adjust: 100%;
99
+ -webkit-text-size-adjust: 100%;
100
+ margin: 0;
101
+ color: var(--color-fg-default);
102
+ background-color: var(--color-canvas-default);
103
+ font-family: -apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";
104
+ font-size: 16px;
105
+ line-height: 1.5;
106
+ word-wrap: break-word;
107
+ }
108
+
109
+ .markdown-body .octicon {
110
+ display: inline-block;
111
+ fill: currentColor;
112
+ vertical-align: text-bottom;
113
+ }
114
+
115
+ .markdown-body h1:hover .anchor .octicon-link:before,
116
+ .markdown-body h2:hover .anchor .octicon-link:before,
117
+ .markdown-body h3:hover .anchor .octicon-link:before,
118
+ .markdown-body h4:hover .anchor .octicon-link:before,
119
+ .markdown-body h5:hover .anchor .octicon-link:before,
120
+ .markdown-body h6:hover .anchor .octicon-link:before {
121
+ width: 16px;
122
+ height: 16px;
123
+ content: ' ';
124
+ display: inline-block;
125
+ background-color: currentColor;
126
+ -webkit-mask-image: url("data:image/svg+xml,<svg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16' version='1.1' aria-hidden='true'><path fill-rule='evenodd' d='M7.775 3.275a.75.75 0 001.06 1.06l1.25-1.25a2 2 0 112.83 2.83l-2.5 2.5a2 2 0 01-2.83 0 .75.75 0 00-1.06 1.06 3.5 3.5 0 004.95 0l2.5-2.5a3.5 3.5 0 00-4.95-4.95l-1.25 1.25zm-4.69 9.64a2 2 0 010-2.83l2.5-2.5a2 2 0 012.83 0 .75.75 0 001.06-1.06 3.5 3.5 0 00-4.95 0l-2.5 2.5a3.5 3.5 0 004.95 4.95l1.25-1.25a.75.75 0 00-1.06-1.06l-1.25 1.25a2 2 0 01-2.83 0z'></path></svg>");
127
+ mask-image: url("data:image/svg+xml,<svg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16' version='1.1' aria-hidden='true'><path fill-rule='evenodd' d='M7.775 3.275a.75.75 0 001.06 1.06l1.25-1.25a2 2 0 112.83 2.83l-2.5 2.5a2 2 0 01-2.83 0 .75.75 0 00-1.06 1.06 3.5 3.5 0 004.95 0l2.5-2.5a3.5 3.5 0 00-4.95-4.95l-1.25 1.25zm-4.69 9.64a2 2 0 010-2.83l2.5-2.5a2 2 0 012.83 0 .75.75 0 001.06-1.06 3.5 3.5 0 00-4.95 0l-2.5 2.5a3.5 3.5 0 004.95 4.95l1.25-1.25a.75.75 0 00-1.06-1.06l-1.25 1.25a2 2 0 01-2.83 0z'></path></svg>");
128
+ }
129
+
130
+ .markdown-body details,
131
+ .markdown-body figcaption,
132
+ .markdown-body figure {
133
+ display: block;
134
+ }
135
+
136
+ .markdown-body summary {
137
+ display: list-item;
138
+ }
139
+
140
+ .markdown-body [hidden] {
141
+ display: none !important;
142
+ }
143
+
144
+ .markdown-body a {
145
+ background-color: transparent;
146
+ color: var(--color-accent-fg);
147
+ text-decoration: none;
148
+ }
149
+
150
+ .markdown-body a:active,
151
+ .markdown-body a:hover {
152
+ outline-width: 0;
153
+ }
154
+
155
+ .markdown-body abbr[title] {
156
+ border-bottom: none;
157
+ text-decoration: underline dotted;
158
+ }
159
+
160
+ .markdown-body b,
161
+ .markdown-body strong {
162
+ font-weight: 600;
163
+ }
164
+
165
+ .markdown-body dfn {
166
+ font-style: italic;
167
+ }
168
+
169
+ .markdown-body h1 {
170
+ margin: .67em 0;
171
+ font-weight: 600;
172
+ padding-bottom: .3em;
173
+ font-size: 2em;
174
+ border-bottom: 1px solid var(--color-border-muted);
175
+ }
176
+
177
+ .markdown-body mark {
178
+ background-color: var(--color-attention-subtle);
179
+ color: var(--color-text-primary);
180
+ }
181
+
182
+ .markdown-body small {
183
+ font-size: 90%;
184
+ }
185
+
186
+ .markdown-body sub,
187
+ .markdown-body sup {
188
+ font-size: 75%;
189
+ line-height: 0;
190
+ position: relative;
191
+ vertical-align: baseline;
192
+ }
193
+
194
+ .markdown-body sub {
195
+ bottom: -0.25em;
196
+ }
197
+
198
+ .markdown-body sup {
199
+ top: -0.5em;
200
+ }
201
+
202
+ .markdown-body img {
203
+ border-style: none;
204
+ max-width: 100%;
205
+ box-sizing: content-box;
206
+ background-color: var(--color-canvas-default);
207
+ }
208
+
209
+ .markdown-body code,
210
+ .markdown-body kbd,
211
+ .markdown-body pre,
212
+ .markdown-body samp {
213
+ font-family: monospace,monospace;
214
+ font-size: 1em;
215
+ }
216
+
217
+ .markdown-body figure {
218
+ margin: 1em 40px;
219
+ }
220
+
221
+ .markdown-body hr {
222
+ box-sizing: content-box;
223
+ overflow: hidden;
224
+ background: transparent;
225
+ border-bottom: 1px solid var(--color-border-muted);
226
+ height: .25em;
227
+ padding: 0;
228
+ margin: 24px 0;
229
+ background-color: var(--color-border-default);
230
+ border: 0;
231
+ }
232
+
233
+ .markdown-body input {
234
+ font: inherit;
235
+ margin: 0;
236
+ overflow: visible;
237
+ font-family: inherit;
238
+ font-size: inherit;
239
+ line-height: inherit;
240
+ }
241
+
242
+ .markdown-body [type=button],
243
+ .markdown-body [type=reset],
244
+ .markdown-body [type=submit] {
245
+ -webkit-appearance: button;
246
+ }
247
+
248
+ .markdown-body [type=button]::-moz-focus-inner,
249
+ .markdown-body [type=reset]::-moz-focus-inner,
250
+ .markdown-body [type=submit]::-moz-focus-inner {
251
+ border-style: none;
252
+ padding: 0;
253
+ }
254
+
255
+ .markdown-body [type=button]:-moz-focusring,
256
+ .markdown-body [type=reset]:-moz-focusring,
257
+ .markdown-body [type=submit]:-moz-focusring {
258
+ outline: 1px dotted ButtonText;
259
+ }
260
+
261
+ .markdown-body [type=checkbox],
262
+ .markdown-body [type=radio] {
263
+ box-sizing: border-box;
264
+ padding: 0;
265
+ }
266
+
267
+ .markdown-body [type=number]::-webkit-inner-spin-button,
268
+ .markdown-body [type=number]::-webkit-outer-spin-button {
269
+ height: auto;
270
+ }
271
+
272
+ .markdown-body [type=search] {
273
+ -webkit-appearance: textfield;
274
+ outline-offset: -2px;
275
+ }
276
+
277
+ .markdown-body [type=search]::-webkit-search-cancel-button,
278
+ .markdown-body [type=search]::-webkit-search-decoration {
279
+ -webkit-appearance: none;
280
+ }
281
+
282
+ .markdown-body ::-webkit-input-placeholder {
283
+ color: inherit;
284
+ opacity: .54;
285
+ }
286
+
287
+ .markdown-body ::-webkit-file-upload-button {
288
+ -webkit-appearance: button;
289
+ font: inherit;
290
+ }
291
+
292
+ .markdown-body a:hover {
293
+ text-decoration: underline;
294
+ }
295
+
296
+ .markdown-body hr::before {
297
+ display: table;
298
+ content: "";
299
+ }
300
+
301
+ .markdown-body hr::after {
302
+ display: table;
303
+ clear: both;
304
+ content: "";
305
+ }
306
+
307
+ .markdown-body table {
308
+ border-spacing: 0;
309
+ border-collapse: collapse;
310
+ display: block;
311
+ width: max-content;
312
+ max-width: 100%;
313
+ overflow: auto;
314
+ }
315
+
316
+ .markdown-body td,
317
+ .markdown-body th {
318
+ padding: 0;
319
+ }
320
+
321
+ .markdown-body details summary {
322
+ cursor: pointer;
323
+ }
324
+
325
+ .markdown-body details:not([open])>*:not(summary) {
326
+ display: none !important;
327
+ }
328
+
329
+ .markdown-body kbd {
330
+ display: inline-block;
331
+ padding: 3px 5px;
332
+ font: 11px ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,Liberation Mono,monospace;
333
+ line-height: 10px;
334
+ color: var(--color-fg-default);
335
+ vertical-align: middle;
336
+ background-color: var(--color-canvas-subtle);
337
+ border: solid 1px var(--color-neutral-muted);
338
+ border-bottom-color: var(--color-neutral-muted);
339
+ border-radius: 6px;
340
+ box-shadow: inset 0 -1px 0 var(--color-neutral-muted);
341
+ }
342
+
343
+ .markdown-body h1,
344
+ .markdown-body h2,
345
+ .markdown-body h3,
346
+ .markdown-body h4,
347
+ .markdown-body h5,
348
+ .markdown-body h6 {
349
+ margin-top: 24px;
350
+ margin-bottom: 16px;
351
+ font-weight: 600;
352
+ line-height: 1.25;
353
+ }
354
+
355
+ .markdown-body h2 {
356
+ font-weight: 600;
357
+ padding-bottom: .3em;
358
+ font-size: 1.5em;
359
+ border-bottom: 1px solid var(--color-border-muted);
360
+ }
361
+
362
+ .markdown-body h3 {
363
+ font-weight: 600;
364
+ font-size: 1.25em;
365
+ }
366
+
367
+ .markdown-body h4 {
368
+ font-weight: 600;
369
+ font-size: 1em;
370
+ }
371
+
372
+ .markdown-body h5 {
373
+ font-weight: 600;
374
+ font-size: .875em;
375
+ }
376
+
377
+ .markdown-body h6 {
378
+ font-weight: 600;
379
+ font-size: .85em;
380
+ color: var(--color-fg-muted);
381
+ }
382
+
383
+ .markdown-body p {
384
+ margin-top: 0;
385
+ margin-bottom: 10px;
386
+ }
387
+
388
+ .markdown-body blockquote {
389
+ margin: 0;
390
+ padding: 0 1em;
391
+ color: var(--color-fg-muted);
392
+ border-left: .25em solid var(--color-border-default);
393
+ }
394
+
395
+ .markdown-body ul,
396
+ .markdown-body ol {
397
+ margin-top: 0;
398
+ margin-bottom: 0;
399
+ padding-left: 2em;
400
+ }
401
+
402
+ .markdown-body ol ol,
403
+ .markdown-body ul ol {
404
+ list-style-type: lower-roman;
405
+ }
406
+
407
+ .markdown-body ul ul ol,
408
+ .markdown-body ul ol ol,
409
+ .markdown-body ol ul ol,
410
+ .markdown-body ol ol ol {
411
+ list-style-type: lower-alpha;
412
+ }
413
+
414
+ .markdown-body dd {
415
+ margin-left: 0;
416
+ }
417
+
418
+ .markdown-body tt,
419
+ .markdown-body code {
420
+ font-family: ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,Liberation Mono,monospace;
421
+ font-size: 12px;
422
+ }
423
+
424
+ .markdown-body pre {
425
+ margin-top: 0;
426
+ margin-bottom: 0;
427
+ font-family: ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,Liberation Mono,monospace;
428
+ font-size: 12px;
429
+ word-wrap: normal;
430
+ }
431
+
432
+ .markdown-body .octicon {
433
+ display: inline-block;
434
+ overflow: visible !important;
435
+ vertical-align: text-bottom;
436
+ fill: currentColor;
437
+ }
438
+
439
+ .markdown-body ::placeholder {
440
+ color: var(--color-fg-subtle);
441
+ opacity: 1;
442
+ }
443
+
444
+ .markdown-body input::-webkit-outer-spin-button,
445
+ .markdown-body input::-webkit-inner-spin-button {
446
+ margin: 0;
447
+ -webkit-appearance: none;
448
+ appearance: none;
449
+ }
450
+
451
+ .markdown-body .pl-c {
452
+ color: var(--color-prettylights-syntax-comment);
453
+ }
454
+
455
+ .markdown-body .pl-c1,
456
+ .markdown-body .pl-s .pl-v {
457
+ color: var(--color-prettylights-syntax-constant);
458
+ }
459
+
460
+ .markdown-body .pl-e,
461
+ .markdown-body .pl-en {
462
+ color: var(--color-prettylights-syntax-entity);
463
+ }
464
+
465
+ .markdown-body .pl-smi,
466
+ .markdown-body .pl-s .pl-s1 {
467
+ color: var(--color-prettylights-syntax-storage-modifier-import);
468
+ }
469
+
470
+ .markdown-body .pl-ent {
471
+ color: var(--color-prettylights-syntax-entity-tag);
472
+ }
473
+
474
+ .markdown-body .pl-k {
475
+ color: var(--color-prettylights-syntax-keyword);
476
+ }
477
+
478
+ .markdown-body .pl-s,
479
+ .markdown-body .pl-pds,
480
+ .markdown-body .pl-s .pl-pse .pl-s1,
481
+ .markdown-body .pl-sr,
482
+ .markdown-body .pl-sr .pl-cce,
483
+ .markdown-body .pl-sr .pl-sre,
484
+ .markdown-body .pl-sr .pl-sra {
485
+ color: var(--color-prettylights-syntax-string);
486
+ }
487
+
488
+ .markdown-body .pl-v,
489
+ .markdown-body .pl-smw {
490
+ color: var(--color-prettylights-syntax-variable);
491
+ }
492
+
493
+ .markdown-body .pl-bu {
494
+ color: var(--color-prettylights-syntax-brackethighlighter-unmatched);
495
+ }
496
+
497
+ .markdown-body .pl-ii {
498
+ color: var(--color-prettylights-syntax-invalid-illegal-text);
499
+ background-color: var(--color-prettylights-syntax-invalid-illegal-bg);
500
+ }
501
+
502
+ .markdown-body .pl-c2 {
503
+ color: var(--color-prettylights-syntax-carriage-return-text);
504
+ background-color: var(--color-prettylights-syntax-carriage-return-bg);
505
+ }
506
+
507
+ .markdown-body .pl-sr .pl-cce {
508
+ font-weight: bold;
509
+ color: var(--color-prettylights-syntax-string-regexp);
510
+ }
511
+
512
+ .markdown-body .pl-ml {
513
+ color: var(--color-prettylights-syntax-markup-list);
514
+ }
515
+
516
+ .markdown-body .pl-mh,
517
+ .markdown-body .pl-mh .pl-en,
518
+ .markdown-body .pl-ms {
519
+ font-weight: bold;
520
+ color: var(--color-prettylights-syntax-markup-heading);
521
+ }
522
+
523
+ .markdown-body .pl-mi {
524
+ font-style: italic;
525
+ color: var(--color-prettylights-syntax-markup-italic);
526
+ }
527
+
528
+ .markdown-body .pl-mb {
529
+ font-weight: bold;
530
+ color: var(--color-prettylights-syntax-markup-bold);
531
+ }
532
+
533
+ .markdown-body .pl-md {
534
+ color: var(--color-prettylights-syntax-markup-deleted-text);
535
+ background-color: var(--color-prettylights-syntax-markup-deleted-bg);
536
+ }
537
+
538
+ .markdown-body .pl-mi1 {
539
+ color: var(--color-prettylights-syntax-markup-inserted-text);
540
+ background-color: var(--color-prettylights-syntax-markup-inserted-bg);
541
+ }
542
+
543
+ .markdown-body .pl-mc {
544
+ color: var(--color-prettylights-syntax-markup-changed-text);
545
+ background-color: var(--color-prettylights-syntax-markup-changed-bg);
546
+ }
547
+
548
+ .markdown-body .pl-mi2 {
549
+ color: var(--color-prettylights-syntax-markup-ignored-text);
550
+ background-color: var(--color-prettylights-syntax-markup-ignored-bg);
551
+ }
552
+
553
+ .markdown-body .pl-mdr {
554
+ font-weight: bold;
555
+ color: var(--color-prettylights-syntax-meta-diff-range);
556
+ }
557
+
558
+ .markdown-body .pl-ba {
559
+ color: var(--color-prettylights-syntax-brackethighlighter-angle);
560
+ }
561
+
562
+ .markdown-body .pl-sg {
563
+ color: var(--color-prettylights-syntax-sublimelinter-gutter-mark);
564
+ }
565
+
566
+ .markdown-body .pl-corl {
567
+ text-decoration: underline;
568
+ color: var(--color-prettylights-syntax-constant-other-reference-link);
569
+ }
570
+
571
+ .markdown-body [data-catalyst] {
572
+ display: block;
573
+ }
574
+
575
+ .markdown-body g-emoji {
576
+ font-family: "Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";
577
+ font-size: 1em;
578
+ font-style: normal !important;
579
+ font-weight: 400;
580
+ line-height: 1;
581
+ vertical-align: -0.075em;
582
+ }
583
+
584
+ .markdown-body g-emoji img {
585
+ width: 1em;
586
+ height: 1em;
587
+ }
588
+
589
+ .markdown-body::before {
590
+ display: table;
591
+ content: "";
592
+ }
593
+
594
+ .markdown-body::after {
595
+ display: table;
596
+ clear: both;
597
+ content: "";
598
+ }
599
+
600
+ .markdown-body>*:first-child {
601
+ margin-top: 0 !important;
602
+ }
603
+
604
+ .markdown-body>*:last-child {
605
+ margin-bottom: 0 !important;
606
+ }
607
+
608
+ .markdown-body a:not([href]) {
609
+ color: inherit;
610
+ text-decoration: none;
611
+ }
612
+
613
+ .markdown-body .absent {
614
+ color: var(--color-danger-fg);
615
+ }
616
+
617
+ .markdown-body .anchor {
618
+ float: left;
619
+ padding-right: 4px;
620
+ margin-left: -20px;
621
+ line-height: 1;
622
+ }
623
+
624
+ .markdown-body .anchor:focus {
625
+ outline: none;
626
+ }
627
+
628
+ .markdown-body p,
629
+ .markdown-body blockquote,
630
+ .markdown-body ul,
631
+ .markdown-body ol,
632
+ .markdown-body dl,
633
+ .markdown-body table,
634
+ .markdown-body pre,
635
+ .markdown-body details {
636
+ margin-top: 0;
637
+ margin-bottom: 16px;
638
+ }
639
+
640
+ .markdown-body blockquote>:first-child {
641
+ margin-top: 0;
642
+ }
643
+
644
+ .markdown-body blockquote>:last-child {
645
+ margin-bottom: 0;
646
+ }
647
+
648
+ .markdown-body sup>a::before {
649
+ content: "[";
650
+ }
651
+
652
+ .markdown-body sup>a::after {
653
+ content: "]";
654
+ }
655
+
656
+ .markdown-body h1 .octicon-link,
657
+ .markdown-body h2 .octicon-link,
658
+ .markdown-body h3 .octicon-link,
659
+ .markdown-body h4 .octicon-link,
660
+ .markdown-body h5 .octicon-link,
661
+ .markdown-body h6 .octicon-link {
662
+ color: var(--color-fg-default);
663
+ vertical-align: middle;
664
+ visibility: hidden;
665
+ }
666
+
667
+ .markdown-body h1:hover .anchor,
668
+ .markdown-body h2:hover .anchor,
669
+ .markdown-body h3:hover .anchor,
670
+ .markdown-body h4:hover .anchor,
671
+ .markdown-body h5:hover .anchor,
672
+ .markdown-body h6:hover .anchor {
673
+ text-decoration: none;
674
+ }
675
+
676
+ .markdown-body h1:hover .anchor .octicon-link,
677
+ .markdown-body h2:hover .anchor .octicon-link,
678
+ .markdown-body h3:hover .anchor .octicon-link,
679
+ .markdown-body h4:hover .anchor .octicon-link,
680
+ .markdown-body h5:hover .anchor .octicon-link,
681
+ .markdown-body h6:hover .anchor .octicon-link {
682
+ visibility: visible;
683
+ }
684
+
685
+ .markdown-body h1 tt,
686
+ .markdown-body h1 code,
687
+ .markdown-body h2 tt,
688
+ .markdown-body h2 code,
689
+ .markdown-body h3 tt,
690
+ .markdown-body h3 code,
691
+ .markdown-body h4 tt,
692
+ .markdown-body h4 code,
693
+ .markdown-body h5 tt,
694
+ .markdown-body h5 code,
695
+ .markdown-body h6 tt,
696
+ .markdown-body h6 code {
697
+ padding: 0 .2em;
698
+ font-size: inherit;
699
+ }
700
+
701
+ .markdown-body ul.no-list,
702
+ .markdown-body ol.no-list {
703
+ padding: 0;
704
+ list-style-type: none;
705
+ }
706
+
707
+ .markdown-body ol[type="1"] {
708
+ list-style-type: decimal;
709
+ }
710
+
711
+ .markdown-body ol[type=a] {
712
+ list-style-type: lower-alpha;
713
+ }
714
+
715
+ .markdown-body ol[type=i] {
716
+ list-style-type: lower-roman;
717
+ }
718
+
719
+ .markdown-body div>ol:not([type]) {
720
+ list-style-type: decimal;
721
+ }
722
+
723
+ .markdown-body ul ul,
724
+ .markdown-body ul ol,
725
+ .markdown-body ol ol,
726
+ .markdown-body ol ul {
727
+ margin-top: 0;
728
+ margin-bottom: 0;
729
+ }
730
+
731
+ .markdown-body li>p {
732
+ margin-top: 16px;
733
+ }
734
+
735
+ .markdown-body li+li {
736
+ margin-top: .25em;
737
+ }
738
+
739
+ .markdown-body dl {
740
+ padding: 0;
741
+ }
742
+
743
+ .markdown-body dl dt {
744
+ padding: 0;
745
+ margin-top: 16px;
746
+ font-size: 1em;
747
+ font-style: italic;
748
+ font-weight: 600;
749
+ }
750
+
751
+ .markdown-body dl dd {
752
+ padding: 0 16px;
753
+ margin-bottom: 16px;
754
+ }
755
+
756
+ .markdown-body table th {
757
+ font-weight: 600;
758
+ }
759
+
760
+ .markdown-body table th,
761
+ .markdown-body table td {
762
+ padding: 6px 13px;
763
+ border: 1px solid var(--color-border-default);
764
+ }
765
+
766
+ .markdown-body table tr {
767
+ background-color: var(--color-canvas-default);
768
+ border-top: 1px solid var(--color-border-muted);
769
+ }
770
+
771
+ .markdown-body table tr:nth-child(2n) {
772
+ background-color: var(--color-canvas-subtle);
773
+ }
774
+
775
+ .markdown-body table img {
776
+ background-color: transparent;
777
+ }
778
+
779
+ .markdown-body img[align=right] {
780
+ padding-left: 20px;
781
+ }
782
+
783
+ .markdown-body img[align=left] {
784
+ padding-right: 20px;
785
+ }
786
+
787
+ .markdown-body .emoji {
788
+ max-width: none;
789
+ vertical-align: text-top;
790
+ background-color: transparent;
791
+ }
792
+
793
+ .markdown-body span.frame {
794
+ display: block;
795
+ overflow: hidden;
796
+ }
797
+
798
+ .markdown-body span.frame>span {
799
+ display: block;
800
+ float: left;
801
+ width: auto;
802
+ padding: 7px;
803
+ margin: 13px 0 0;
804
+ overflow: hidden;
805
+ border: 1px solid var(--color-border-default);
806
+ }
807
+
808
+ .markdown-body span.frame span img {
809
+ display: block;
810
+ float: left;
811
+ }
812
+
813
+ .markdown-body span.frame span span {
814
+ display: block;
815
+ padding: 5px 0 0;
816
+ clear: both;
817
+ color: var(--color-fg-default);
818
+ }
819
+
820
+ .markdown-body span.align-center {
821
+ display: block;
822
+ overflow: hidden;
823
+ clear: both;
824
+ }
825
+
826
+ .markdown-body span.align-center>span {
827
+ display: block;
828
+ margin: 13px auto 0;
829
+ overflow: hidden;
830
+ text-align: center;
831
+ }
832
+
833
+ .markdown-body span.align-center span img {
834
+ margin: 0 auto;
835
+ text-align: center;
836
+ }
837
+
838
+ .markdown-body span.align-right {
839
+ display: block;
840
+ overflow: hidden;
841
+ clear: both;
842
+ }
843
+
844
+ .markdown-body span.align-right>span {
845
+ display: block;
846
+ margin: 13px 0 0;
847
+ overflow: hidden;
848
+ text-align: right;
849
+ }
850
+
851
+ .markdown-body span.align-right span img {
852
+ margin: 0;
853
+ text-align: right;
854
+ }
855
+
856
+ .markdown-body span.float-left {
857
+ display: block;
858
+ float: left;
859
+ margin-right: 13px;
860
+ overflow: hidden;
861
+ }
862
+
863
+ .markdown-body span.float-left span {
864
+ margin: 13px 0 0;
865
+ }
866
+
867
+ .markdown-body span.float-right {
868
+ display: block;
869
+ float: right;
870
+ margin-left: 13px;
871
+ overflow: hidden;
872
+ }
873
+
874
+ .markdown-body span.float-right>span {
875
+ display: block;
876
+ margin: 13px auto 0;
877
+ overflow: hidden;
878
+ text-align: right;
879
+ }
880
+
881
+ .markdown-body code,
882
+ .markdown-body tt {
883
+ padding: .2em .4em;
884
+ margin: 0;
885
+ font-size: 85%;
886
+ background-color: var(--color-neutral-muted);
887
+ border-radius: 6px;
888
+ }
889
+
890
+ .markdown-body code br,
891
+ .markdown-body tt br {
892
+ display: none;
893
+ }
894
+
895
+ .markdown-body del code {
896
+ text-decoration: inherit;
897
+ }
898
+
899
+ .markdown-body pre code {
900
+ font-size: 100%;
901
+ }
902
+
903
+ .markdown-body pre>code {
904
+ padding: 0;
905
+ margin: 0;
906
+ word-break: normal;
907
+ white-space: pre;
908
+ background: transparent;
909
+ border: 0;
910
+ }
911
+
912
+ .markdown-body .highlight {
913
+ margin-bottom: 16px;
914
+ }
915
+
916
+ .markdown-body .highlight pre {
917
+ margin-bottom: 0;
918
+ word-break: normal;
919
+ }
920
+
921
+ .markdown-body .highlight pre,
922
+ .markdown-body pre {
923
+ padding: 16px;
924
+ overflow: auto;
925
+ font-size: 85%;
926
+ line-height: 1.45;
927
+ background-color: var(--color-canvas-subtle);
928
+ border-radius: 6px;
929
+ }
930
+
931
+ .markdown-body pre code,
932
+ .markdown-body pre tt {
933
+ display: inline;
934
+ max-width: auto;
935
+ padding: 0;
936
+ margin: 0;
937
+ overflow: visible;
938
+ line-height: inherit;
939
+ word-wrap: normal;
940
+ background-color: transparent;
941
+ border: 0;
942
+ }
943
+
944
+ .markdown-body .csv-data td,
945
+ .markdown-body .csv-data th {
946
+ padding: 5px;
947
+ overflow: hidden;
948
+ font-size: 12px;
949
+ line-height: 1;
950
+ text-align: left;
951
+ white-space: nowrap;
952
+ }
953
+
954
+ .markdown-body .csv-data .blob-num {
955
+ padding: 10px 8px 9px;
956
+ text-align: right;
957
+ background: var(--color-canvas-default);
958
+ border: 0;
959
+ }
960
+
961
+ .markdown-body .csv-data tr {
962
+ border-top: 0;
963
+ }
964
+
965
+ .markdown-body .csv-data th {
966
+ font-weight: 600;
967
+ background: var(--color-canvas-subtle);
968
+ border-top: 0;
969
+ }
970
+
971
+ .markdown-body .footnotes {
972
+ font-size: 12px;
973
+ color: var(--color-fg-muted);
974
+ border-top: 1px solid var(--color-border-default);
975
+ }
976
+
977
+ .markdown-body .footnotes ol {
978
+ padding-left: 16px;
979
+ }
980
+
981
+ .markdown-body .footnotes li {
982
+ position: relative;
983
+ }
984
+
985
+ .markdown-body .footnotes li:target::before {
986
+ position: absolute;
987
+ top: -8px;
988
+ right: -8px;
989
+ bottom: -8px;
990
+ left: -24px;
991
+ pointer-events: none;
992
+ content: "";
993
+ border: 2px solid var(--color-accent-emphasis);
994
+ border-radius: 6px;
995
+ }
996
+
997
+ .markdown-body .footnotes li:target {
998
+ color: var(--color-fg-default);
999
+ }
1000
+
1001
+ .markdown-body .footnotes .data-footnote-backref g-emoji {
1002
+ font-family: monospace;
1003
+ }
1004
+
1005
+ .markdown-body .task-list-item {
1006
+ list-style-type: none;
1007
+ }
1008
+
1009
+ .markdown-body .task-list-item label {
1010
+ font-weight: 400;
1011
+ }
1012
+
1013
+ .markdown-body .task-list-item.enabled label {
1014
+ cursor: pointer;
1015
+ }
1016
+
1017
+ .markdown-body .task-list-item+.task-list-item {
1018
+ margin-top: 3px;
1019
+ }
1020
+
1021
+ .markdown-body .task-list-item .handle {
1022
+ display: none;
1023
+ }
1024
+
1025
+ .markdown-body .task-list-item-checkbox {
1026
+ margin: 0 .2em .25em -1.6em;
1027
+ vertical-align: middle;
1028
+ }
1029
+
1030
+ .markdown-body .contains-task-list:dir(rtl) .task-list-item-checkbox {
1031
+ margin: 0 -1.6em .25em .2em;
1032
+ }
1033
+
1034
+ .markdown-body ::-webkit-calendar-picker-indicator {
1035
+ filter: invert(50%);
1036
+ }