dialog-ide 0.5.0

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 (225) hide show
  1. package/CHANGELOG.md +69 -0
  2. package/LICENSE +201 -0
  3. package/README.md +211 -0
  4. package/THIRD_PARTY_LICENSES.md +157 -0
  5. package/bin/darwin-arm64/aambundle +0 -0
  6. package/bin/darwin-arm64/dgdebug +0 -0
  7. package/bin/darwin-arm64/dialogc +0 -0
  8. package/bin/dialog-lib/stddebug.dg +112 -0
  9. package/bin/dialog-lib/stdlib.dg +6730 -0
  10. package/bin/dialog-lib/unit.dg +187 -0
  11. package/dist/cli/commands/run-skein.d.ts +17 -0
  12. package/dist/cli/commands/run-skein.d.ts.map +1 -0
  13. package/dist/cli/commands/run-skein.js +105 -0
  14. package/dist/cli/commands/run-skein.js.map +1 -0
  15. package/dist/cli/commands/sources.d.ts +12 -0
  16. package/dist/cli/commands/sources.d.ts.map +1 -0
  17. package/dist/cli/commands/sources.js +42 -0
  18. package/dist/cli/commands/sources.js.map +1 -0
  19. package/dist/cli/commands/test.d.ts +9 -0
  20. package/dist/cli/commands/test.d.ts.map +1 -0
  21. package/dist/cli/commands/test.js +41 -0
  22. package/dist/cli/commands/test.js.map +1 -0
  23. package/dist/cli/context.d.ts +9 -0
  24. package/dist/cli/context.d.ts.map +1 -0
  25. package/dist/cli/context.js +78 -0
  26. package/dist/cli/context.js.map +1 -0
  27. package/dist/cli.d.ts +3 -0
  28. package/dist/cli.d.ts.map +1 -0
  29. package/dist/cli.js +32 -0
  30. package/dist/cli.js.map +1 -0
  31. package/dist/dialog-cover-resize.d.ts +2 -0
  32. package/dist/dialog-cover-resize.d.ts.map +1 -0
  33. package/dist/dialog-cover-resize.js +46 -0
  34. package/dist/dialog-cover-resize.js.map +1 -0
  35. package/dist/dialog-export.d.ts +23 -0
  36. package/dist/dialog-export.d.ts.map +1 -0
  37. package/dist/dialog-export.js +133 -0
  38. package/dist/dialog-export.js.map +1 -0
  39. package/dist/dialog-feelies.d.ts +4 -0
  40. package/dist/dialog-feelies.d.ts.map +1 -0
  41. package/dist/dialog-feelies.js +62 -0
  42. package/dist/dialog-feelies.js.map +1 -0
  43. package/dist/dialog-outline.d.ts +19 -0
  44. package/dist/dialog-outline.d.ts.map +1 -0
  45. package/dist/dialog-outline.js +122 -0
  46. package/dist/dialog-outline.js.map +1 -0
  47. package/dist/dialog-project-init.d.ts +5 -0
  48. package/dist/dialog-project-init.d.ts.map +1 -0
  49. package/dist/dialog-project-init.js +107 -0
  50. package/dist/dialog-project-init.js.map +1 -0
  51. package/dist/dialog-source-coverage.d.ts +9 -0
  52. package/dist/dialog-source-coverage.d.ts.map +1 -0
  53. package/dist/dialog-source-coverage.js +61 -0
  54. package/dist/dialog-source-coverage.js.map +1 -0
  55. package/dist/dialog-source-decoration-provider.d.ts +11 -0
  56. package/dist/dialog-source-decoration-provider.d.ts.map +1 -0
  57. package/dist/dialog-source-decoration-provider.js +79 -0
  58. package/dist/dialog-source-decoration-provider.js.map +1 -0
  59. package/dist/dialog-symbol-index.d.ts +19 -0
  60. package/dist/dialog-symbol-index.d.ts.map +1 -0
  61. package/dist/dialog-symbol-index.js +107 -0
  62. package/dist/dialog-symbol-index.js.map +1 -0
  63. package/dist/dialog-symbol-provider.d.ts +5 -0
  64. package/dist/dialog-symbol-provider.d.ts.map +1 -0
  65. package/dist/dialog-symbol-provider.js +56 -0
  66. package/dist/dialog-symbol-provider.js.map +1 -0
  67. package/dist/dialog-web-export.d.ts +25 -0
  68. package/dist/dialog-web-export.d.ts.map +1 -0
  69. package/dist/dialog-web-export.js +283 -0
  70. package/dist/dialog-web-export.js.map +1 -0
  71. package/dist/dialog-workspace-symbol-provider.d.ts +16 -0
  72. package/dist/dialog-workspace-symbol-provider.d.ts.map +1 -0
  73. package/dist/dialog-workspace-symbol-provider.js +107 -0
  74. package/dist/dialog-workspace-symbol-provider.js.map +1 -0
  75. package/dist/dialog-workspace-watcher.d.ts +22 -0
  76. package/dist/dialog-workspace-watcher.d.ts.map +1 -0
  77. package/dist/dialog-workspace-watcher.js +102 -0
  78. package/dist/dialog-workspace-watcher.js.map +1 -0
  79. package/dist/dialoged/skein/compile-error.d.ts +10 -0
  80. package/dist/dialoged/skein/compile-error.d.ts.map +1 -0
  81. package/dist/dialoged/skein/compile-error.js +28 -0
  82. package/dist/dialoged/skein/compile-error.js.map +1 -0
  83. package/dist/dialoged/skein/dynamic.d.ts +14 -0
  84. package/dist/dialoged/skein/dynamic.d.ts.map +1 -0
  85. package/dist/dialoged/skein/dynamic.js +176 -0
  86. package/dist/dialoged/skein/dynamic.js.map +1 -0
  87. package/dist/dialoged/skein/frotz-build.d.ts +10 -0
  88. package/dist/dialoged/skein/frotz-build.d.ts.map +1 -0
  89. package/dist/dialoged/skein/frotz-build.js +70 -0
  90. package/dist/dialoged/skein/frotz-build.js.map +1 -0
  91. package/dist/dialoged/skein/index.d.ts +15 -0
  92. package/dist/dialoged/skein/index.d.ts.map +1 -0
  93. package/dist/dialoged/skein/index.js +31 -0
  94. package/dist/dialoged/skein/index.js.map +1 -0
  95. package/dist/dialoged/skein/io.d.ts +15 -0
  96. package/dist/dialoged/skein/io.d.ts.map +1 -0
  97. package/dist/dialoged/skein/io.js +53 -0
  98. package/dist/dialoged/skein/io.js.map +1 -0
  99. package/dist/dialoged/skein/persistence.d.ts +13 -0
  100. package/dist/dialoged/skein/persistence.d.ts.map +1 -0
  101. package/dist/dialoged/skein/persistence.js +228 -0
  102. package/dist/dialoged/skein/persistence.js.map +1 -0
  103. package/dist/dialoged/skein/process.d.ts +38 -0
  104. package/dist/dialoged/skein/process.d.ts.map +1 -0
  105. package/dist/dialoged/skein/process.js +189 -0
  106. package/dist/dialoged/skein/process.js.map +1 -0
  107. package/dist/dialoged/skein/progress.d.ts +17 -0
  108. package/dist/dialoged/skein/progress.d.ts.map +1 -0
  109. package/dist/dialoged/skein/progress.js +9 -0
  110. package/dist/dialoged/skein/progress.js.map +1 -0
  111. package/dist/dialoged/skein/project.d.ts +44 -0
  112. package/dist/dialoged/skein/project.d.ts.map +1 -0
  113. package/dist/dialoged/skein/project.js +223 -0
  114. package/dist/dialoged/skein/project.js.map +1 -0
  115. package/dist/dialoged/skein/search.d.ts +15 -0
  116. package/dist/dialoged/skein/search.d.ts.map +1 -0
  117. package/dist/dialoged/skein/search.js +99 -0
  118. package/dist/dialoged/skein/search.js.map +1 -0
  119. package/dist/dialoged/skein/service.d.ts +91 -0
  120. package/dist/dialoged/skein/service.d.ts.map +1 -0
  121. package/dist/dialoged/skein/service.js +1097 -0
  122. package/dist/dialoged/skein/service.js.map +1 -0
  123. package/dist/dialoged/skein/session.d.ts +96 -0
  124. package/dist/dialoged/skein/session.d.ts.map +1 -0
  125. package/dist/dialoged/skein/session.js +690 -0
  126. package/dist/dialoged/skein/session.js.map +1 -0
  127. package/dist/dialoged/skein/syntax.d.ts +5 -0
  128. package/dist/dialoged/skein/syntax.d.ts.map +1 -0
  129. package/dist/dialoged/skein/syntax.js +150 -0
  130. package/dist/dialoged/skein/syntax.js.map +1 -0
  131. package/dist/dialoged/skein/trace.d.ts +31 -0
  132. package/dist/dialoged/skein/trace.d.ts.map +1 -0
  133. package/dist/dialoged/skein/trace.js +172 -0
  134. package/dist/dialoged/skein/trace.js.map +1 -0
  135. package/dist/dialoged/skein/tree.d.ts +114 -0
  136. package/dist/dialoged/skein/tree.d.ts.map +1 -0
  137. package/dist/dialoged/skein/tree.js +701 -0
  138. package/dist/dialoged/skein/tree.js.map +1 -0
  139. package/dist/dialoged/skein/ui/ansi.d.ts +4 -0
  140. package/dist/dialoged/skein/ui/ansi.d.ts.map +1 -0
  141. package/dist/dialoged/skein/ui/ansi.js +215 -0
  142. package/dist/dialoged/skein/ui/ansi.js.map +1 -0
  143. package/dist/dialoged/skein/ui/diff.d.ts +7 -0
  144. package/dist/dialoged/skein/ui/diff.d.ts.map +1 -0
  145. package/dist/dialoged/skein/ui/diff.js +17 -0
  146. package/dist/dialoged/skein/ui/diff.js.map +1 -0
  147. package/dist/dialoged/skein/ui/knot-menu.d.ts +5 -0
  148. package/dist/dialoged/skein/ui/knot-menu.d.ts.map +1 -0
  149. package/dist/dialoged/skein/ui/knot-menu.js +89 -0
  150. package/dist/dialoged/skein/ui/knot-menu.js.map +1 -0
  151. package/dist/dialoged/skein/ui/marker-colors.d.ts +5 -0
  152. package/dist/dialoged/skein/ui/marker-colors.d.ts.map +1 -0
  153. package/dist/dialoged/skein/ui/marker-colors.js +18 -0
  154. package/dist/dialoged/skein/ui/marker-colors.js.map +1 -0
  155. package/dist/dialoged/skein/ui/render.d.ts +13 -0
  156. package/dist/dialoged/skein/ui/render.d.ts.map +1 -0
  157. package/dist/dialoged/skein/ui/render.js +332 -0
  158. package/dist/dialoged/skein/ui/render.js.map +1 -0
  159. package/dist/dialoged/skein/ui/traceRender.d.ts +11 -0
  160. package/dist/dialoged/skein/ui/traceRender.d.ts.map +1 -0
  161. package/dist/dialoged/skein/ui/traceRender.js +139 -0
  162. package/dist/dialoged/skein/ui/traceRender.js.map +1 -0
  163. package/dist/dialoged/skein/ui/tree-pane.d.ts +3 -0
  164. package/dist/dialoged/skein/ui/tree-pane.d.ts.map +1 -0
  165. package/dist/dialoged/skein/ui/tree-pane.js +135 -0
  166. package/dist/dialoged/skein/ui/tree-pane.js.map +1 -0
  167. package/dist/dialoged/skein/ui/webExportPage.d.ts +29 -0
  168. package/dist/dialoged/skein/ui/webExportPage.d.ts.map +1 -0
  169. package/dist/dialoged/skein/ui/webExportPage.js +72 -0
  170. package/dist/dialoged/skein/ui/webExportPage.js.map +1 -0
  171. package/dist/extension.d.ts +4 -0
  172. package/dist/extension.d.ts.map +1 -0
  173. package/dist/extension.js +885 -0
  174. package/dist/extension.js.map +1 -0
  175. package/dist/session-runner.d.ts +23 -0
  176. package/dist/session-runner.d.ts.map +1 -0
  177. package/dist/session-runner.js +92 -0
  178. package/dist/session-runner.js.map +1 -0
  179. package/language-configuration.json +43 -0
  180. package/media/icon.png +0 -0
  181. package/media/icons/arrow-down-circle-solid.svg +3 -0
  182. package/media/icons/arrow-down-solid.svg +3 -0
  183. package/media/icons/arrow-path-solid.svg +3 -0
  184. package/media/icons/arrow-right-solid.svg +3 -0
  185. package/media/icons/arrow-up-on-square-stack-solid.svg +5 -0
  186. package/media/icons/arrow-up-solid.svg +3 -0
  187. package/media/icons/arrow-uturn-left.svg +3 -0
  188. package/media/icons/arrow-uturn-right.svg +3 -0
  189. package/media/icons/bookmark-solid.svg +3 -0
  190. package/media/icons/bug-ant-solid.svg +3 -0
  191. package/media/icons/check-badge-solid.svg +3 -0
  192. package/media/icons/check-circle-solid.svg +3 -0
  193. package/media/icons/chevron-double-down-solid.svg +4 -0
  194. package/media/icons/chevron-double-up-solid.svg +4 -0
  195. package/media/icons/command-line-solid.svg +3 -0
  196. package/media/icons/cpu-chip-solid.svg +4 -0
  197. package/media/icons/dg-file-dark.svg +6 -0
  198. package/media/icons/dg-file-light.svg +6 -0
  199. package/media/icons/ellipsis-vertical-solid.svg +3 -0
  200. package/media/icons/exclamation-triangle.svg +3 -0
  201. package/media/icons/folder-arrow-down-solid.svg +3 -0
  202. package/media/icons/globe-alt.svg +3 -0
  203. package/media/icons/lock-closed-solid.svg +3 -0
  204. package/media/icons/magnifying-glass-solid.svg +3 -0
  205. package/media/icons/pencil-solid.svg +4 -0
  206. package/media/icons/play-solid.svg +3 -0
  207. package/media/icons/plus-circle-solid.svg +3 -0
  208. package/media/icons/scissors-solid.svg +5 -0
  209. package/media/icons/tag-solid.svg +3 -0
  210. package/media/icons/trash-solid.svg +3 -0
  211. package/media/icons/x-circle-solid.svg +3 -0
  212. package/media/js/datastar.js +9 -0
  213. package/media/js/main.js +1109 -0
  214. package/media/js/skein-loader.js +10 -0
  215. package/media/js/trace-loader.js +4 -0
  216. package/media/js/trace.js +147 -0
  217. package/media/style.css +5783 -0
  218. package/package.json +231 -0
  219. package/resources/bundle/default-cover.png +0 -0
  220. package/resources/bundle/introduction-to-if.pdf +0 -0
  221. package/resources/bundle/play-if-card.pdf +1990 -1
  222. package/resources/bundle/play.css +432 -0
  223. package/resources/bundle/style.css +450 -0
  224. package/resources/dfrotz-skein-patch.dg +4 -0
  225. package/syntaxes/dialog.tmLanguage.json +490 -0
@@ -0,0 +1,432 @@
1
+ /* If using Google web fonts, import them here, before anything else */
2
+
3
+ html {
4
+ /* These seven basic colors are used for most of the interface */
5
+ /* See below for how they're applied */
6
+ --theme-darkest: #000000;
7
+ --theme-dark: #222222;
8
+ --theme-medium: #888888;
9
+ --theme-light: #cccccc;
10
+ --theme-lightest: #eeeeee;
11
+ --accent-dark: #c95c03; /* An orange color chosen by forum poll */
12
+ --accent-light: #fc8f36; /* Will it work? Only real-world testing can say! */
13
+ }
14
+
15
+ #aadefaults {
16
+ --night-page: var(--theme-darkest); /* Night mode outside gameport */
17
+ --night-bg: inherit; /* Night mode background */
18
+ --night-fg: var(--theme-light); /* Night mode text */
19
+ --day-page: var(--theme-lightest); /* Day mode outside gameport */
20
+ --day-bg: inherit; /* Day mode background */
21
+ --day-fg: var(--theme-darkest); /* Day mode text */
22
+ --ui: var(--theme-medium); /* UI elements like menu lines and buttons */
23
+ --ui-hover: var(--theme-light); /* UI elements when hovered */
24
+ --menu-bg: var(--theme-light); /* Menu backgrounds */
25
+ --menu-fg: var(--theme-darkest); /* Menu text */
26
+ --menu-hover: var(--theme-lightest); /* Menu text when hovered (for options) */
27
+ --panel-dark: var(--theme-dark); /* Transcript panel bg/fg depending on mode */
28
+ --panel-light: var(--theme-light); /* Transcript panel fg/bg depending on mode */
29
+
30
+ --progress-bg: var(--theme-light); /* Background of progress bar */
31
+ --progress-top: var(--accent-light); /* Top half of progress bar */
32
+ --progress-bottom: var(--accent-dark); /* Bottom half of progress bar */
33
+
34
+ --night-link: var(--accent-dark); /* Night mode link */
35
+ --night-link-hover: var(--accent-light); /* Night mode link, hovered */
36
+ --day-link: var(--accent-dark); /* Day mode link */
37
+ --day-link-hover: var(--accent-light); /* Day mode link, hovered */
38
+
39
+ --font-status: Geneva, sans-serif; /* Status bar and menus */
40
+ --font-body: Georgia, serif; /* Main body text */
41
+
42
+ --night-scroll-fg: var(--theme-medium);
43
+ --night-scroll-bg: var(--theme-dark);
44
+ --day-scroll-fg: var(--theme-medium);
45
+ --day-scroll-bg: var(--theme-light);
46
+ }
47
+
48
+ #aadefaults2 {
49
+ --bg: var(--day-bg);
50
+ --text: var(--day-fg);
51
+ --link: var(--day-link);
52
+ --link-hover: var(--day-link-hover);
53
+ background-color: var(--day-page);
54
+ color: var(--text);
55
+ scrollbar-color: var(--day-scroll-fg) var(--day-scroll-bg);
56
+ }
57
+
58
+ .night #aadefaults2 {
59
+ --bg: var(--night-bg);
60
+ --text: var(--night-fg);
61
+ --link: var(--night-link);
62
+ --link-hover: var(--night-link-hover);
63
+ background-color: var(--night-page);
64
+ scrollbar-color: var(--night-scroll-fg) var(--night-scroll-bg);
65
+ }
66
+
67
+ html, body, #aabody1, #aabody2, #aabody3, #aadefaults, #aadefaults2 {
68
+ width: 100%;
69
+ height: 100%;
70
+ margin: 0;
71
+ }
72
+
73
+ body.enlarge {
74
+ font-size: 2em;
75
+ }
76
+
77
+ /* This undoes the normal h2 styling from https://searchfox.org/mozilla-central/source/layout/style/res/html.css */
78
+ /* We're using h2 elements for each past player input, so that screen readers can easily jump to them */
79
+ /* But that means we don't want them to be styled like h2s, we want them to be styled like normal text */
80
+ h2 {
81
+ display: inline;
82
+ font-size: 1em;
83
+ font-weight: normal;
84
+ }
85
+
86
+ #aacontainer {
87
+ max-width: 200ch;
88
+ margin: auto;
89
+ position: relative;
90
+ line-height: 1.35em;
91
+ background-color: var(--bg);
92
+ }
93
+
94
+ #aaouterstatus {
95
+ padding-top: 20px;
96
+ min-height: 1.2em;
97
+ line-height: 1em;
98
+ }
99
+
100
+ #aastatusborder {
101
+ height: .1em;
102
+ background-color: var(--text);
103
+ opacity: 0; /* Fades in over one second when a status bar is created */
104
+ animation-fill-mode: both;
105
+ }
106
+
107
+ #aastatus {
108
+ padding-left: .3em;
109
+ padding-right: .3em;
110
+ font-family: var(--font-status);
111
+ min-height: 1.2em;
112
+ overflow: hidden;
113
+ display: none;
114
+ animation-name: fadein;
115
+ animation-duration: .9s;
116
+ animation-delay: .1s;
117
+ animation-fill-mode: both;
118
+ }
119
+
120
+ .nofont #aastatus {
121
+ font-family: sans-serif;
122
+ }
123
+
124
+ .aaprogress {
125
+ background-color: var(--progress-bottom);
126
+ height: .31em;
127
+ border-top: .19em solid var(--progress-top);
128
+ }
129
+
130
+ .aaouterprogress {
131
+ border-radius: .3em;
132
+ border: .1em solid var(--progress-bg);
133
+ margin-top: .2em;
134
+ text-align: left;
135
+ overflow: hidden;
136
+ }
137
+
138
+ #aamenubutton {
139
+ height: 1.3em;
140
+ width: 1.0em;
141
+ float: right;
142
+ margin-left: .3em;
143
+ padding-right: .3em;
144
+ position: relative;
145
+ }
146
+
147
+ #aamenulines {
148
+ margin-top: .3em;
149
+ width: 1.0em;
150
+ height: .125em;
151
+ border-top: .375em double var(--ui);
152
+ border-bottom: .125em solid var(--ui);
153
+ cursor: pointer;
154
+ float: right;
155
+ }
156
+
157
+ #aamenulines:hover {
158
+ border-color: var(--ui-hover);
159
+ }
160
+
161
+ .aacb {
162
+ width: 1em;
163
+ height: 1em;
164
+ vertical-align: middle;
165
+ }
166
+
167
+ #aamenu {
168
+ z-index: 1;
169
+ display: none;
170
+ position: relative;
171
+ top: .5em;
172
+ left: -18.6ch; /* I don't love these two being hardcoded */
173
+ width: 19.7ch; /* Maybe there's a better way to compute them */
174
+ overflow: hidden;
175
+ font-size: .8em;
176
+ }
177
+
178
+ #aamenulist {
179
+ background-color: var(--menu-bg);
180
+ color: var(--menu-fg);
181
+ border: 2px solid var(--menu-hover);
182
+ border-radius: .3em;
183
+ padding: .2em;
184
+ z-index: 1;
185
+ }
186
+
187
+ .aamenuoption {
188
+ margin: 1px;
189
+ overflow: hidden;
190
+ cursor: pointer;
191
+ }
192
+
193
+ .aamenuoption:hover {
194
+ color: var(--menu-hover);
195
+ }
196
+
197
+ .aahastooltip {
198
+ text-decoration: underline;
199
+ text-decoration-style: dotted;
200
+ }
201
+
202
+ #aaform {
203
+ margin: 0;
204
+ }
205
+
206
+ #aamain {
207
+ overflow-y: auto;
208
+ font-family: var(--font-body);
209
+ height: 80%;
210
+ margin: .3em;
211
+ padding-right: 1.3em;
212
+ clear: right;
213
+ }
214
+
215
+ .nofont #aamain {
216
+ font-family: serif;
217
+ }
218
+
219
+ #aascriptouter {
220
+ height: 80%;
221
+ margin: .3em;
222
+ padding-right: 1.3em;
223
+ clear: right;
224
+ display: none;
225
+ }
226
+
227
+ #aascriptinner {
228
+ width: 100%;
229
+ border: 0px;
230
+ padding: .2em;
231
+ background-color: var(--panel-light);
232
+ color: var(--panel-dark);
233
+ }
234
+
235
+ .night #aascriptinner { /* Invert dark and light at night */
236
+ background-color: var(--panel-dark);
237
+ color: var(--panel-light);
238
+ }
239
+
240
+ #aascriptclose {
241
+ border: .1em solid var(--menu-fg);
242
+ border-radius: .3em;
243
+ width: 20ch;
244
+ text-align: center;
245
+ margin: auto;
246
+ padding: .1em;
247
+ background-color: var(--ui);
248
+ color: var(--menu-fg);
249
+ }
250
+
251
+ #aascriptclose:hover {
252
+ background-color: var(--ui-hover);
253
+ }
254
+
255
+ #aainput {
256
+ width: 100%;
257
+ border: none;
258
+ outline: none;
259
+ font-family: var(--font-body);
260
+ font-size: 1em;
261
+ display: none;
262
+ background-color: transparent;
263
+ color: inherit; /* Necessary because some browsers have built-in CSS rules that apply to `form input`, and we want it to inherit from `body` */
264
+ padding: 0;
265
+ padding-bottom: 0.1em; /* Compensate for the height to ensure the bottom isn't cut off */
266
+ height: 1.1em;
267
+ }
268
+
269
+ .nofont #aainput {
270
+ font-family: serif;
271
+ }
272
+
273
+ @keyframes fadein {
274
+ 0% {
275
+ opacity: 0;
276
+ }
277
+ to {
278
+ opacity: 1;
279
+ }
280
+ }
281
+
282
+ p {
283
+ margin: 0;
284
+ animation-name: fadein;
285
+ animation-duration: .9s;
286
+ animation-delay: .1s;
287
+ animation-fill-mode: both;
288
+ width: 100%;
289
+ }
290
+
291
+ #aastatus p {
292
+ animation-name: none;
293
+ animation-duration: 0;
294
+ animation-delay: 0;
295
+ }
296
+
297
+ a {
298
+ text-decoration: inherit;
299
+ }
300
+
301
+ .aalink {
302
+ color: var(--link);
303
+ cursor: pointer;
304
+ }
305
+
306
+ .aalink:hover {
307
+ color: var(--link-hover);
308
+ text-decoration: underline;
309
+ }
310
+
311
+ .aailink {
312
+ color: var(--link);
313
+ }
314
+
315
+ .aailink:hover {
316
+ color: var(--link-hover);
317
+ text-decoration: underline;
318
+ }
319
+
320
+ @keyframes fadelink {
321
+ 0% {
322
+ color: var(--link);
323
+ }
324
+ to {
325
+ color: inherit;
326
+ }
327
+ }
328
+
329
+ .aadeadlink {
330
+ animation-name: fadelink;
331
+ animation-duration: .9s;
332
+ animation-delay: .1s;
333
+ animation-fill-mode: both;
334
+ cursor: text;
335
+ }
336
+
337
+ .aahidelink {
338
+ color: inherit;
339
+ cursor: text; /* Since now they're <a>s, they default to a pointer */
340
+ }
341
+
342
+ .aareveal {
343
+ margin-top: .8em;
344
+ margin-bottom: .8em;
345
+ color: var(--link);
346
+ animation-name: fadein;
347
+ animation-duration: .9s;
348
+ animation-delay: .1s;
349
+ animation-fill-mode: both;
350
+ text-align: center;
351
+ font-size: .8em;
352
+ }
353
+
354
+ .aareveal:hover {
355
+ color: var(--link-hover);
356
+ text-decoration: underline;
357
+ }
358
+
359
+ #aaaboutouter {
360
+ position: absolute;
361
+ top: 20%;
362
+ width: 100%;
363
+ z-index: 2;
364
+ display: none;
365
+ }
366
+
367
+ #aaerrorouter {
368
+ position: absolute;
369
+ top: 20%;
370
+ width: 100%;
371
+ z-index: 2;
372
+ display: none;
373
+ }
374
+
375
+ #aaaboutinner, #aaerrorinner {
376
+ background-color: var(--ui);
377
+ border: .1em solid var(--menu-fg);
378
+ border-radius: .3em;
379
+ width: 20em;
380
+ margin: auto;
381
+ padding: 1em;
382
+ }
383
+
384
+ .aaaboutline {
385
+ text-align: center;
386
+ }
387
+
388
+ #aaaboutmeta {
389
+ white-space: pre-line;
390
+ }
391
+
392
+ .aaerrorline {
393
+ margin-top: 1em;
394
+ margin-bottom: 1em;
395
+ }
396
+
397
+ img {
398
+ max-width: 100%;
399
+ }
400
+
401
+ .aaspacen {
402
+ display: inline-block;
403
+ }
404
+
405
+ .aaspanb {
406
+ font-weight: bold;
407
+ }
408
+
409
+ .aaspani {
410
+ font-style: italic;
411
+ }
412
+
413
+ .aaspanf {
414
+ font-family: monospace, monospace;
415
+ font-size: 1em;
416
+ }
417
+
418
+ .aaspanunb {
419
+ font-weight: normal;
420
+ }
421
+
422
+ .aaspanuni {
423
+ font-style: normal;
424
+ }
425
+
426
+ .aaspanunf {
427
+ font-family: var(--font-body);
428
+ }
429
+
430
+ .nofont .aaspanunf {
431
+ font-family: serif;
432
+ }