@dodona/papyros 4.0.4 → 4.0.5

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (85) hide show
  1. package/dist/backend/Backend.js.map +1 -1
  2. package/dist/backend/workers/javascript/JavaScriptWorker.js +31 -21
  3. package/dist/backend/workers/javascript/JavaScriptWorker.js.map +1 -1
  4. package/dist/backend/workers/python/PythonWorker.js +4 -4
  5. package/dist/backend/workers/python/PythonWorker.js.map +1 -1
  6. package/dist/backend/workers/python/python_package.tar.gz.load_by_url +0 -0
  7. package/dist/communication/BackendEventQueue.js +5 -4
  8. package/dist/communication/BackendEventQueue.js.map +1 -1
  9. package/dist/communication/BackendManager.js +3 -2
  10. package/dist/communication/BackendManager.js.map +1 -1
  11. package/dist/communication/InputServiceWorker.js.map +1 -1
  12. package/dist/communication/InputWorker.js +3 -3
  13. package/dist/communication/InputWorker.js.map +1 -1
  14. package/dist/frontend/components/CodeRunner.js +2 -2
  15. package/dist/frontend/components/CodeRunner.js.map +1 -1
  16. package/dist/frontend/components/Debugger.js +22 -8
  17. package/dist/frontend/components/Debugger.js.map +1 -1
  18. package/dist/frontend/components/Input.js +5 -6
  19. package/dist/frontend/components/Input.js.map +1 -1
  20. package/dist/frontend/components/Output.js +24 -21
  21. package/dist/frontend/components/Output.js.map +1 -1
  22. package/dist/frontend/components/PapyrosElement.js.map +1 -1
  23. package/dist/frontend/components/app/App.js +13 -10
  24. package/dist/frontend/components/app/App.js.map +1 -1
  25. package/dist/frontend/components/app/ExamplePicker.js +10 -9
  26. package/dist/frontend/components/app/ExamplePicker.js.map +1 -1
  27. package/dist/frontend/components/app/LanguagePicker.js +8 -10
  28. package/dist/frontend/components/app/LanguagePicker.js.map +1 -1
  29. package/dist/frontend/components/app/ProgrammingLanguagePicker.js +12 -13
  30. package/dist/frontend/components/app/ProgrammingLanguagePicker.js.map +1 -1
  31. package/dist/frontend/components/app/examples/JavaScriptExamples.js +4 -4
  32. package/dist/frontend/components/app/examples/JavaScriptExamples.js.map +1 -1
  33. package/dist/frontend/components/app/examples/PythonExamples.js +12 -12
  34. package/dist/frontend/components/app/examples/PythonExamples.js.map +1 -1
  35. package/dist/frontend/components/app/themes/ThemePicker.js +10 -9
  36. package/dist/frontend/components/app/themes/ThemePicker.js.map +1 -1
  37. package/dist/frontend/components/app/themes/ThemedButton.js +15 -5
  38. package/dist/frontend/components/app/themes/ThemedButton.js.map +1 -1
  39. package/dist/frontend/components/code_mirror/BatchInputEditor.js +1 -4
  40. package/dist/frontend/components/code_mirror/BatchInputEditor.js.map +1 -1
  41. package/dist/frontend/components/code_mirror/CodeEditor.js +18 -24
  42. package/dist/frontend/components/code_mirror/CodeEditor.js.map +1 -1
  43. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js +9 -6
  44. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js.map +1 -1
  45. package/dist/frontend/components/code_mirror/Extensions.js +13 -18
  46. package/dist/frontend/components/code_mirror/Extensions.js.map +1 -1
  47. package/dist/frontend/components/code_mirror/MaterialTheme.js +8 -2
  48. package/dist/frontend/components/code_mirror/MaterialTheme.js.map +1 -1
  49. package/dist/frontend/components/code_runner/ButtonLint.js +14 -18
  50. package/dist/frontend/components/code_runner/ButtonLint.js.map +1 -1
  51. package/dist/frontend/components/code_runner/Code.js +6 -4
  52. package/dist/frontend/components/code_runner/Code.js.map +1 -1
  53. package/dist/frontend/components/code_runner/RunState.js +4 -4
  54. package/dist/frontend/components/code_runner/RunState.js.map +1 -1
  55. package/dist/frontend/components/input/BatchInput.js +1 -1
  56. package/dist/frontend/components/input/BatchInput.js.map +1 -1
  57. package/dist/frontend/components/input/InteractiveInput.js +9 -11
  58. package/dist/frontend/components/input/InteractiveInput.js.map +1 -1
  59. package/dist/frontend/state/Constants.d.ts +7 -7
  60. package/dist/frontend/state/Constants.js +26 -23
  61. package/dist/frontend/state/Constants.js.map +1 -1
  62. package/dist/frontend/state/Debugger.js +5 -3
  63. package/dist/frontend/state/Debugger.js.map +1 -1
  64. package/dist/frontend/state/I18n.js.map +1 -1
  65. package/dist/frontend/state/InputOutput.js +7 -6
  66. package/dist/frontend/state/InputOutput.js.map +1 -1
  67. package/dist/frontend/state/Papyros.js.map +1 -1
  68. package/dist/frontend/state/Runner.js +29 -18
  69. package/dist/frontend/state/Runner.js.map +1 -1
  70. package/dist/frontend/state/Translations.js +156 -157
  71. package/dist/frontend/state/Translations.js.map +1 -1
  72. package/dist/frontend/state/themes/blue-dark.js +52 -51
  73. package/dist/frontend/state/themes/blue-dark.js.map +1 -1
  74. package/dist/frontend/state/themes/blue-light.js +52 -51
  75. package/dist/frontend/state/themes/blue-light.js.map +1 -1
  76. package/dist/frontend/state/themes/green-dark.js +52 -51
  77. package/dist/frontend/state/themes/green-dark.js.map +1 -1
  78. package/dist/frontend/state/themes/green-light.js +52 -51
  79. package/dist/frontend/state/themes/green-light.js.map +1 -1
  80. package/dist/frontend/state/themes/red-dark.js +52 -51
  81. package/dist/frontend/state/themes/red-dark.js.map +1 -1
  82. package/dist/frontend/state/themes/red-light.js +52 -51
  83. package/dist/frontend/state/themes/red-light.js.map +1 -1
  84. package/dist/util/Logging.js.map +1 -1
  85. package/package.json +7 -2
@@ -1,55 +1,56 @@
1
1
  import { css } from "lit";
2
2
  export default css `
3
- :root, :host {
4
- --md-sys-color-primary: rgb(173 198 255);
5
- --md-sys-color-surface-tint: rgb(173 198 255);
6
- --md-sys-color-on-primary: rgb(16 47 96);
7
- --md-sys-color-primary-container: rgb(43 70 120);
8
- --md-sys-color-on-primary-container: rgb(216 226 255);
9
- --md-sys-color-secondary: rgb(223 197 109);
10
- --md-sys-color-on-secondary: rgb(59 47 0);
11
- --md-sys-color-secondary-container: rgb(86 69 0);
12
- --md-sys-color-on-secondary-container: rgb(253 225 134);
13
- --md-sys-color-tertiary: rgb(136 209 235);
14
- --md-sys-color-on-tertiary: rgb(0 53 67);
15
- --md-sys-color-tertiary-container: rgb(0 78 96);
16
- --md-sys-color-on-tertiary-container: rgb(182 234 255);
17
- --md-sys-color-error: rgb(255 180 171);
18
- --md-sys-color-on-error: rgb(105 0 5);
19
- --md-sys-color-error-container: rgb(147 0 10);
20
- --md-sys-color-on-error-container: rgb(255 218 214);
21
- --md-sys-color-background: rgb(17 19 24);
22
- --md-sys-color-on-background: rgb(226 226 233);
23
- --md-sys-color-surface: rgb(14 20 21);
24
- --md-sys-color-on-surface: rgb(222 227 229);
25
- --md-sys-color-surface-variant: rgb(63 72 74);
26
- --md-sys-color-on-surface-variant: rgb(191 200 202);
27
- --md-sys-color-outline: rgb(137 146 148);
28
- --md-sys-color-outline-variant: rgb(63 72 74);
29
- --md-sys-color-shadow: rgb(0 0 0);
30
- --md-sys-color-scrim: rgb(0 0 0);
31
- --md-sys-color-inverse-surface: rgb(222 227 229);
32
- --md-sys-color-inverse-on-surface: rgb(43 49 51);
33
- --md-sys-color-inverse-primary: rgb(68 94 145);
34
- --md-sys-color-primary-fixed: rgb(216 226 255);
35
- --md-sys-color-on-primary-fixed: rgb(0 26 65);
36
- --md-sys-color-primary-fixed-dim: rgb(173 198 255);
37
- --md-sys-color-on-primary-fixed-variant: rgb(43 70 120);
38
- --md-sys-color-secondary-fixed: rgb(253 225 134);
39
- --md-sys-color-on-secondary-fixed: rgb(35 27 0);
40
- --md-sys-color-secondary-fixed-dim: rgb(223 197 109);
41
- --md-sys-color-on-secondary-fixed-variant: rgb(86 69 0);
42
- --md-sys-color-tertiary-fixed: rgb(182 234 255);
43
- --md-sys-color-on-tertiary-fixed: rgb(0 31 40);
44
- --md-sys-color-tertiary-fixed-dim: rgb(136 209 235);
45
- --md-sys-color-on-tertiary-fixed-variant: rgb(0 78 96);
46
- --md-sys-color-surface-dim: rgb(14 20 21);
47
- --md-sys-color-surface-bright: rgb(52 58 59);
48
- --md-sys-color-surface-container-lowest: rgb(9 15 16);
49
- --md-sys-color-surface-container-low: rgb(23 29 30);
50
- --md-sys-color-surface-container: rgb(27 33 34);
51
- --md-sys-color-surface-container-high: rgb(37 43 44);
52
- --md-sys-color-surface-container-highest: rgb(48 54 55);
53
- }
3
+ :root,
4
+ :host {
5
+ --md-sys-color-primary: rgb(173 198 255);
6
+ --md-sys-color-surface-tint: rgb(173 198 255);
7
+ --md-sys-color-on-primary: rgb(16 47 96);
8
+ --md-sys-color-primary-container: rgb(43 70 120);
9
+ --md-sys-color-on-primary-container: rgb(216 226 255);
10
+ --md-sys-color-secondary: rgb(223 197 109);
11
+ --md-sys-color-on-secondary: rgb(59 47 0);
12
+ --md-sys-color-secondary-container: rgb(86 69 0);
13
+ --md-sys-color-on-secondary-container: rgb(253 225 134);
14
+ --md-sys-color-tertiary: rgb(136 209 235);
15
+ --md-sys-color-on-tertiary: rgb(0 53 67);
16
+ --md-sys-color-tertiary-container: rgb(0 78 96);
17
+ --md-sys-color-on-tertiary-container: rgb(182 234 255);
18
+ --md-sys-color-error: rgb(255 180 171);
19
+ --md-sys-color-on-error: rgb(105 0 5);
20
+ --md-sys-color-error-container: rgb(147 0 10);
21
+ --md-sys-color-on-error-container: rgb(255 218 214);
22
+ --md-sys-color-background: rgb(17 19 24);
23
+ --md-sys-color-on-background: rgb(226 226 233);
24
+ --md-sys-color-surface: rgb(14 20 21);
25
+ --md-sys-color-on-surface: rgb(222 227 229);
26
+ --md-sys-color-surface-variant: rgb(63 72 74);
27
+ --md-sys-color-on-surface-variant: rgb(191 200 202);
28
+ --md-sys-color-outline: rgb(137 146 148);
29
+ --md-sys-color-outline-variant: rgb(63 72 74);
30
+ --md-sys-color-shadow: rgb(0 0 0);
31
+ --md-sys-color-scrim: rgb(0 0 0);
32
+ --md-sys-color-inverse-surface: rgb(222 227 229);
33
+ --md-sys-color-inverse-on-surface: rgb(43 49 51);
34
+ --md-sys-color-inverse-primary: rgb(68 94 145);
35
+ --md-sys-color-primary-fixed: rgb(216 226 255);
36
+ --md-sys-color-on-primary-fixed: rgb(0 26 65);
37
+ --md-sys-color-primary-fixed-dim: rgb(173 198 255);
38
+ --md-sys-color-on-primary-fixed-variant: rgb(43 70 120);
39
+ --md-sys-color-secondary-fixed: rgb(253 225 134);
40
+ --md-sys-color-on-secondary-fixed: rgb(35 27 0);
41
+ --md-sys-color-secondary-fixed-dim: rgb(223 197 109);
42
+ --md-sys-color-on-secondary-fixed-variant: rgb(86 69 0);
43
+ --md-sys-color-tertiary-fixed: rgb(182 234 255);
44
+ --md-sys-color-on-tertiary-fixed: rgb(0 31 40);
45
+ --md-sys-color-tertiary-fixed-dim: rgb(136 209 235);
46
+ --md-sys-color-on-tertiary-fixed-variant: rgb(0 78 96);
47
+ --md-sys-color-surface-dim: rgb(14 20 21);
48
+ --md-sys-color-surface-bright: rgb(52 58 59);
49
+ --md-sys-color-surface-container-lowest: rgb(9 15 16);
50
+ --md-sys-color-surface-container-low: rgb(23 29 30);
51
+ --md-sys-color-surface-container: rgb(27 33 34);
52
+ --md-sys-color-surface-container-high: rgb(37 43 44);
53
+ --md-sys-color-surface-container-highest: rgb(48 54 55);
54
+ }
54
55
  `;
55
56
  //# sourceMappingURL=blue-dark.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"blue-dark.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/blue-dark.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDjB,CAAC"}
1
+ {"version":3,"file":"blue-dark.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/blue-dark.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDjB,CAAC"}
@@ -1,55 +1,56 @@
1
1
  import { css } from "lit";
2
2
  export default css `
3
- :root, :host {
4
- --md-sys-color-primary: rgb(68 94 145);
5
- --md-sys-color-surface-tint: rgb(68 94 145);
6
- --md-sys-color-on-primary: rgb(255 255 255);
7
- --md-sys-color-primary-container: rgb(216 226 255);
8
- --md-sys-color-on-primary-container: rgb(43 70 120);
9
- --md-sys-color-secondary: rgb(112 93 13);
10
- --md-sys-color-on-secondary: rgb(255 255 255);
11
- --md-sys-color-secondary-container: rgb(253 225 134);
12
- --md-sys-color-on-secondary-container: rgb(86 69 0);
13
- --md-sys-color-tertiary: rgb(6 103 127);
14
- --md-sys-color-on-tertiary: rgb(255 255 255);
15
- --md-sys-color-tertiary-container: rgb(182 234 255);
16
- --md-sys-color-on-tertiary-container: rgb(0 78 96);
17
- --md-sys-color-error: rgb(186 26 26);
18
- --md-sys-color-on-error: rgb(255 255 255);
19
- --md-sys-color-error-container: rgb(255 218 214);
20
- --md-sys-color-on-error-container: rgb(147 0 10);
21
- --md-sys-color-background: rgb(249 249 255);
22
- --md-sys-color-on-background: rgb(26 27 32);
23
- --md-sys-color-surface: rgb(245 250 251);
24
- --md-sys-color-on-surface: rgb(23 29 30);
25
- --md-sys-color-surface-variant: rgb(219 228 230);
26
- --md-sys-color-on-surface-variant: rgb(63 72 74);
27
- --md-sys-color-outline: rgb(111 121 122);
28
- --md-sys-color-outline-variant: rgb(191 200 202);
29
- --md-sys-color-shadow: rgb(0 0 0);
30
- --md-sys-color-scrim: rgb(0 0 0);
31
- --md-sys-color-inverse-surface: rgb(43 49 51);
32
- --md-sys-color-inverse-on-surface: rgb(236 242 243);
33
- --md-sys-color-inverse-primary: rgb(173 198 255);
34
- --md-sys-color-primary-fixed: rgb(216 226 255);
35
- --md-sys-color-on-primary-fixed: rgb(0 26 65);
36
- --md-sys-color-primary-fixed-dim: rgb(173 198 255);
37
- --md-sys-color-on-primary-fixed-variant: rgb(43 70 120);
38
- --md-sys-color-secondary-fixed: rgb(253 225 134);
39
- --md-sys-color-on-secondary-fixed: rgb(35 27 0);
40
- --md-sys-color-secondary-fixed-dim: rgb(223 197 109);
41
- --md-sys-color-on-secondary-fixed-variant: rgb(86 69 0);
42
- --md-sys-color-tertiary-fixed: rgb(182 234 255);
43
- --md-sys-color-on-tertiary-fixed: rgb(0 31 40);
44
- --md-sys-color-tertiary-fixed-dim: rgb(136 209 235);
45
- --md-sys-color-on-tertiary-fixed-variant: rgb(0 78 96);
46
- --md-sys-color-surface-dim: rgb(213 219 220);
47
- --md-sys-color-surface-bright: rgb(245 250 251);
48
- --md-sys-color-surface-container-lowest: rgb(255 255 255);
49
- --md-sys-color-surface-container-low: rgb(239 245 246);
50
- --md-sys-color-surface-container: rgb(233 239 240);
51
- --md-sys-color-surface-container-high: rgb(227 233 234);
52
- --md-sys-color-surface-container-highest: rgb(222 227 229);
53
- }
3
+ :root,
4
+ :host {
5
+ --md-sys-color-primary: rgb(68 94 145);
6
+ --md-sys-color-surface-tint: rgb(68 94 145);
7
+ --md-sys-color-on-primary: rgb(255 255 255);
8
+ --md-sys-color-primary-container: rgb(216 226 255);
9
+ --md-sys-color-on-primary-container: rgb(43 70 120);
10
+ --md-sys-color-secondary: rgb(112 93 13);
11
+ --md-sys-color-on-secondary: rgb(255 255 255);
12
+ --md-sys-color-secondary-container: rgb(253 225 134);
13
+ --md-sys-color-on-secondary-container: rgb(86 69 0);
14
+ --md-sys-color-tertiary: rgb(6 103 127);
15
+ --md-sys-color-on-tertiary: rgb(255 255 255);
16
+ --md-sys-color-tertiary-container: rgb(182 234 255);
17
+ --md-sys-color-on-tertiary-container: rgb(0 78 96);
18
+ --md-sys-color-error: rgb(186 26 26);
19
+ --md-sys-color-on-error: rgb(255 255 255);
20
+ --md-sys-color-error-container: rgb(255 218 214);
21
+ --md-sys-color-on-error-container: rgb(147 0 10);
22
+ --md-sys-color-background: rgb(249 249 255);
23
+ --md-sys-color-on-background: rgb(26 27 32);
24
+ --md-sys-color-surface: rgb(245 250 251);
25
+ --md-sys-color-on-surface: rgb(23 29 30);
26
+ --md-sys-color-surface-variant: rgb(219 228 230);
27
+ --md-sys-color-on-surface-variant: rgb(63 72 74);
28
+ --md-sys-color-outline: rgb(111 121 122);
29
+ --md-sys-color-outline-variant: rgb(191 200 202);
30
+ --md-sys-color-shadow: rgb(0 0 0);
31
+ --md-sys-color-scrim: rgb(0 0 0);
32
+ --md-sys-color-inverse-surface: rgb(43 49 51);
33
+ --md-sys-color-inverse-on-surface: rgb(236 242 243);
34
+ --md-sys-color-inverse-primary: rgb(173 198 255);
35
+ --md-sys-color-primary-fixed: rgb(216 226 255);
36
+ --md-sys-color-on-primary-fixed: rgb(0 26 65);
37
+ --md-sys-color-primary-fixed-dim: rgb(173 198 255);
38
+ --md-sys-color-on-primary-fixed-variant: rgb(43 70 120);
39
+ --md-sys-color-secondary-fixed: rgb(253 225 134);
40
+ --md-sys-color-on-secondary-fixed: rgb(35 27 0);
41
+ --md-sys-color-secondary-fixed-dim: rgb(223 197 109);
42
+ --md-sys-color-on-secondary-fixed-variant: rgb(86 69 0);
43
+ --md-sys-color-tertiary-fixed: rgb(182 234 255);
44
+ --md-sys-color-on-tertiary-fixed: rgb(0 31 40);
45
+ --md-sys-color-tertiary-fixed-dim: rgb(136 209 235);
46
+ --md-sys-color-on-tertiary-fixed-variant: rgb(0 78 96);
47
+ --md-sys-color-surface-dim: rgb(213 219 220);
48
+ --md-sys-color-surface-bright: rgb(245 250 251);
49
+ --md-sys-color-surface-container-lowest: rgb(255 255 255);
50
+ --md-sys-color-surface-container-low: rgb(239 245 246);
51
+ --md-sys-color-surface-container: rgb(233 239 240);
52
+ --md-sys-color-surface-container-high: rgb(227 233 234);
53
+ --md-sys-color-surface-container-highest: rgb(222 227 229);
54
+ }
54
55
  `;
55
56
  //# sourceMappingURL=blue-light.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"blue-light.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/blue-light.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDjB,CAAC"}
1
+ {"version":3,"file":"blue-light.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/blue-light.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDjB,CAAC"}
@@ -1,55 +1,56 @@
1
1
  import { css } from "lit";
2
2
  export default css `
3
- :root, :host {
4
- --md-sys-color-primary: rgb(177 209 138);
5
- --md-sys-color-surface-tint: rgb(177 209 138);
6
- --md-sys-color-on-primary: rgb(31 55 1);
7
- --md-sys-color-primary-container: rgb(53 78 22);
8
- --md-sys-color-on-primary-container: rgb(205 237 163);
9
- --md-sys-color-secondary: rgb(191 203 173);
10
- --md-sys-color-on-secondary: rgb(42 51 30);
11
- --md-sys-color-secondary-container: rgb(64 74 51);
12
- --md-sys-color-on-secondary-container: rgb(220 231 200);
13
- --md-sys-color-tertiary: rgb(160 208 203);
14
- --md-sys-color-on-tertiary: rgb(0 55 53);
15
- --md-sys-color-tertiary-container: rgb(31 78 75);
16
- --md-sys-color-on-tertiary-container: rgb(188 236 231);
17
- --md-sys-color-error: rgb(255 180 171);
18
- --md-sys-color-on-error: rgb(105 0 5);
19
- --md-sys-color-error-container: rgb(147 0 10);
20
- --md-sys-color-on-error-container: rgb(255 218 214);
21
- --md-sys-color-background: rgb(18 20 14);
22
- --md-sys-color-on-background: rgb(226 227 216);
23
- --md-sys-color-surface: rgb(18 20 14);
24
- --md-sys-color-on-surface: rgb(226 227 216);
25
- --md-sys-color-surface-variant: rgb(68 72 61);
26
- --md-sys-color-on-surface-variant: rgb(197 200 186);
27
- --md-sys-color-outline: rgb(143 146 133);
28
- --md-sys-color-outline-variant: rgb(68 72 61);
29
- --md-sys-color-shadow: rgb(0 0 0);
30
- --md-sys-color-scrim: rgb(0 0 0);
31
- --md-sys-color-inverse-surface: rgb(226 227 216);
32
- --md-sys-color-inverse-on-surface: rgb(47 49 42);
33
- --md-sys-color-inverse-primary: rgb(76 102 43);
34
- --md-sys-color-primary-fixed: rgb(205 237 163);
35
- --md-sys-color-on-primary-fixed: rgb(16 32 0);
36
- --md-sys-color-primary-fixed-dim: rgb(177 209 138);
37
- --md-sys-color-on-primary-fixed-variant: rgb(53 78 22);
38
- --md-sys-color-secondary-fixed: rgb(220 231 200);
39
- --md-sys-color-on-secondary-fixed: rgb(21 30 11);
40
- --md-sys-color-secondary-fixed-dim: rgb(191 203 173);
41
- --md-sys-color-on-secondary-fixed-variant: rgb(64 74 51);
42
- --md-sys-color-tertiary-fixed: rgb(188 236 231);
43
- --md-sys-color-on-tertiary-fixed: rgb(0 32 30);
44
- --md-sys-color-tertiary-fixed-dim: rgb(160 208 203);
45
- --md-sys-color-on-tertiary-fixed-variant: rgb(31 78 75);
46
- --md-sys-color-surface-dim: rgb(18 20 14);
47
- --md-sys-color-surface-bright: rgb(56 58 50);
48
- --md-sys-color-surface-container-lowest: rgb(12 15 9);
49
- --md-sys-color-surface-container-low: rgb(26 28 22);
50
- --md-sys-color-surface-container: rgb(30 32 26);
51
- --md-sys-color-surface-container-high: rgb(40 43 36);
52
- --md-sys-color-surface-container-highest: rgb(51 54 46);
53
- }
3
+ :root,
4
+ :host {
5
+ --md-sys-color-primary: rgb(177 209 138);
6
+ --md-sys-color-surface-tint: rgb(177 209 138);
7
+ --md-sys-color-on-primary: rgb(31 55 1);
8
+ --md-sys-color-primary-container: rgb(53 78 22);
9
+ --md-sys-color-on-primary-container: rgb(205 237 163);
10
+ --md-sys-color-secondary: rgb(191 203 173);
11
+ --md-sys-color-on-secondary: rgb(42 51 30);
12
+ --md-sys-color-secondary-container: rgb(64 74 51);
13
+ --md-sys-color-on-secondary-container: rgb(220 231 200);
14
+ --md-sys-color-tertiary: rgb(160 208 203);
15
+ --md-sys-color-on-tertiary: rgb(0 55 53);
16
+ --md-sys-color-tertiary-container: rgb(31 78 75);
17
+ --md-sys-color-on-tertiary-container: rgb(188 236 231);
18
+ --md-sys-color-error: rgb(255 180 171);
19
+ --md-sys-color-on-error: rgb(105 0 5);
20
+ --md-sys-color-error-container: rgb(147 0 10);
21
+ --md-sys-color-on-error-container: rgb(255 218 214);
22
+ --md-sys-color-background: rgb(18 20 14);
23
+ --md-sys-color-on-background: rgb(226 227 216);
24
+ --md-sys-color-surface: rgb(18 20 14);
25
+ --md-sys-color-on-surface: rgb(226 227 216);
26
+ --md-sys-color-surface-variant: rgb(68 72 61);
27
+ --md-sys-color-on-surface-variant: rgb(197 200 186);
28
+ --md-sys-color-outline: rgb(143 146 133);
29
+ --md-sys-color-outline-variant: rgb(68 72 61);
30
+ --md-sys-color-shadow: rgb(0 0 0);
31
+ --md-sys-color-scrim: rgb(0 0 0);
32
+ --md-sys-color-inverse-surface: rgb(226 227 216);
33
+ --md-sys-color-inverse-on-surface: rgb(47 49 42);
34
+ --md-sys-color-inverse-primary: rgb(76 102 43);
35
+ --md-sys-color-primary-fixed: rgb(205 237 163);
36
+ --md-sys-color-on-primary-fixed: rgb(16 32 0);
37
+ --md-sys-color-primary-fixed-dim: rgb(177 209 138);
38
+ --md-sys-color-on-primary-fixed-variant: rgb(53 78 22);
39
+ --md-sys-color-secondary-fixed: rgb(220 231 200);
40
+ --md-sys-color-on-secondary-fixed: rgb(21 30 11);
41
+ --md-sys-color-secondary-fixed-dim: rgb(191 203 173);
42
+ --md-sys-color-on-secondary-fixed-variant: rgb(64 74 51);
43
+ --md-sys-color-tertiary-fixed: rgb(188 236 231);
44
+ --md-sys-color-on-tertiary-fixed: rgb(0 32 30);
45
+ --md-sys-color-tertiary-fixed-dim: rgb(160 208 203);
46
+ --md-sys-color-on-tertiary-fixed-variant: rgb(31 78 75);
47
+ --md-sys-color-surface-dim: rgb(18 20 14);
48
+ --md-sys-color-surface-bright: rgb(56 58 50);
49
+ --md-sys-color-surface-container-lowest: rgb(12 15 9);
50
+ --md-sys-color-surface-container-low: rgb(26 28 22);
51
+ --md-sys-color-surface-container: rgb(30 32 26);
52
+ --md-sys-color-surface-container-high: rgb(40 43 36);
53
+ --md-sys-color-surface-container-highest: rgb(51 54 46);
54
+ }
54
55
  `;
55
56
  //# sourceMappingURL=green-dark.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"green-dark.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/green-dark.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDjB,CAAC"}
1
+ {"version":3,"file":"green-dark.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/green-dark.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDjB,CAAC"}
@@ -1,55 +1,56 @@
1
1
  import { css } from "lit";
2
2
  export default css `
3
- :root, :host {
4
- --md-sys-color-primary: rgb(76 102 43);
5
- --md-sys-color-surface-tint: rgb(76 102 43);
6
- --md-sys-color-on-primary: rgb(255 255 255);
7
- --md-sys-color-primary-container: rgb(205 237 163);
8
- --md-sys-color-on-primary-container: rgb(53 78 22);
9
- --md-sys-color-secondary: rgb(88 98 73);
10
- --md-sys-color-on-secondary: rgb(255 255 255);
11
- --md-sys-color-secondary-container: rgb(220 231 200);
12
- --md-sys-color-on-secondary-container: rgb(64 74 51);
13
- --md-sys-color-tertiary: rgb(56 102 99);
14
- --md-sys-color-on-tertiary: rgb(255 255 255);
15
- --md-sys-color-tertiary-container: rgb(188 236 231);
16
- --md-sys-color-on-tertiary-container: rgb(31 78 75);
17
- --md-sys-color-error: rgb(186 26 26);
18
- --md-sys-color-on-error: rgb(255 255 255);
19
- --md-sys-color-error-container: rgb(255 218 214);
20
- --md-sys-color-on-error-container: rgb(147 0 10);
21
- --md-sys-color-background: rgb(249 250 239);
22
- --md-sys-color-on-background: rgb(26 28 22);
23
- --md-sys-color-surface: rgb(249 250 239);
24
- --md-sys-color-on-surface: rgb(26 28 22);
25
- --md-sys-color-surface-variant: rgb(225 228 213);
26
- --md-sys-color-on-surface-variant: rgb(68 72 61);
27
- --md-sys-color-outline: rgb(117 121 108);
28
- --md-sys-color-outline-variant: rgb(197 200 186);
29
- --md-sys-color-shadow: rgb(0 0 0);
30
- --md-sys-color-scrim: rgb(0 0 0);
31
- --md-sys-color-inverse-surface: rgb(47 49 42);
32
- --md-sys-color-inverse-on-surface: rgb(241 242 230);
33
- --md-sys-color-inverse-primary: rgb(177 209 138);
34
- --md-sys-color-primary-fixed: rgb(205 237 163);
35
- --md-sys-color-on-primary-fixed: rgb(16 32 0);
36
- --md-sys-color-primary-fixed-dim: rgb(177 209 138);
37
- --md-sys-color-on-primary-fixed-variant: rgb(53 78 22);
38
- --md-sys-color-secondary-fixed: rgb(220 231 200);
39
- --md-sys-color-on-secondary-fixed: rgb(21 30 11);
40
- --md-sys-color-secondary-fixed-dim: rgb(191 203 173);
41
- --md-sys-color-on-secondary-fixed-variant: rgb(64 74 51);
42
- --md-sys-color-tertiary-fixed: rgb(188 236 231);
43
- --md-sys-color-on-tertiary-fixed: rgb(0 32 30);
44
- --md-sys-color-tertiary-fixed-dim: rgb(160 208 203);
45
- --md-sys-color-on-tertiary-fixed-variant: rgb(31 78 75);
46
- --md-sys-color-surface-dim: rgb(218 219 208);
47
- --md-sys-color-surface-bright: rgb(249 250 239);
48
- --md-sys-color-surface-container-lowest: rgb(255 255 255);
49
- --md-sys-color-surface-container-low: rgb(243 244 233);
50
- --md-sys-color-surface-container: rgb(238 239 227);
51
- --md-sys-color-surface-container-high: rgb(232 233 222);
52
- --md-sys-color-surface-container-highest: rgb(226 227 216);
53
- }
3
+ :root,
4
+ :host {
5
+ --md-sys-color-primary: rgb(76 102 43);
6
+ --md-sys-color-surface-tint: rgb(76 102 43);
7
+ --md-sys-color-on-primary: rgb(255 255 255);
8
+ --md-sys-color-primary-container: rgb(205 237 163);
9
+ --md-sys-color-on-primary-container: rgb(53 78 22);
10
+ --md-sys-color-secondary: rgb(88 98 73);
11
+ --md-sys-color-on-secondary: rgb(255 255 255);
12
+ --md-sys-color-secondary-container: rgb(220 231 200);
13
+ --md-sys-color-on-secondary-container: rgb(64 74 51);
14
+ --md-sys-color-tertiary: rgb(56 102 99);
15
+ --md-sys-color-on-tertiary: rgb(255 255 255);
16
+ --md-sys-color-tertiary-container: rgb(188 236 231);
17
+ --md-sys-color-on-tertiary-container: rgb(31 78 75);
18
+ --md-sys-color-error: rgb(186 26 26);
19
+ --md-sys-color-on-error: rgb(255 255 255);
20
+ --md-sys-color-error-container: rgb(255 218 214);
21
+ --md-sys-color-on-error-container: rgb(147 0 10);
22
+ --md-sys-color-background: rgb(249 250 239);
23
+ --md-sys-color-on-background: rgb(26 28 22);
24
+ --md-sys-color-surface: rgb(249 250 239);
25
+ --md-sys-color-on-surface: rgb(26 28 22);
26
+ --md-sys-color-surface-variant: rgb(225 228 213);
27
+ --md-sys-color-on-surface-variant: rgb(68 72 61);
28
+ --md-sys-color-outline: rgb(117 121 108);
29
+ --md-sys-color-outline-variant: rgb(197 200 186);
30
+ --md-sys-color-shadow: rgb(0 0 0);
31
+ --md-sys-color-scrim: rgb(0 0 0);
32
+ --md-sys-color-inverse-surface: rgb(47 49 42);
33
+ --md-sys-color-inverse-on-surface: rgb(241 242 230);
34
+ --md-sys-color-inverse-primary: rgb(177 209 138);
35
+ --md-sys-color-primary-fixed: rgb(205 237 163);
36
+ --md-sys-color-on-primary-fixed: rgb(16 32 0);
37
+ --md-sys-color-primary-fixed-dim: rgb(177 209 138);
38
+ --md-sys-color-on-primary-fixed-variant: rgb(53 78 22);
39
+ --md-sys-color-secondary-fixed: rgb(220 231 200);
40
+ --md-sys-color-on-secondary-fixed: rgb(21 30 11);
41
+ --md-sys-color-secondary-fixed-dim: rgb(191 203 173);
42
+ --md-sys-color-on-secondary-fixed-variant: rgb(64 74 51);
43
+ --md-sys-color-tertiary-fixed: rgb(188 236 231);
44
+ --md-sys-color-on-tertiary-fixed: rgb(0 32 30);
45
+ --md-sys-color-tertiary-fixed-dim: rgb(160 208 203);
46
+ --md-sys-color-on-tertiary-fixed-variant: rgb(31 78 75);
47
+ --md-sys-color-surface-dim: rgb(218 219 208);
48
+ --md-sys-color-surface-bright: rgb(249 250 239);
49
+ --md-sys-color-surface-container-lowest: rgb(255 255 255);
50
+ --md-sys-color-surface-container-low: rgb(243 244 233);
51
+ --md-sys-color-surface-container: rgb(238 239 227);
52
+ --md-sys-color-surface-container-high: rgb(232 233 222);
53
+ --md-sys-color-surface-container-highest: rgb(226 227 216);
54
+ }
54
55
  `;
55
56
  //# sourceMappingURL=green-light.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"green-light.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/green-light.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDjB,CAAC"}
1
+ {"version":3,"file":"green-light.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/green-light.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDjB,CAAC"}
@@ -1,55 +1,56 @@
1
1
  import { css } from "lit";
2
2
  export default css `
3
- :root, :host {
4
- --md-sys-color-primary: rgb(255 181 160);
5
- --md-sys-color-surface-tint: rgb(255 181 160);
6
- --md-sys-color-on-primary: rgb(86 31 15);
7
- --md-sys-color-primary-container: rgb(114 53 35);
8
- --md-sys-color-on-primary-container: rgb(255 219 209);
9
- --md-sys-color-secondary: rgb(231 189 178);
10
- --md-sys-color-on-secondary: rgb(68 42 34);
11
- --md-sys-color-secondary-container: rgb(93 64 55);
12
- --md-sys-color-on-secondary-container: rgb(255 219 209);
13
- --md-sys-color-tertiary: rgb(216 197 141);
14
- --md-sys-color-on-tertiary: rgb(59 47 5);
15
- --md-sys-color-tertiary-container: rgb(83 70 25);
16
- --md-sys-color-on-tertiary-container: rgb(245 225 167);
17
- --md-sys-color-error: rgb(255 180 171);
18
- --md-sys-color-on-error: rgb(105 0 5);
19
- --md-sys-color-error-container: rgb(147 0 10);
20
- --md-sys-color-on-error-container: rgb(255 218 214);
21
- --md-sys-color-background: rgb(26 17 15);
22
- --md-sys-color-on-background: rgb(241 223 218);
23
- --md-sys-color-surface: rgb(26 17 15);
24
- --md-sys-color-on-surface: rgb(241 223 218);
25
- --md-sys-color-surface-variant: rgb(83 67 63);
26
- --md-sys-color-on-surface-variant: rgb(216 194 188);
27
- --md-sys-color-outline: rgb(160 140 135);
28
- --md-sys-color-outline-variant: rgb(83 67 63);
29
- --md-sys-color-shadow: rgb(0 0 0);
30
- --md-sys-color-scrim: rgb(0 0 0);
31
- --md-sys-color-inverse-surface: rgb(241 223 218);
32
- --md-sys-color-inverse-on-surface: rgb(57 46 43);
33
- --md-sys-color-inverse-primary: rgb(143 76 56);
34
- --md-sys-color-primary-fixed: rgb(255 219 209);
35
- --md-sys-color-on-primary-fixed: rgb(58 11 1);
36
- --md-sys-color-primary-fixed-dim: rgb(255 181 160);
37
- --md-sys-color-on-primary-fixed-variant: rgb(114 53 35);
38
- --md-sys-color-secondary-fixed: rgb(255 219 209);
39
- --md-sys-color-on-secondary-fixed: rgb(44 21 15);
40
- --md-sys-color-secondary-fixed-dim: rgb(231 189 178);
41
- --md-sys-color-on-secondary-fixed-variant: rgb(93 64 55);
42
- --md-sys-color-tertiary-fixed: rgb(245 225 167);
43
- --md-sys-color-on-tertiary-fixed: rgb(35 27 0);
44
- --md-sys-color-tertiary-fixed-dim: rgb(216 197 141);
45
- --md-sys-color-on-tertiary-fixed-variant: rgb(83 70 25);
46
- --md-sys-color-surface-dim: rgb(26 17 15);
47
- --md-sys-color-surface-bright: rgb(66 55 52);
48
- --md-sys-color-surface-container-lowest: rgb(20 12 10);
49
- --md-sys-color-surface-container-low: rgb(35 25 23);
50
- --md-sys-color-surface-container: rgb(39 29 27);
51
- --md-sys-color-surface-container-high: rgb(50 40 37);
52
- --md-sys-color-surface-container-highest: rgb(61 50 47);
53
- }
3
+ :root,
4
+ :host {
5
+ --md-sys-color-primary: rgb(255 181 160);
6
+ --md-sys-color-surface-tint: rgb(255 181 160);
7
+ --md-sys-color-on-primary: rgb(86 31 15);
8
+ --md-sys-color-primary-container: rgb(114 53 35);
9
+ --md-sys-color-on-primary-container: rgb(255 219 209);
10
+ --md-sys-color-secondary: rgb(231 189 178);
11
+ --md-sys-color-on-secondary: rgb(68 42 34);
12
+ --md-sys-color-secondary-container: rgb(93 64 55);
13
+ --md-sys-color-on-secondary-container: rgb(255 219 209);
14
+ --md-sys-color-tertiary: rgb(216 197 141);
15
+ --md-sys-color-on-tertiary: rgb(59 47 5);
16
+ --md-sys-color-tertiary-container: rgb(83 70 25);
17
+ --md-sys-color-on-tertiary-container: rgb(245 225 167);
18
+ --md-sys-color-error: rgb(255 180 171);
19
+ --md-sys-color-on-error: rgb(105 0 5);
20
+ --md-sys-color-error-container: rgb(147 0 10);
21
+ --md-sys-color-on-error-container: rgb(255 218 214);
22
+ --md-sys-color-background: rgb(26 17 15);
23
+ --md-sys-color-on-background: rgb(241 223 218);
24
+ --md-sys-color-surface: rgb(26 17 15);
25
+ --md-sys-color-on-surface: rgb(241 223 218);
26
+ --md-sys-color-surface-variant: rgb(83 67 63);
27
+ --md-sys-color-on-surface-variant: rgb(216 194 188);
28
+ --md-sys-color-outline: rgb(160 140 135);
29
+ --md-sys-color-outline-variant: rgb(83 67 63);
30
+ --md-sys-color-shadow: rgb(0 0 0);
31
+ --md-sys-color-scrim: rgb(0 0 0);
32
+ --md-sys-color-inverse-surface: rgb(241 223 218);
33
+ --md-sys-color-inverse-on-surface: rgb(57 46 43);
34
+ --md-sys-color-inverse-primary: rgb(143 76 56);
35
+ --md-sys-color-primary-fixed: rgb(255 219 209);
36
+ --md-sys-color-on-primary-fixed: rgb(58 11 1);
37
+ --md-sys-color-primary-fixed-dim: rgb(255 181 160);
38
+ --md-sys-color-on-primary-fixed-variant: rgb(114 53 35);
39
+ --md-sys-color-secondary-fixed: rgb(255 219 209);
40
+ --md-sys-color-on-secondary-fixed: rgb(44 21 15);
41
+ --md-sys-color-secondary-fixed-dim: rgb(231 189 178);
42
+ --md-sys-color-on-secondary-fixed-variant: rgb(93 64 55);
43
+ --md-sys-color-tertiary-fixed: rgb(245 225 167);
44
+ --md-sys-color-on-tertiary-fixed: rgb(35 27 0);
45
+ --md-sys-color-tertiary-fixed-dim: rgb(216 197 141);
46
+ --md-sys-color-on-tertiary-fixed-variant: rgb(83 70 25);
47
+ --md-sys-color-surface-dim: rgb(26 17 15);
48
+ --md-sys-color-surface-bright: rgb(66 55 52);
49
+ --md-sys-color-surface-container-lowest: rgb(20 12 10);
50
+ --md-sys-color-surface-container-low: rgb(35 25 23);
51
+ --md-sys-color-surface-container: rgb(39 29 27);
52
+ --md-sys-color-surface-container-high: rgb(50 40 37);
53
+ --md-sys-color-surface-container-highest: rgb(61 50 47);
54
+ }
54
55
  `;
55
56
  //# sourceMappingURL=red-dark.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"red-dark.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/red-dark.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDjB,CAAC"}
1
+ {"version":3,"file":"red-dark.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/red-dark.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDjB,CAAC"}