@dodona/papyros 3.0.2 → 4.0.0-beta.2

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 (233) hide show
  1. package/README.md +133 -72
  2. package/dist/Components.d.ts +4 -0
  3. package/dist/Components.js +5 -0
  4. package/dist/Components.js.map +1 -0
  5. package/dist/Papyros.d.ts +18 -127
  6. package/dist/Papyros.js +39 -211
  7. package/dist/Papyros.js.map +1 -1
  8. package/dist/{Backend.d.ts → backend/Backend.d.ts} +3 -12
  9. package/dist/{Backend.js → backend/Backend.js} +4 -17
  10. package/dist/backend/Backend.js.map +1 -0
  11. package/dist/{workers → backend/workers}/javascript/JavaScriptWorker.js +1 -1
  12. package/dist/backend/workers/javascript/JavaScriptWorker.js.map +1 -0
  13. package/dist/backend/workers/javascript/worker.js.map +1 -0
  14. package/dist/{workers → backend/workers}/python/PythonWorker.d.ts +2 -2
  15. package/dist/{workers → backend/workers}/python/PythonWorker.js +2 -2
  16. package/dist/backend/workers/python/PythonWorker.js.map +1 -0
  17. package/dist/backend/workers/python/python_package.tar.gz.load_by_url +0 -0
  18. package/dist/backend/workers/python/worker.js.map +1 -0
  19. package/dist/communication/BackendEvent.js.map +1 -0
  20. package/dist/{BackendEventQueue.d.ts → communication/BackendEventQueue.d.ts} +1 -36
  21. package/dist/{BackendEventQueue.js → communication/BackendEventQueue.js} +2 -45
  22. package/dist/communication/BackendEventQueue.js.map +1 -0
  23. package/dist/{BackendManager.d.ts → communication/BackendManager.d.ts} +2 -2
  24. package/dist/{BackendManager.js → communication/BackendManager.js} +4 -4
  25. package/dist/communication/BackendManager.js.map +1 -0
  26. package/dist/communication/InputServiceWorker.js +37 -0
  27. package/dist/communication/InputServiceWorker.js.map +1 -0
  28. package/dist/communication/InputWorker.js.map +1 -0
  29. package/dist/frontend/components/CodeRunner.d.ts +9 -0
  30. package/dist/frontend/components/CodeRunner.js +60 -0
  31. package/dist/frontend/components/CodeRunner.js.map +1 -0
  32. package/dist/frontend/components/Debugger.d.ts +7 -0
  33. package/dist/frontend/components/Debugger.js +62 -0
  34. package/dist/frontend/components/Debugger.js.map +1 -0
  35. package/dist/frontend/components/Input.d.ts +17 -0
  36. package/dist/frontend/components/Input.js +73 -0
  37. package/dist/frontend/components/Input.js.map +1 -0
  38. package/dist/frontend/components/Output.d.ts +14 -0
  39. package/dist/frontend/components/Output.js +154 -0
  40. package/dist/frontend/components/Output.js.map +1 -0
  41. package/dist/frontend/components/PapyrosElement.d.ts +8 -0
  42. package/dist/frontend/components/PapyrosElement.js +24 -0
  43. package/dist/frontend/components/PapyrosElement.js.map +1 -0
  44. package/dist/frontend/components/app/App.d.ts +24 -0
  45. package/dist/frontend/components/app/App.js +204 -0
  46. package/dist/frontend/components/app/App.js.map +1 -0
  47. package/dist/frontend/components/app/ExamplePicker.d.ts +7 -0
  48. package/dist/frontend/components/app/ExamplePicker.js +35 -0
  49. package/dist/frontend/components/app/ExamplePicker.js.map +1 -0
  50. package/dist/frontend/components/app/LanguagePicker.d.ts +7 -0
  51. package/dist/frontend/components/app/LanguagePicker.js +35 -0
  52. package/dist/frontend/components/app/LanguagePicker.js.map +1 -0
  53. package/dist/frontend/components/app/ProgrammingLanguagePicker.d.ts +7 -0
  54. package/dist/frontend/components/app/ProgrammingLanguagePicker.js +39 -0
  55. package/dist/frontend/components/app/ProgrammingLanguagePicker.js.map +1 -0
  56. package/dist/frontend/components/app/examples/JavaScriptExamples.js.map +1 -0
  57. package/dist/frontend/components/app/examples/PythonExamples.js.map +1 -0
  58. package/dist/frontend/components/app/themes/ThemePicker.d.ts +11 -0
  59. package/dist/frontend/components/app/themes/ThemePicker.js +47 -0
  60. package/dist/frontend/components/app/themes/ThemePicker.js.map +1 -0
  61. package/dist/frontend/components/app/themes/ThemedButton.d.ts +9 -0
  62. package/dist/frontend/components/app/themes/ThemedButton.js +43 -0
  63. package/dist/frontend/components/app/themes/ThemedButton.js.map +1 -0
  64. package/dist/frontend/components/code_mirror/BatchInputEditor.d.ts +8 -0
  65. package/dist/frontend/components/code_mirror/BatchInputEditor.js +54 -0
  66. package/dist/frontend/components/code_mirror/BatchInputEditor.js.map +1 -0
  67. package/dist/frontend/components/code_mirror/CodeEditor.d.ts +24 -0
  68. package/dist/frontend/components/code_mirror/CodeEditor.js +206 -0
  69. package/dist/frontend/components/code_mirror/CodeEditor.js.map +1 -0
  70. package/dist/frontend/components/code_mirror/CodeMirrorEditor.d.ts +20 -0
  71. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js +99 -0
  72. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js.map +1 -0
  73. package/dist/frontend/components/code_mirror/Extensions.d.ts +15 -0
  74. package/dist/frontend/components/code_mirror/Extensions.js +169 -0
  75. package/dist/frontend/components/code_mirror/Extensions.js.map +1 -0
  76. package/dist/frontend/components/code_mirror/MaterialTheme.d.ts +5 -0
  77. package/dist/frontend/components/code_mirror/MaterialTheme.js +109 -0
  78. package/dist/frontend/components/code_mirror/MaterialTheme.js.map +1 -0
  79. package/dist/frontend/components/code_runner/ButtonLint.d.ts +9 -0
  80. package/dist/frontend/components/code_runner/ButtonLint.js +76 -0
  81. package/dist/frontend/components/code_runner/ButtonLint.js.map +1 -0
  82. package/dist/frontend/components/code_runner/Code.d.ts +7 -0
  83. package/dist/frontend/components/code_runner/Code.js +46 -0
  84. package/dist/frontend/components/code_runner/Code.js.map +1 -0
  85. package/dist/frontend/components/code_runner/RunState.d.ts +7 -0
  86. package/dist/frontend/components/code_runner/RunState.js +41 -0
  87. package/dist/frontend/components/code_runner/RunState.js.map +1 -0
  88. package/dist/frontend/components/input/BatchInput.d.ts +19 -0
  89. package/dist/frontend/components/input/BatchInput.js +92 -0
  90. package/dist/frontend/components/input/BatchInput.js.map +1 -0
  91. package/dist/frontend/components/input/InteractiveInput.d.ts +13 -0
  92. package/dist/frontend/components/input/InteractiveInput.js +73 -0
  93. package/dist/frontend/components/input/InteractiveInput.js.map +1 -0
  94. package/dist/frontend/state/Constants.d.ts +38 -0
  95. package/dist/frontend/state/Constants.js +108 -0
  96. package/dist/frontend/state/Constants.js.map +1 -0
  97. package/dist/frontend/state/Debugger.d.ts +23 -0
  98. package/dist/frontend/state/Debugger.js +80 -0
  99. package/dist/frontend/state/Debugger.js.map +1 -0
  100. package/dist/frontend/state/Examples.d.ts +11 -0
  101. package/dist/frontend/state/Examples.js +36 -0
  102. package/dist/frontend/state/Examples.js.map +1 -0
  103. package/dist/frontend/state/I18n.d.ts +16 -0
  104. package/dist/frontend/state/I18n.js +75 -0
  105. package/dist/frontend/state/I18n.js.map +1 -0
  106. package/dist/frontend/state/InputOutput.d.ts +55 -0
  107. package/dist/frontend/state/InputOutput.js +93 -0
  108. package/dist/frontend/state/InputOutput.js.map +1 -0
  109. package/dist/frontend/state/Runner.d.ts +118 -0
  110. package/dist/frontend/state/Runner.js +334 -0
  111. package/dist/frontend/state/Runner.js.map +1 -0
  112. package/dist/frontend/state/Test.d.ts +11 -0
  113. package/dist/frontend/state/Test.js +59 -0
  114. package/dist/frontend/state/Test.js.map +1 -0
  115. package/dist/frontend/state/Translations.d.ts +178 -0
  116. package/dist/frontend/state/Translations.js +188 -0
  117. package/dist/frontend/state/Translations.js.map +1 -0
  118. package/dist/frontend/state/themes/blue-dark.d.ts +2 -0
  119. package/dist/frontend/state/themes/blue-dark.js +55 -0
  120. package/dist/frontend/state/themes/blue-dark.js.map +1 -0
  121. package/dist/frontend/state/themes/blue-light.d.ts +2 -0
  122. package/dist/frontend/state/themes/blue-light.js +55 -0
  123. package/dist/frontend/state/themes/blue-light.js.map +1 -0
  124. package/dist/frontend/state/themes/green-dark.d.ts +2 -0
  125. package/dist/frontend/state/themes/green-dark.js +55 -0
  126. package/dist/frontend/state/themes/green-dark.js.map +1 -0
  127. package/dist/frontend/state/themes/green-light.d.ts +2 -0
  128. package/dist/frontend/state/themes/green-light.js +55 -0
  129. package/dist/frontend/state/themes/green-light.js.map +1 -0
  130. package/dist/frontend/state/themes/red-dark.d.ts +2 -0
  131. package/dist/frontend/state/themes/red-dark.js +55 -0
  132. package/dist/frontend/state/themes/red-dark.js.map +1 -0
  133. package/dist/frontend/state/themes/red-light.d.ts +2 -0
  134. package/dist/frontend/state/themes/red-light.js +55 -0
  135. package/dist/frontend/state/themes/red-light.js.map +1 -0
  136. package/dist/util/Util.d.ts +1 -4
  137. package/dist/util/Util.js +7 -8
  138. package/dist/util/Util.js.map +1 -1
  139. package/package.json +13 -21
  140. package/dist/App.d.ts +0 -1
  141. package/dist/App.js +0 -76
  142. package/dist/App.js.map +0 -1
  143. package/dist/Backend.js.map +0 -1
  144. package/dist/BackendEvent.js.map +0 -1
  145. package/dist/BackendEventQueue.js.map +0 -1
  146. package/dist/BackendManager.js.map +0 -1
  147. package/dist/CodeRunner.d.ts +0 -188
  148. package/dist/CodeRunner.js +0 -548
  149. package/dist/CodeRunner.js.map +0 -1
  150. package/dist/Constants.d.ts +0 -31
  151. package/dist/Constants.js +0 -36
  152. package/dist/Constants.js.map +0 -1
  153. package/dist/Debugger.d.ts +0 -18
  154. package/dist/Debugger.js +0 -86
  155. package/dist/Debugger.js.map +0 -1
  156. package/dist/InputManager.d.ts +0 -38
  157. package/dist/InputManager.js +0 -101
  158. package/dist/InputManager.js.map +0 -1
  159. package/dist/InputServiceWorker.js.map +0 -1
  160. package/dist/Library.d.ts +0 -12
  161. package/dist/Library.js +0 -9
  162. package/dist/Library.js.map +0 -1
  163. package/dist/OutputManager.d.ts +0 -90
  164. package/dist/OutputManager.js +0 -172
  165. package/dist/OutputManager.js.map +0 -1
  166. package/dist/Papyros.css +0 -657
  167. package/dist/Translations.d.ts +0 -180
  168. package/dist/Translations.js +0 -191
  169. package/dist/Translations.js.map +0 -1
  170. package/dist/editor/BatchInputEditor.d.ts +0 -41
  171. package/dist/editor/BatchInputEditor.js +0 -80
  172. package/dist/editor/BatchInputEditor.js.map +0 -1
  173. package/dist/editor/CodeEditor.d.ts +0 -81
  174. package/dist/editor/CodeEditor.js +0 -213
  175. package/dist/editor/CodeEditor.js.map +0 -1
  176. package/dist/editor/CodeMirrorEditor.d.ts +0 -133
  177. package/dist/editor/CodeMirrorEditor.js +0 -169
  178. package/dist/editor/CodeMirrorEditor.js.map +0 -1
  179. package/dist/editor/DarkTheme.d.ts +0 -1
  180. package/dist/editor/DarkTheme.js +0 -72
  181. package/dist/editor/DarkTheme.js.map +0 -1
  182. package/dist/editor/DebugExtension.d.ts +0 -11
  183. package/dist/editor/DebugExtension.js +0 -70
  184. package/dist/editor/DebugExtension.js.map +0 -1
  185. package/dist/editor/Gutters.d.ts +0 -109
  186. package/dist/editor/Gutters.js +0 -201
  187. package/dist/editor/Gutters.js.map +0 -1
  188. package/dist/editor/LineEffectExtension.d.ts +0 -13
  189. package/dist/editor/LineEffectExtension.js +0 -48
  190. package/dist/editor/LineEffectExtension.js.map +0 -1
  191. package/dist/editor/TestCodeExtension.d.ts +0 -21
  192. package/dist/editor/TestCodeExtension.js +0 -134
  193. package/dist/editor/TestCodeExtension.js.map +0 -1
  194. package/dist/examples/Examples.d.ts +0 -6
  195. package/dist/examples/Examples.js +0 -23
  196. package/dist/examples/Examples.js.map +0 -1
  197. package/dist/examples/JavaScriptExamples.js.map +0 -1
  198. package/dist/examples/PythonExamples.js.map +0 -1
  199. package/dist/input/BatchInputHandler.d.ts +0 -55
  200. package/dist/input/BatchInputHandler.js +0 -131
  201. package/dist/input/BatchInputHandler.js.map +0 -1
  202. package/dist/input/InteractiveInputHandler.d.ts +0 -27
  203. package/dist/input/InteractiveInputHandler.js +0 -89
  204. package/dist/input/InteractiveInputHandler.js.map +0 -1
  205. package/dist/input/UserInputHandler.d.ts +0 -68
  206. package/dist/input/UserInputHandler.js +0 -39
  207. package/dist/input/UserInputHandler.js.map +0 -1
  208. package/dist/util/HTMLShapes.d.ts +0 -15
  209. package/dist/util/HTMLShapes.js +0 -25
  210. package/dist/util/HTMLShapes.js.map +0 -1
  211. package/dist/util/Rendering.d.ts +0 -120
  212. package/dist/util/Rendering.js +0 -142
  213. package/dist/util/Rendering.js.map +0 -1
  214. package/dist/workers/input/InputWorker.js.map +0 -1
  215. package/dist/workers/javascript/JavaScriptWorker.js.map +0 -1
  216. package/dist/workers/javascript/worker.js.map +0 -1
  217. package/dist/workers/python/PythonWorker.js.map +0 -1
  218. package/dist/workers/python/python_package.tar.gz.load_by_url +0 -0
  219. package/dist/workers/python/worker.js.map +0 -1
  220. /package/dist/{workers → backend/workers}/javascript/JavaScriptWorker.d.ts +0 -0
  221. /package/dist/{workers → backend/workers}/javascript/worker.d.ts +0 -0
  222. /package/dist/{workers → backend/workers}/javascript/worker.js +0 -0
  223. /package/dist/{workers → backend/workers}/python/worker.d.ts +0 -0
  224. /package/dist/{workers → backend/workers}/python/worker.js +0 -0
  225. /package/dist/{BackendEvent.d.ts → communication/BackendEvent.d.ts} +0 -0
  226. /package/dist/{BackendEvent.js → communication/BackendEvent.js} +0 -0
  227. /package/dist/{InputServiceWorker.d.ts → communication/InputServiceWorker.d.ts} +0 -0
  228. /package/dist/{workers/input → communication}/InputWorker.d.ts +0 -0
  229. /package/dist/{workers/input → communication}/InputWorker.js +0 -0
  230. /package/dist/{examples → frontend/components/app/examples}/JavaScriptExamples.d.ts +0 -0
  231. /package/dist/{examples → frontend/components/app/examples}/JavaScriptExamples.js +0 -0
  232. /package/dist/{examples → frontend/components/app/examples}/PythonExamples.d.ts +0 -0
  233. /package/dist/{examples → frontend/components/app/examples}/PythonExamples.js +0 -0
package/dist/Papyros.css DELETED
@@ -1,657 +0,0 @@
1
- /* Utitilies are prefixed by Tailwind */
2
-
3
- ._tw-col-span-2 {
4
- grid-column: span 2 / span 2 !important;
5
- }
6
-
7
- ._tw-col-span-6 {
8
- grid-column: span 6 / span 6 !important;
9
- }
10
-
11
- ._tw-m-10 {
12
- margin: 2.5rem !important;
13
- }
14
-
15
- ._tw-m-2 {
16
- margin: 0.5rem !important;
17
- }
18
-
19
- ._tw-mx-1 {
20
- margin-left: 0.25rem !important;
21
- margin-right: 0.25rem !important;
22
- }
23
-
24
- ._tw-my-1 {
25
- margin-top: 0.25rem !important;
26
- margin-bottom: 0.25rem !important;
27
- }
28
-
29
- ._tw-mr-0\.5 {
30
- margin-right: 0.125rem !important;
31
- }
32
-
33
- ._tw-mr-3 {
34
- margin-right: 0.75rem !important;
35
- }
36
-
37
- ._tw-box-border {
38
- box-sizing: border-box !important;
39
- }
40
-
41
- ._tw-flex {
42
- display: flex !important;
43
- }
44
-
45
- ._tw-grid {
46
- display: grid !important;
47
- }
48
-
49
- ._tw-h-\[10px\] {
50
- height: 10px !important;
51
- }
52
-
53
- ._tw-h-\[20px\] {
54
- height: 20px !important;
55
- }
56
-
57
- ._tw-h-full {
58
- height: 100% !important;
59
- }
60
-
61
- ._tw-max-h-1\/5 {
62
- max-height: 16vh !important;
63
- }
64
-
65
- ._tw-max-h-3\/5 {
66
- max-height: 48vh !important;
67
- }
68
-
69
- ._tw-min-h-1\/4 {
70
- min-height: 20vh !important;
71
- }
72
-
73
- ._tw-min-h-screen {
74
- min-height: 100vh !important;
75
- }
76
-
77
- ._tw-w-\[10px\] {
78
- width: 10px !important;
79
- }
80
-
81
- ._tw-w-\[20px\] {
82
- width: 20px !important;
83
- }
84
-
85
- ._tw-w-full {
86
- width: 100% !important;
87
- }
88
-
89
- @keyframes _tw-spin {
90
- to {
91
- transform: rotate(360deg);
92
- }
93
- }
94
-
95
- ._tw-animate-spin {
96
- animation: _tw-spin 1s linear infinite !important;
97
- }
98
-
99
- ._tw-grid-cols-2 {
100
- grid-template-columns: repeat(2, minmax(0, 1fr)) !important;
101
- }
102
-
103
- ._tw-grid-cols-8 {
104
- grid-template-columns: repeat(8, minmax(0, 1fr)) !important;
105
- }
106
-
107
- ._tw-flex-row {
108
- flex-direction: row !important;
109
- }
110
-
111
- ._tw-flex-row-reverse {
112
- flex-direction: row-reverse !important;
113
- }
114
-
115
- ._tw-items-center {
116
- align-items: center !important;
117
- }
118
-
119
- ._tw-justify-between {
120
- justify-content: space-between !important;
121
- }
122
-
123
- ._tw-gap-4 {
124
- gap: 1rem !important;
125
- }
126
-
127
- ._tw-overflow-auto {
128
- overflow: auto !important;
129
- }
130
-
131
- ._tw-whitespace-pre {
132
- white-space: pre !important;
133
- }
134
-
135
- ._tw-rounded-full {
136
- border-radius: 9999px !important;
137
- }
138
-
139
- ._tw-rounded-lg {
140
- border-radius: 0.5rem !important;
141
- }
142
-
143
- ._tw-border {
144
- border-width: 1px !important;
145
- }
146
-
147
- ._tw-border-2 {
148
- border-width: 2px !important;
149
- }
150
-
151
- ._tw-border-b-2 {
152
- border-bottom-width: 2px !important;
153
- }
154
-
155
- ._tw-border-solid {
156
- border-style: solid !important;
157
- }
158
-
159
- ._tw-border-blue-500 {
160
- --tw-border-opacity: 1 !important;
161
- border-color: rgb(59 130 246 / var(--tw-border-opacity, 1)) !important;
162
- }
163
-
164
- ._tw-border-gray-200 {
165
- --tw-border-opacity: 1 !important;
166
- border-color: rgb(229 231 235 / var(--tw-border-opacity, 1)) !important;
167
- }
168
-
169
- ._tw-border-red-500 {
170
- --tw-border-opacity: 1 !important;
171
- border-color: rgb(239 68 68 / var(--tw-border-opacity, 1)) !important;
172
- }
173
-
174
- ._tw-border-b-red-500 {
175
- --tw-border-opacity: 1 !important;
176
- border-bottom-color: rgb(239 68 68 / var(--tw-border-opacity, 1)) !important;
177
- }
178
-
179
- ._tw-bg-blue-500 {
180
- --tw-bg-opacity: 1 !important;
181
- background-color: rgb(59 130 246 / var(--tw-bg-opacity, 1)) !important;
182
- }
183
-
184
- ._tw-bg-slate-200 {
185
- --tw-bg-opacity: 1 !important;
186
- background-color: rgb(226 232 240 / var(--tw-bg-opacity, 1)) !important;
187
- }
188
-
189
- ._tw-bg-slate-500 {
190
- --tw-bg-opacity: 1 !important;
191
- background-color: rgb(100 116 139 / var(--tw-bg-opacity, 1)) !important;
192
- }
193
-
194
- ._tw-p-4 {
195
- padding: 1rem !important;
196
- }
197
-
198
- ._tw-px-1 {
199
- padding-left: 0.25rem !important;
200
- padding-right: 0.25rem !important;
201
- }
202
-
203
- ._tw-px-2 {
204
- padding-left: 0.5rem !important;
205
- padding-right: 0.5rem !important;
206
- }
207
-
208
- ._tw-py-1 {
209
- padding-top: 0.25rem !important;
210
- padding-bottom: 0.25rem !important;
211
- }
212
-
213
- ._tw-text-center {
214
- text-align: center !important;
215
- }
216
-
217
- ._tw-text-4xl {
218
- font-size: 2.25rem !important;
219
- line-height: 2.5rem !important;
220
- }
221
-
222
- ._tw-text-lg {
223
- font-size: 1.125rem !important;
224
- line-height: 1.75rem !important;
225
- }
226
-
227
- ._tw-font-bold {
228
- font-weight: 700 !important;
229
- }
230
-
231
- ._tw-font-medium {
232
- font-weight: 500 !important;
233
- }
234
-
235
- ._tw-text-\[\#FF8F00\] {
236
- --tw-text-opacity: 1 !important;
237
- color: rgb(255 143 0 / var(--tw-text-opacity, 1)) !important;
238
- }
239
-
240
- ._tw-text-black {
241
- --tw-text-opacity: 1 !important;
242
- color: rgb(0 0 0 / var(--tw-text-opacity, 1)) !important;
243
- }
244
-
245
- ._tw-text-blue-500 {
246
- --tw-text-opacity: 1 !important;
247
- color: rgb(59 130 246 / var(--tw-text-opacity, 1)) !important;
248
- }
249
-
250
- ._tw-text-red-500 {
251
- --tw-text-opacity: 1 !important;
252
- color: rgb(239 68 68 / var(--tw-text-opacity, 1)) !important;
253
- }
254
-
255
- ._tw-text-white {
256
- --tw-text-opacity: 1 !important;
257
- color: rgb(255 255 255 / var(--tw-text-opacity, 1)) !important;
258
- }
259
-
260
- ._tw-border-b-red-500 {
261
- border-bottom-color: #ef4444 !important;
262
- }
263
-
264
- /* Tailwind base css that is used in Papyros */
265
-
266
- /* Source: node_modules/tailwindcss/src/css/preflight.css */
267
-
268
- /*
269
- 1. Prevent padding and border from affecting element width. (https://github.com/mozdevs/cssremedy/issues/4)
270
- 2. Allow adding a border to an element by just adding a border-width. (https://github.com/tailwindcss/tailwindcss/pull/116)
271
- */
272
-
273
- .tailwind *,
274
- .tailwind ::before,
275
- .tailwind ::after {
276
- box-sizing: border-box;
277
- /* 1 */
278
- border-width: 0;
279
- /* 2 */
280
- border-style: solid;
281
- /* 2 */
282
- border-color: #e5e7eb;
283
- /* 2 */
284
- }
285
-
286
- .tailwind ::before,
287
- .tailwind ::after {
288
- --tw-content: '';
289
- }
290
-
291
- /*
292
- 1. Use a consistent sensible line-height in all browsers.
293
- 2. Prevent adjustments of font size after orientation changes in iOS.
294
- 3. Use a more readable tab size.
295
- 4. Use the user's configured `sans` font-family by default.
296
- */
297
-
298
- .tailwind-html {
299
- line-height: 1.5;
300
- /* 1 */
301
- -webkit-text-size-adjust: 100%;
302
- /* 2 */
303
- -moz-tab-size: 4;
304
- /* 3 */
305
- -o-tab-size: 4;
306
- tab-size: 4;
307
- /* 3 */
308
- font-family: ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
309
- /* 4 */
310
- }
311
-
312
- /*
313
- 1. Remove the margin in all browsers.
314
- 2. Inherit line-height from `html` so users can set them as a class directly on the `html` element.
315
- */
316
-
317
- .tailwind-body {
318
- margin: 0;
319
- /* 1 */
320
- line-height: inherit;
321
- /* 2 */
322
- }
323
-
324
- /*
325
- 1. Change the font styles in all browsers.
326
- 2. Remove the margin in Firefox and Safari.
327
- 3. Remove default padding in all browsers.
328
- */
329
-
330
- .tailwind button,
331
- .tailwind input,
332
- .tailwind select,
333
- .tailwind textarea {
334
- font-family: inherit;
335
- /* 1 */
336
- font-size: 100%;
337
- /* 1 */
338
- line-height: inherit;
339
- /* 1 */
340
- color: inherit;
341
- /* 1 */
342
- margin: 0;
343
- /* 2 */
344
- padding: 0;
345
- /* 3 */
346
- }
347
-
348
- /*
349
- Use the modern Firefox focus style for all focusable elements.
350
- */
351
-
352
- .tailwind :-moz-focusring {
353
- outline: auto;
354
- }
355
-
356
- /*
357
- Removes the default spacing and border for appropriate elements.
358
- */
359
-
360
- .tailwind p {
361
- margin: 0;
362
- }
363
-
364
- /*
365
- 1. Reset the default placeholder opacity in Firefox. (https://github.com/tailwindlabs/tailwindcss/issues/3300)
366
- 2. Set the default placeholder color to the user's configured gray 400 color.
367
- */
368
-
369
- .tailwind input::-moz-placeholder, .tailwind textarea::-moz-placeholder {
370
- opacity: 1;
371
- /* 1 */
372
- color: #9ca3af;
373
- /* 2 */
374
- }
375
-
376
- .tailwind input::placeholder,
377
- .tailwind textarea::placeholder {
378
- opacity: 1;
379
- /* 1 */
380
- color: #9ca3af;
381
- /* 2 */
382
- }
383
-
384
- /* Ensure the default browser behavior of the `hidden` attribute. */
385
-
386
- [hidden] {
387
- /* Make it invisible while keeping page layout */
388
- visibility: hidden !important;
389
- }
390
-
391
- /* CodeMirror search panel close button*/
392
-
393
- .cm-search > [name="close"] {
394
- cursor: pointer;
395
- }
396
-
397
- .cm-content,
398
- .papyros-font-family {
399
- font-family: Monaco, Menlo, "Ubuntu Mono", Consolas, source-code-pro, monospace;
400
- }
401
-
402
- /* Override top border generated by @codemirror/one-dark-theme */
403
-
404
- .ͼo .cm-panels.cm-panels-bottom {
405
- /* dark-mode-content in tailwind.config.js*/
406
- border-color: #37474F;
407
- }
408
-
409
- /* Change styling of tooltips generated by CodeMirror */
410
-
411
- .cm-completionInfo {
412
- white-space: pre;
413
- overflow: auto;
414
- resize: both;
415
- /* override default max width/height to allow resizing */
416
- max-width: 600px !important;
417
- max-height: 600px !important;
418
- }
419
-
420
- /*
421
- Disable resizing left completion infos as its movements are mirrored
422
- According to https://github.com/codemirror/codemirror.next/issues/815
423
- this feature is out of scope for CodeMirror
424
- */
425
-
426
- .cm-completionInfo-left {
427
- resize: none;
428
- }
429
-
430
- /* Add placeholder to an empty element */
431
-
432
- .with-placeholder:empty:before {
433
- content: attr(data-placeholder);
434
- /* same value as placeholder-grey in tailwind.config.js */
435
- color: #888;
436
- }
437
-
438
- /* Also override CodeMirror buttons to use this style */
439
-
440
- .papyros-button,
441
- .cm-button,
442
- .tailwind .papyros-button,
443
- .tailwind .cm-button {
444
- margin: 0.25rem;
445
- cursor: pointer;
446
- border-radius: 0.5rem;
447
- padding-left: 0.75rem;
448
- padding-right: 0.75rem;
449
- padding-top: 0.25rem;
450
- padding-bottom: 0.25rem;
451
- }
452
-
453
- .papyros-button:disabled,
454
- .cm-button:disabled,
455
- .tailwind .papyros-button:disabled,
456
- .tailwind .cm-button:disabled {
457
- cursor: not-allowed;
458
- opacity: 0.5;
459
- }
460
-
461
- .papyros-button,
462
- .cm-button,
463
- .tailwind .papyros-button,
464
- .tailwind .cm-button{
465
- min-width: 60px;
466
- }
467
-
468
- /* Round the corners of textfields created by CodeMirror */
469
-
470
- .cm-textfield {
471
- border-radius: 0.5rem !important;
472
- }
473
-
474
- .papyros-button.btn-primary {
475
- --tw-bg-opacity: 1;
476
- background-color: rgb(59 130 246 / var(--tw-bg-opacity, 1));
477
- --tw-text-opacity: 1;
478
- color: rgb(255 255 255 / var(--tw-text-opacity, 1));
479
- }
480
-
481
- .papyros-button.btn-secondary {
482
- --tw-bg-opacity: 1;
483
- background-color: rgb(107 114 128 / var(--tw-bg-opacity, 1));
484
- --tw-text-opacity: 1;
485
- color: rgb(255 255 255 / var(--tw-text-opacity, 1));
486
- }
487
-
488
- .papyros-button.btn-danger {
489
- --tw-bg-opacity: 1;
490
- background-color: rgb(239 68 68 / var(--tw-bg-opacity, 1));
491
- --tw-text-opacity: 1;
492
- color: rgb(255 255 255 / var(--tw-text-opacity, 1));
493
- }
494
-
495
- .papyros-button.with-icon {
496
- padding-left: 8px;
497
- }
498
-
499
- .papyros-button.with-icon svg{
500
- vertical-align: middle;
501
- }
502
-
503
- .papyros-test-code {
504
- background-color: rgba(143, 182, 130, 0.1);
505
- }
506
-
507
- .papyros-test-code.cm-activeLine {
508
- background-color: rgba(143, 182, 130, 0.1)
509
- }
510
-
511
- .papyros-test-code-widget {
512
- background-color: rgba(143, 182, 130, 0.1);
513
- color: #7d8799;
514
- padding: 0 2px 0 6px;
515
- position: relative;
516
- }
517
-
518
- .papyros-test-code-buttons {
519
- position: absolute;
520
- top: -2px;
521
- left: -42px;
522
- z-index: 220;
523
- }
524
-
525
- .papyros-icon-link {
526
- --tw-text-opacity: 1;
527
- color: rgb(59 130 246 / var(--tw-text-opacity, 1));
528
- font-size: 16px;
529
- padding: 2px;
530
- cursor: pointer;
531
- }
532
-
533
- .papyros-icon-link:hover {
534
- --tw-text-opacity: 1;
535
- color: rgb(96 165 250 / var(--tw-text-opacity, 1));
536
- }
537
-
538
- .papyros-state-card.cm-panels {
539
- display: none;
540
- position: absolute;
541
- right: 8px;
542
- top: -31px;
543
- left: initial;
544
- padding: 4px 8px;
545
- border-top-left-radius: 12px;
546
- border-top-right-radius: 12px;
547
- border: 1px solid;
548
- --tw-border-opacity: 1;
549
- border-color: rgb(229 231 235 / var(--tw-border-opacity, 1));
550
- }
551
-
552
- .papyros-state-card.cm-panels:is(._tw-dark *) {
553
- border-style: none;
554
- }
555
-
556
- .papyros-state-card.cm-panels.show {
557
- display: flex;
558
- }
559
-
560
- .papyros-bottom-padding-widget {
561
- position: relative;
562
- height: 0;
563
- }
564
-
565
- .papyros-bottom-padding-widget div {
566
- background-color: rgba(143, 182, 130, 0.1);
567
- position: absolute;
568
- top: 0;
569
- left: 0;
570
- right: 0;
571
- height: 4px;
572
- }
573
-
574
- #__papyros-code-output-area.papyros-debug > * {
575
- opacity: 0.1;
576
- }
577
-
578
- #__papyros-code-output-area.papyros-debug > .papyros-highlight-debugged {
579
- opacity: 1;
580
- }
581
-
582
- .papyros-code-editor .cm-content[contenteditable="false"] {
583
- cursor: default;
584
- }
585
-
586
- .papyros-code-editor .cm-gutters {
587
- cursor: default;
588
- }
589
-
590
- .placeholder\:_tw-text-placeholder-grey::-moz-placeholder {
591
- --tw-text-opacity: 1 !important;
592
- color: rgb(136 136 136 / var(--tw-text-opacity, 1)) !important;
593
- }
594
-
595
- .placeholder\:_tw-text-placeholder-grey::placeholder {
596
- --tw-text-opacity: 1 !important;
597
- color: rgb(136 136 136 / var(--tw-text-opacity, 1)) !important;
598
- }
599
-
600
- .hover\:_tw-cursor-pointer:hover {
601
- cursor: pointer !important;
602
- }
603
-
604
- .focus\:_tw-outline-none:focus {
605
- outline: 2px solid transparent !important;
606
- outline-offset: 2px !important;
607
- }
608
-
609
- .focus\:_tw-ring-1:focus {
610
- --tw-ring-offset-shadow: var(--tw-ring-inset) 0 0 0 var(--tw-ring-offset-width) var(--tw-ring-offset-color) !important;
611
- --tw-ring-shadow: var(--tw-ring-inset) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color) !important;
612
- box-shadow: var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow, 0 0 #0000) !important;
613
- }
614
-
615
- .focus\:_tw-ring-blue-500:focus {
616
- --tw-ring-opacity: 1 !important;
617
- --tw-ring-color: rgb(59 130 246 / var(--tw-ring-opacity, 1)) !important;
618
- }
619
-
620
- .disabled\:_tw-cursor-not-allowed:disabled {
621
- cursor: not-allowed !important;
622
- }
623
-
624
- .dark\:_tw-border-dark-mode-blue:is(._tw-dark *) {
625
- --tw-border-opacity: 1 !important;
626
- border-color: rgb(2 119 189 / var(--tw-border-opacity, 1)) !important;
627
- }
628
-
629
- .dark\:_tw-border-dark-mode-content:is(._tw-dark *) {
630
- --tw-border-opacity: 1 !important;
631
- border-color: rgb(55 71 79 / var(--tw-border-opacity, 1)) !important;
632
- }
633
-
634
- .dark\:_tw-bg-dark-mode-bg:is(._tw-dark *) {
635
- --tw-bg-opacity: 1 !important;
636
- background-color: rgb(38 50 56 / var(--tw-bg-opacity, 1)) !important;
637
- }
638
-
639
- .dark\:_tw-bg-dark-mode-blue:is(._tw-dark *) {
640
- --tw-bg-opacity: 1 !important;
641
- background-color: rgb(2 119 189 / var(--tw-bg-opacity, 1)) !important;
642
- }
643
-
644
- .dark\:_tw-bg-slate-500:is(._tw-dark *) {
645
- --tw-bg-opacity: 1 !important;
646
- background-color: rgb(100 116 139 / var(--tw-bg-opacity, 1)) !important;
647
- }
648
-
649
- .dark\:_tw-text-dark-mode-blue:is(._tw-dark *) {
650
- --tw-text-opacity: 1 !important;
651
- color: rgb(2 119 189 / var(--tw-text-opacity, 1)) !important;
652
- }
653
-
654
- .dark\:_tw-text-white:is(._tw-dark *) {
655
- --tw-text-opacity: 1 !important;
656
- color: rgb(255 255 255 / var(--tw-text-opacity, 1)) !important;
657
- }