git.iko.soy/rowtype-yoga/psfp
on a1f9c3b help sign in
1115 lines 55 kB history raw
1// Generated by purs version 0.13.6
2"use strict";
3var Control_Applicative = require("../Control.Applicative/index.js");
4var Control_Bind = require("../Control.Bind/index.js");
5var Data_Array = require("../Data.Array/index.js");
6var Data_Eq = require("../Data.Eq/index.js");
7var Data_Foldable = require("../Data.Foldable/index.js");
8var Data_Functor = require("../Data.Functor/index.js");
9var Data_HeytingAlgebra = require("../Data.HeytingAlgebra/index.js");
10var Data_Int = require("../Data.Int/index.js");
11var Data_Maybe = require("../Data.Maybe/index.js");
12var Data_Monoid = require("../Data.Monoid/index.js");
13var Data_Ord = require("../Data.Ord/index.js");
14var Data_Semigroup = require("../Data.Semigroup/index.js");
15var Data_Show = require("../Data.Show/index.js");
16var Data_String_CodePoints = require("../Data.String.CodePoints/index.js");
17var Data_String_Common = require("../Data.String.Common/index.js");
18var Data_Symbol = require("../Data.Symbol/index.js");
19var JSS = require("../JSS/index.js");
20var Random_LCG = require("../Random.LCG/index.js");
21var Random_PseudoRandom = require("../Random.PseudoRandom/index.js");
22var React_Basic = require("../React.Basic/index.js");
23var React_Basic_DOM = require("../React.Basic.DOM/index.js");
24var React_Basic_DOM_Internal = require("../React.Basic.DOM.Internal/index.js");
25var React_Basic_DOM_SVG = require("../React.Basic.DOM.SVG/index.js");
26var React_Basic_Hooks = require("../React.Basic.Hooks/index.js");
27var React_Basic_Hooks_Internal = require("../React.Basic.Hooks.Internal/index.js");
28var Record_Extra = require("../Record.Extra/index.js");
29var Type_Equality = require("../Type.Equality/index.js");
30var Yoga_DOM_Hook = require("../Yoga.DOM.Hook/index.js");
31var Yoga_Scroll_Hook = require("../Yoga.Scroll.Hook/index.js");
32var Yoga_Theme_Styles = require("../Yoga.Theme.Styles/index.js");
33var textToTspans = function (classes) {
34 return function (scrolled) {
35 return function (x) {
36 return function (str) {
37 var words = function (line) {
38 var split = Data_String_Common.split(" ")(line);
39 return split;
40 };
41 var scrolledString = (function () {
42 var len = Data_Int.toNumber(Data_String_CodePoints.length(str));
43 var charactersToTake = Data_Int.round(scrolled * (1.0 / 0.5) * len);
44 return Data_String_CodePoints.take(charactersToTake)(str);
45 })();
46 var lines = Data_String_Common.split("\x0a")(scrolledString);
47 var keywords = [ "module", "\u2237", "::", "forall", "\u2200", "do", "where", "let", "in", "instance", "class", "data", "=", "|", "type", "newtype", "derive", "if", "then", "else", "import" ];
48 var isTypeName = function (s) {
49 var inRange = function (c1) {
50 return function (c2) {
51 return Data_Ord.between(Data_String_CodePoints.ordCodePoint)(Data_String_CodePoints.codePointFromChar(c1))(Data_String_CodePoints.codePointFromChar(c2));
52 };
53 };
54 var isLetter = (function () {
55 var $539 = Data_Maybe.maybe(false)(Data_HeytingAlgebra.disj(Data_HeytingAlgebra.heytingAlgebraFunction(Data_HeytingAlgebra.heytingAlgebraBoolean))(inRange("a")("z"))(inRange("A")("Z")));
56 return function ($540) {
57 return $539(Data_Array.head(Data_String_CodePoints.toCodePointArray($540)));
58 };
59 })();
60 var firstLetter = Data_String_CodePoints.take(1)(s);
61 return Data_String_Common.toUpper(firstLetter) === firstLetter && isLetter(firstLetter);
62 };
63 var cursor = React_Basic_DOM_SVG.tspan()({
64 dx: "0",
65 dy: "0",
66 children: [ React_Basic_DOM.text("\u2588") ],
67 className: classes.cursor,
68 id: "landing-page-cursor"
69 });
70 var classNameForWord = function (v) {
71 if (Data_Foldable.elem(Data_Foldable.foldableArray)(Data_Eq.eqString)(v)(keywords)) {
72 return classes.keyword;
73 };
74 if (isTypeName(v)) {
75 return classes.typeName;
76 };
77 return "";
78 };
79 var toTspan = function (v) {
80 return function (line) {
81 var v1 = Data_Array.uncons(words(line));
82 if (v1 instanceof Data_Maybe.Nothing) {
83 return {
84 distance: v.distance + 1.2,
85 acc: v.acc
86 };
87 };
88 if (v1 instanceof Data_Maybe.Just && (v1.value0.head === "" && v1.value0.tail.length === 0)) {
89 return {
90 distance: v.distance + 1.2,
91 acc: v.acc
92 };
93 };
94 if (v1 instanceof Data_Maybe.Just) {
95 var mkNewElems = function (v2) {
96 return function (v3) {
97 if (v3 === "") {
98 return {
99 prefix: v2.prefix + " ",
100 spans: v2.spans
101 };
102 };
103 return {
104 prefix: " ",
105 spans: Data_Array.snoc(v2.spans)(React_Basic_DOM_SVG.tspan()({
106 children: [ React_Basic_DOM.text(v2.prefix + v3) ],
107 className: classNameForWord(v3)
108 }))
109 };
110 };
111 };
112 var newElems = (function (v2) {
113 return v2.spans;
114 })(Data_Foldable.foldl(Data_Foldable.foldableArray)(mkNewElems)({
115 prefix: " ",
116 spans: [ ]
117 })(v1.value0.tail));
118 var first = React_Basic_DOM_SVG.tspan()({
119 x: Data_Show.show(Data_Show.showNumber)(x),
120 dy: Data_Show.show(Data_Show.showNumber)(v.distance) + "em",
121 children: [ React_Basic_DOM.text(v1.value0.head) ]
122 });
123 var pimped = Data_Array.cons(first)(newElems);
124 return {
125 distance: 1.2,
126 acc: Data_Semigroup.append(Data_Semigroup.semigroupArray)(v.acc)(pimped)
127 };
128 };
129 throw new Error("Failed pattern match at Yoga.SVG.Image (line 399, column 36 - line 429, column 44): " + [ v1.constructor.name ]);
130 };
131 };
132 return Data_Semigroup.append(Data_Semigroup.semigroupArray)((Data_Foldable.foldl(Data_Foldable.foldableArray)(toTspan)({
133 distance: 0.0,
134 acc: [ ]
135 })(lines)).acc)([ cursor ]);
136 };
137 };
138 };
139};
140var stars = function (className) {
141 return function (classes) {
142 var opacities = Random_PseudoRandom.randomRs(Random_PseudoRandom.randomNumber)(0.5)(0.9)(30)(Random_LCG.mkSeed(92));
143 var radiuses = Random_PseudoRandom.randomRs(Random_PseudoRandom.randomNumber)(0.1)(1.3)(30)(Random_LCG.mkSeed(15));
144 var xs = Random_PseudoRandom.randomRs(Random_PseudoRandom.randomNumber)(0.0)(800.0)(30)(Random_LCG.mkSeed(84));
145 var ys = Random_PseudoRandom.randomRs(Random_PseudoRandom.randomNumber)(-20.0)(200.0)(30)(Random_LCG.mkSeed(4398));
146 var classNames = Data_Functor.mapFlipped(Data_Functor.functorArray)(Random_PseudoRandom.randomRs(Random_PseudoRandom.randomInt)(1)(50)(30)(Random_LCG.mkSeed(3)))(function (v) {
147 if (v === 1) {
148 return classes.twinklingStar1;
149 };
150 if (v === 2) {
151 return classes.twinklingStar2;
152 };
153 if (v === 3) {
154 return classes.twinklingStar2;
155 };
156 return "";
157 });
158 var zipped = Data_Array.zip(xs)(Data_Array.zip(ys)(Data_Array.zip(radiuses)(Data_Array.zip(classNames)(opacities))));
159 var children = Control_Bind.bind(Control_Bind.bindArray)(zipped)(function (v) {
160 return Control_Applicative.pure(Control_Applicative.applicativeArray)(React_Basic_DOM_SVG.circle()({
161 cx: Data_Show.show(Data_Show.showNumber)(v.value0),
162 cy: Data_Show.show(Data_Show.showNumber)(v.value1.value0),
163 r: Data_Show.show(Data_Show.showNumber)(v.value1.value1.value0),
164 fill: "#eeefff",
165 className: v.value1.value1.value1.value0,
166 opacity: Data_Show.show(Data_Show.showNumber)(v.value1.value1.value1.value1 - v.value1.value0 / 200.0)
167 }));
168 });
169 return React_Basic_DOM_SVG.g()({
170 fillOpacity: ".67",
171 children: children,
172 className: className
173 });
174 };
175};
176var mountains = function (isLight) {
177 return function (scrolled) {
178 return React_Basic_DOM_SVG.g()({
179 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 70.0) + ")"),
180 children: [ React_Basic_DOM_SVG.path()({
181 d: "M476.098 218.299l81.644 216.765H352.334l123.764-216.765z",
182 fill: (function () {
183 if (isLight) {
184 return "#4560a0";
185 };
186 return "#04102d";
187 })()
188 }), React_Basic_DOM_SVG.path()({
189 d: "M476.098 218.299l21.823 203.477 81.177-8.706-103-194.771z",
190 fill: (function () {
191 if (isLight) {
192 return "#5e84ba";
193 };
194 return "#250849";
195 })()
196 }), React_Basic_DOM_SVG.path()({
197 d: "M369.627 308.648l88.326 125.788H252.546l117.081-125.788z",
198 fill: (function () {
199 if (isLight) {
200 return "#4560a0";
201 };
202 return "#04102d";
203 })()
204 }), React_Basic_DOM_SVG.path()({
205 d: "M326.11 338.332l68.193 96.732H188.896l137.214-96.732zM508.168 243.792l163.526 204.747H415.051l93.117-204.747z",
206 fill: (function () {
207 if (isLight) {
208 return "#4560a0";
209 };
210 return "#04102d";
211 })()
212 }), React_Basic_DOM_SVG.path()({
213 d: "M508.168 245.355l63.395 75.115-54.953 46.379-8.442-121.494zM369.612 308.648l54.182 77.687-58.981 41.135 4.799-118.822zM326.184 338.326l16.813 23.99-16.887 11.835.074-35.825z",
214 fill: (function () {
215 if (isLight) {
216 return "#5e84ba";
217 };
218 return "#250849";
219 })()
220 }), React_Basic_DOM_SVG.path()({
221 d: "M633.647 230.42L809.34 435.064H457.953L633.647 230.42z",
222 fill: (function () {
223 if (isLight) {
224 return "#4560a0";
225 };
226 return "#04102d";
227 })()
228 }), React_Basic_DOM_SVG.path()({
229 d: "M633.647 230.42L735.22 475.549l86.041-35.653L633.647 230.42z",
230 fill: (function () {
231 if (isLight) {
232 return "#5e84ba";
233 };
234 return "#250849";
235 })()
236 }), React_Basic_DOM_SVG.path()({
237 d: "M643.625 254.384c-.571.219-.745.283-1.863.82-2.864 1.395-6.079 3.209-9.184 2.64-6.187-1.134-10.854-6.283-16.725-6.738l17.786-20.729 9.986 24.007z",
238 fill: (function () {
239 if (isLight) {
240 return "#d9d9d9";
241 };
242 return "#655578";
243 })()
244 }), React_Basic_DOM_SVG.path()({
245 d: "M654.229 253.4c-.494-.028-.875-.013-.875-.013-3.255-.486-6.617-.192-9.677.982l-.052.02-9.978-23.97 20.582 22.981z",
246 fill: (function () {
247 if (isLight) {
248 return "#fff";
249 };
250 return "#9d779e";
251 })()
252 }) ]
253 });
254 };
255};
256var lightDefs = React_Basic_DOM_SVG.defs()({
257 children: [ React_Basic_DOM_SVG.linearGradient()({
258 id: "_Linear2",
259 x1: "0",
260 y1: "0",
261 x2: "1",
262 y2: "0",
263 gradientUnits: "userSpaceOnUse",
264 gradientTransform: "matrix(0 451.564 -803.856 0 398.9 -3.513)",
265 children: [ React_Basic_DOM_SVG.stop()({
266 offset: "0",
267 stopColor: "#68adfc"
268 }), React_Basic_DOM_SVG.stop()({
269 offset: ".34",
270 stopColor: "#cbe0f8"
271 }), React_Basic_DOM_SVG.stop()({
272 offset: "1",
273 stopColor: "#d2cbf8"
274 }) ]
275 }), React_Basic_DOM_SVG.linearGradient()({
276 id: "_Linear4",
277 x1: "0",
278 y1: "0",
279 x2: "1",
280 y2: "0",
281 gradientUnits: "userSpaceOnUse",
282 gradientTransform: "scale(293.8304) rotate(83.86 -.11 .484)",
283 children: [ React_Basic_DOM_SVG.stop()({
284 offset: "0",
285 stopColor: "#bde8f7"
286 }), React_Basic_DOM_SVG.stop()({
287 offset: "1",
288 stopColor: "#86b6fe"
289 }) ]
290 }), React_Basic_DOM_SVG.linearGradient()({
291 id: "_Linear5",
292 x1: "0",
293 y1: "0",
294 x2: "1",
295 y2: "0",
296 gradientUnits: "userSpaceOnUse",
297 gradientTransform: "scale(219.3256) rotate(84.988 -.028 1.133)",
298 children: [ React_Basic_DOM_SVG.stop()({
299 offset: "0",
300 stopColor: "#bde8f7"
301 }), React_Basic_DOM_SVG.stop()({
302 offset: "1",
303 stopColor: "#86b6fe"
304 }) ]
305 }), React_Basic_DOM_SVG.linearGradient()({
306 id: "_Linear6",
307 x1: "0",
308 y1: "0",
309 x2: "1",
310 y2: "0",
311 gradientUnits: "userSpaceOnUse",
312 gradientTransform: "rotate(90 -6.304 321.409) scale(123.585)",
313 children: [ React_Basic_DOM_SVG.stop()({
314 offset: "0",
315 stopColor: "#bde8f7"
316 }), React_Basic_DOM_SVG.stop()({
317 offset: "1",
318 stopColor: "#86b6fe"
319 }) ]
320 }), React_Basic_DOM_SVG.linearGradient()({
321 id: "_Linear7",
322 x1: "0",
323 y1: "0",
324 x2: "1",
325 y2: "0",
326 gradientUnits: "userSpaceOnUse",
327 gradientTransform: "scale(132.4342) rotate(68.9 -1.112 2.415)",
328 children: [ React_Basic_DOM_SVG.stop()({
329 offset: "0",
330 stopColor: "#bde8f7"
331 }), React_Basic_DOM_SVG.stop()({
332 offset: "1",
333 stopColor: "#86b6fe"
334 }) ]
335 }), React_Basic_DOM_SVG.linearGradient()({
336 id: "_Linear8",
337 x1: "0",
338 y1: "0",
339 x2: "1",
340 y2: "0",
341 gradientUnits: "userSpaceOnUse",
342 gradientTransform: "rotate(90 -88.788 166.635) scale(190.951)",
343 children: [ React_Basic_DOM_SVG.stop()({
344 offset: "0",
345 stopColor: "#bde8f7"
346 }), React_Basic_DOM_SVG.stop()({
347 offset: "1",
348 stopColor: "#86b6fe"
349 }) ]
350 }), React_Basic_DOM_SVG.linearGradient()({
351 id: "_Linear9",
352 x1: "0",
353 y1: "0",
354 x2: "1",
355 y2: "0",
356 gradientUnits: "userSpaceOnUse",
357 gradientTransform: "matrix(314.21 0 0 9.97478 340.83 431.758)",
358 children: [ React_Basic_DOM_SVG.stop()({
359 offset: "0",
360 stopColor: "#a9abc1"
361 }), React_Basic_DOM_SVG.stop()({
362 offset: ".11",
363 stopColor: "#65687d"
364 }), React_Basic_DOM_SVG.stop()({
365 offset: ".5",
366 stopColor: "#c3c5d2"
367 }), React_Basic_DOM_SVG.stop()({
368 offset: ".89",
369 stopColor: "#64677c"
370 }), React_Basic_DOM_SVG.stop()({
371 offset: "1",
372 stopColor: "#a4a7c2"
373 }) ]
374 }), React_Basic_DOM_SVG.radialGradient()({
375 id: "_Radial3",
376 cx: "0",
377 cy: "0",
378 r: "1",
379 gradientUnits: "userSpaceOnUse",
380 gradientTransform: "matrix(647.316 0 0 309.935 720.558 355.142)",
381 children: [ React_Basic_DOM_SVG.stop()({
382 offset: "0",
383 stopColor: "#cfcfcf",
384 stopOpacity: ".65"
385 }), React_Basic_DOM_SVG.stop()({
386 offset: "1",
387 stopColor: "#fff552",
388 stopOpacity: "0"
389 }) ]
390 }) ]
391});
392var laptop = function (classes) {
393 return function (scrolled) {
394 return React_Basic_DOM_SVG.g()({
395 children: [ React_Basic_DOM_SVG.path()({
396 d: "M606.064 273.603c0-6.261-5.076-11.337-11.337-11.337H399.673c-6.261 0-11.337 5.076-11.337 11.337v151.521a5.001 5.001 0 005 5h207.728a5.004 5.004 0 003.536-1.464 5.004 5.004 0 001.464-3.536V273.603z",
397 fill: "#657390"
398 }), React_Basic_DOM_SVG.path()({
399 d: "M606.064 273.603c0-6.261-5.076-11.337-11.337-11.337H399.673c-6.261 0-11.337 5.076-11.337 11.337v151.521a5.001 5.001 0 005 5h207.728a5.004 5.004 0 003.536-1.464 5.004 5.004 0 001.464-3.536V273.603z",
400 fill: "#657390"
401 }), React_Basic_DOM_SVG.path()({
402 d: "M599.193 275.905a5.528 5.528 0 00-5.526-5.526H400.604a5.528 5.528 0 00-5.526 5.526v141.039a5.528 5.528 0 005.526 5.526h193.063a5.528 5.528 0 005.526-5.526V275.905z",
403 fill: "#130c2b",
404 className: classes.laptopBackground
405 }), React_Basic_DOM_SVG.path()({
406 d: "M655.04 427.228a.458.458 0 00-.457-.457H340.83v4.975a5 5 0 005 5h304.21a5 5 0 005-5v-4.518z",
407 className: classes.laptopBody
408 }), React_Basic_DOM_SVG.circle()({
409 cx: "497.178",
410 cy: "267.001",
411 r: "1.238",
412 fillOpacity: ".45"
413 }), React_Basic_DOM_SVG.circle()({
414 cx: "500.009",
415 cy: "267.001",
416 r: ".527",
417 fillOpacity: ".45"
418 }), React_Basic_DOM_SVG.circle()({
419 cx: "494.263",
420 cy: "267.001",
421 r: ".527",
422 fill: "#102708",
423 fillOpacity: ".45"
424 }), React_Basic_DOM_SVG.text()({
425 x: "407",
426 y: "290",
427 className: classes.screenText,
428 children: textToTspans(classes)(scrolled)(407.0)(Data_Foldable.intercalate(Data_Foldable.foldableArray)(Data_Monoid.monoidString)("\x0a")([ "hoistJoker ", "\x09\u2237 \u2200 f g a b", "\x09. (f ~> g)", "\x09-> Joker f a b", "\x09-> Joker g a b", "hoistJoker f (Joker a) =", "\x09 Joker (f a)" ]))
429 }) ]
430 });
431 };
432};
433var darkDefs = React_Basic_DOM_SVG.defs()({
434 children: [ React_Basic_DOM_SVG.linearGradient()({
435 id: "_Linear2",
436 x1: "0",
437 y1: "0",
438 x2: "1",
439 y2: "0",
440 gradientUnits: "userSpaceOnUse",
441 gradientTransform: "matrix(0 451.564 -803.856 0 398.9 -3.513)",
442 children: [ React_Basic_DOM_SVG.stop()({
443 offset: "0",
444 stopColor: "#000434"
445 }), React_Basic_DOM_SVG.stop()({
446 offset: ".28",
447 stopColor: "#171043"
448 }), React_Basic_DOM_SVG.stop()({
449 offset: ".68",
450 stopColor: "#573774"
451 }), React_Basic_DOM_SVG.stop()({
452 offset: "1",
453 stopColor: "#b8734e"
454 }) ]
455 }), React_Basic_DOM_SVG.linearGradient()({
456 id: "_Linear4",
457 x1: "0",
458 y1: "0",
459 x2: "1",
460 y2: "0",
461 gradientUnits: "userSpaceOnUse",
462 gradientTransform: "matrix(-.53832 -17.3125 1.44013 -.04478 749.812 228.864)",
463 children: [ React_Basic_DOM_SVG.stop()({
464 offset: "0",
465 stopColor: "#e59f77"
466 }), React_Basic_DOM_SVG.stop()({
467 offset: ".47",
468 stopColor: "#a46075"
469 }), React_Basic_DOM_SVG.stop()({
470 offset: "1",
471 stopColor: "#914d74"
472 }) ]
473 }), React_Basic_DOM_SVG.linearGradient()({
474 id: "_Linear5",
475 x1: "0",
476 y1: "0",
477 x2: "1",
478 y2: "0",
479 gradientUnits: "userSpaceOnUse",
480 gradientTransform: "scale(293.8304) rotate(83.86 -.11 .484)",
481 children: [ React_Basic_DOM_SVG.stop()({
482 offset: "0",
483 stopColor: "#08001b"
484 }), React_Basic_DOM_SVG.stop()({
485 offset: "1",
486 stopColor: "#571547"
487 }) ]
488 }), React_Basic_DOM_SVG.linearGradient()({
489 id: "_Linear6",
490 x1: "0",
491 y1: "0",
492 x2: "1",
493 y2: "0",
494 gradientUnits: "userSpaceOnUse",
495 gradientTransform: "scale(219.3256) rotate(84.988 -.028 1.133)",
496 children: [ React_Basic_DOM_SVG.stop()({
497 offset: "0",
498 stopColor: "#000418"
499 }), React_Basic_DOM_SVG.stop()({
500 offset: "1",
501 stopColor: "#571548"
502 }) ]
503 }), React_Basic_DOM_SVG.linearGradient()({
504 id: "_Linear7",
505 x1: "0",
506 y1: "0",
507 x2: "1",
508 y2: "0",
509 gradientUnits: "userSpaceOnUse",
510 gradientTransform: "matrix(46.7869 123.585 -71.5547 27.0893 259.972 327.713)",
511 children: [ React_Basic_DOM_SVG.stop()({
512 offset: "0",
513 stopColor: "#000418"
514 }), React_Basic_DOM_SVG.stop()({
515 offset: "1",
516 stopColor: "#571548"
517 }) ]
518 }), React_Basic_DOM_SVG.linearGradient()({
519 id: "_Linear8",
520 x1: "0",
521 y1: "0",
522 x2: "1",
523 y2: "0",
524 gradientUnits: "userSpaceOnUse",
525 gradientTransform: "rotate(90 -6.304 321.409) scale(123.585)",
526 children: [ React_Basic_DOM_SVG.stop()({
527 offset: "0",
528 stopColor: "#3a0843"
529 }), React_Basic_DOM_SVG.stop()({
530 offset: "1",
531 stopColor: "#9f5c6a"
532 }) ]
533 }), React_Basic_DOM_SVG.linearGradient()({
534 id: "_Linear9",
535 x1: "0",
536 y1: "0",
537 x2: "1",
538 y2: "0",
539 gradientUnits: "userSpaceOnUse",
540 gradientTransform: "scale(101.643) rotate(28.107 -6.187 4.945)",
541 children: [ React_Basic_DOM_SVG.stop()({
542 offset: "0",
543 stopColor: "#2c1d2f"
544 }), React_Basic_DOM_SVG.stop()({
545 offset: "1",
546 stopColor: "#480445"
547 }) ]
548 }), React_Basic_DOM_SVG.linearGradient()({
549 id: "_Linear10",
550 x1: "0",
551 y1: "0",
552 x2: "1",
553 y2: "0",
554 gradientUnits: "userSpaceOnUse",
555 gradientTransform: "scale(-106.68957) rotate(-86.136 -1.645 -.807)",
556 children: [ React_Basic_DOM_SVG.stop()({
557 offset: "0",
558 stopColor: "#2c1d2f"
559 }), React_Basic_DOM_SVG.stop()({
560 offset: "1",
561 stopColor: "#480445"
562 }) ]
563 }), React_Basic_DOM_SVG.linearGradient()({
564 id: "_Linear11",
565 x1: "0",
566 y1: "0",
567 x2: "1",
568 y2: "0",
569 gradientUnits: "userSpaceOnUse",
570 gradientTransform: "matrix(20.5602 0 -184.503 0 11.25 272.442)",
571 children: [ React_Basic_DOM_SVG.stop()({
572 offset: "0",
573 stopColor: "#000624"
574 }), React_Basic_DOM_SVG.stop()({
575 offset: "1",
576 stopColor: "#4f1557"
577 }) ]
578 }), React_Basic_DOM_SVG.linearGradient()({
579 id: "_Linear12",
580 x1: "0",
581 y1: "0",
582 x2: "1",
583 y2: "0",
584 gradientUnits: "userSpaceOnUse",
585 gradientTransform: "matrix(314.21 0 0 9.97478 340.83 431.758)",
586 children: [ React_Basic_DOM_SVG.stop()({
587 offset: "0",
588 stopColor: "#a9abc1"
589 }), React_Basic_DOM_SVG.stop()({
590 offset: ".11",
591 stopColor: "#65687d"
592 }), React_Basic_DOM_SVG.stop()({
593 offset: ".5",
594 stopColor: "#c3c5d2"
595 }), React_Basic_DOM_SVG.stop()({
596 offset: ".89",
597 stopColor: "#64677c"
598 }), React_Basic_DOM_SVG.stop()({
599 offset: "1",
600 stopColor: "#a4a7c2"
601 }) ]
602 }), React_Basic_DOM_SVG.radialGradient()({
603 id: "_Radial3",
604 cx: "0",
605 cy: "0",
606 r: "1",
607 gradientUnits: "userSpaceOnUse",
608 gradientTransform: "matrix(330.479 0 0 252.189 174.599 310.24)",
609 children: [ React_Basic_DOM_SVG.stop()({
610 offset: "0",
611 stopColor: "#f60",
612 stopOpacity: ".3"
613 }), React_Basic_DOM_SVG.stop()({
614 offset: "1",
615 stopColor: "#fff552",
616 stopOpacity: "0"
617 }) ]
618 }) ]
619});
620var defs = function (v) {
621 if (v) {
622 return lightDefs;
623 };
624 return darkDefs;
625};
626var buildings = function (isLight) {
627 return function (scrolled) {
628 return React_Basic_DOM_SVG.g()({
629 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 30.0) + ")"),
630 children: [ React_Basic_DOM_SVG.path()({
631 d: "M195.171 451.298V159.153H92.709v292.145h102.462z",
632 fill: (function () {
633 if (isLight) {
634 return "url(#_Linear4)";
635 };
636 return "url(#_Linear5)";
637 })()
638 }), React_Basic_DOM_SVG.path()({
639 d: "M289.755 451.298V232.811h-57.232v218.487h57.232z",
640 fill: (function () {
641 if (isLight) {
642 return "url(#_Linear5)";
643 };
644 return "url(#_Linear6)";
645 })()
646 }), React_Basic_DOM_SVG.path()({
647 d: "M207.557 451.298V232.811h25.314v218.487h-25.314zM92.709 451.298V159.153h25.314v292.145H92.709z",
648 fill: (function () {
649 if (isLight) {
650 return "#b4dbfb";
651 };
652 return "#130425";
653 })()
654 }), React_Basic_DOM_SVG.path()({
655 d: "M323.451 451.298V327.713h-71.555v123.585h71.555z",
656 fill: (function () {
657 if (isLight) {
658 return "url(#_Linear6)";
659 };
660 return "url(#_Linear7)";
661 })(),
662 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 60.0) + ")")
663 }), React_Basic_DOM_SVG.path()({
664 d: "M323.451 451.298V327.713h-16.692v123.585h16.692z",
665 fill: (function () {
666 if (isLight) {
667 return "url(#_Linear7)";
668 };
669 return "url(#_Linear8)";
670 })(),
671 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 60.0) + ")")
672 }), React_Basic_DOM_SVG.path()({
673 d: "M272.498 451.298v-95.771H135.943v95.771h136.555z",
674 fill: (function () {
675 if (isLight) {
676 return "url(#_Linear8)";
677 };
678 return "url(#_Linear9)";
679 })(),
680 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 100.0) + ")")
681 }), React_Basic_DOM_SVG.path()({
682 d: "M173.526 451.298v-95.771h-37.583v95.771h37.583z",
683 fill: (function () {
684 if (isLight) {
685 return "#b4dbfb";
686 };
687 return "#2e1232";
688 })(),
689 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 100.0) + ")")
690 }), React_Basic_DOM_SVG.path()({
691 d: "M85.122 451.298V272.442h-97.675v178.856h97.675z",
692 fill: (function () {
693 if (isLight) {
694 return "#b4dbfb";
695 };
696 return "url(#_Linear10)";
697 })(),
698 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 100.0) + ")")
699 }), React_Basic_DOM_SVG.path()({
700 d: "M66.649 456.944V272.442H-3.028v184.502h69.677z",
701 fill: (function () {
702 if (isLight) {
703 return "#b4dbfb";
704 };
705 return "url(#_Linear11)";
706 })(),
707 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 100.0) + ")")
708 }) ]
709 });
710 };
711};
712var mkLandingPageBackground = function __do() {
713 var useStyles = Yoga_Theme_Styles.makeStylesJSS()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
714 return "@keyframes animatedCursor";
715 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
716 return "@keyframes movingCloud1";
717 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
718 return "@keyframes movingCloud2";
719 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
720 return "@keyframes rotateStars";
721 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
722 return "@keyframes twinkle";
723 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
724 return "@keyframes twinkleFast";
725 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
726 return "cursor";
727 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
728 return "keyword";
729 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
730 return "laptopBackground";
731 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
732 return "laptopBody";
733 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
734 return "lightEllipsis";
735 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
736 return "movingCloud1";
737 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
738 return "movingCloud2";
739 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
740 return "movingCloud3";
741 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
742 return "screenText";
743 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
744 return "stars";
745 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
746 return "twinklingStar1";
747 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
748 return "twinklingStar2";
749 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
750 return "twinklingStar3";
751 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
752 return "typeName";
753 }))()(Record_Extra.mapRecordNil)()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())(JSS.jssClasses()(function (v) {
754 return {
755 laptopBackground: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
756 return "fill";
757 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
758 fill: v.backgroundColour
759 }),
760 lightEllipsis: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
761 return "cx";
762 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
763 return "cy";
764 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
765 return "rx";
766 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
767 return "ry";
768 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))))()())({
769 cx: (function () {
770 if (v.isLight) {
771 return "721";
772 };
773 return "175";
774 })(),
775 cy: (function () {
776 if (v.isLight) {
777 return "355";
778 };
779 return "310";
780 })(),
781 rx: (function () {
782 if (v.isLight) {
783 return "647";
784 };
785 return "330";
786 })(),
787 ry: (function () {
788 if (v.isLight) {
789 return "310";
790 };
791 return "252";
792 })()
793 }),
794 laptopBody: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
795 return "fill";
796 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
797 fill: (function () {
798 if (v.isLight) {
799 return "url(#_Linear9)";
800 };
801 return "url(#_Linear12)";
802 })()
803 }),
804 screenText: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
805 return "fill";
806 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
807 return "fontFamily";
808 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
809 return "fontSize";
810 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
811 fontFamily: v.codeFontFamily,
812 fontSize: "0.85em",
813 fill: v.textColour
814 }),
815 keyword: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
816 return "fill";
817 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
818 fill: v.green
819 }),
820 typeName: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
821 return "fill";
822 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
823 fill: v.pink
824 }),
825 "@keyframes animatedCursor": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
826 return "0%";
827 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
828 return "opacity";
829 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
830 return "50%";
831 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
832 return "opacity";
833 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))()())({
834 "0%": {
835 opacity: "0.0"
836 },
837 "50%": {
838 opacity: "1.0"
839 }
840 }),
841 cursor: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
842 return "animation";
843 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
844 return "animationDirection";
845 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))()())({
846 animation: "$animatedCursor 0.5s linear infinite",
847 animationDirection: "alternate"
848 }),
849 "@keyframes movingCloud1": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
850 return "0%";
851 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
852 return "transform";
853 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
854 return "100%";
855 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
856 return "transform";
857 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))()())({
858 "0%": {
859 transform: "translate3d(-140%, 4%, 0)"
860 },
861 "100%": {
862 transform: "translate3d(70%, -4%, 0)"
863 }
864 }),
865 movingCloud1: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
866 return "animation";
867 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
868 return "animationDelay";
869 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))()())({
870 animation: "$movingCloud1 200s linear infinite",
871 animationDelay: "-150s"
872 }),
873 "@keyframes movingCloud2": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
874 return "0%";
875 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
876 return "transform";
877 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
878 return "100%";
879 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
880 return "transform";
881 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))()())({
882 "0%": {
883 transform: "translate3d(-10%, 0%, 0)"
884 },
885 "100%": {
886 transform: "translate3d(10%, 0%, 0)"
887 }
888 }),
889 movingCloud2: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
890 return "animation";
891 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
892 return "animationDirection";
893 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))()())({
894 animation: "$movingCloud2 120s linear infinite",
895 animationDirection: "alternate"
896 }),
897 movingCloud3: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
898 return "animation";
899 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
900 return "animationDelay";
901 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
902 return "animationDirection";
903 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
904 animation: "$movingCloud2 120s linear infinite",
905 animationDelay: "-120s",
906 animationDirection: "alternate"
907 }),
908 "@keyframes twinkle": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
909 return "0%";
910 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
911 return "fill";
912 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
913 return "100%";
914 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
915 return "fill";
916 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
917 return "50%";
918 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
919 return "fill";
920 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
921 return "70%";
922 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
923 return "fill";
924 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))))()())({
925 "0%": {
926 fill: "rgba(250, 250, 250, 0.2)"
927 },
928 "50%": {
929 fill: "rgba(250, 250, 250, 0.7)"
930 },
931 "70%": {
932 fill: "rgba(250, 250, 250, 0.4)"
933 },
934 "100%": {
935 fill: "rgba(250, 250, 250, 1.0)"
936 }
937 }),
938 "@keyframes twinkleFast": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
939 return "0%";
940 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
941 return "fill";
942 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
943 return "100%";
944 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
945 return "fill";
946 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))()())({
947 "0%": {
948 fill: "rgba(250, 250, 250, 0.7)"
949 },
950 "100%": {
951 fill: "rgba(250, 250, 250, 0.78)"
952 }
953 }),
954 twinklingStar1: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
955 return "animation";
956 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
957 return "animationDirection";
958 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))()())({
959 animation: "$twinkleFast 0.2s ease-in-out infinite",
960 animationDirection: "alternate"
961 }),
962 twinklingStar2: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
963 return "animation";
964 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
965 return "animationDelay";
966 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
967 return "animationDirection";
968 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
969 animation: "$twinkle 8s ease-in-out infinite",
970 animationDelay: "4s",
971 animationDirection: "alternate"
972 }),
973 twinklingStar3: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
974 return "animation";
975 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
976 return "animationDelay";
977 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
978 return "animationDirection";
979 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
980 animation: "$twinkle 4s ease-in-out infinite",
981 animationDelay: "3s",
982 animationDirection: "alternate"
983 }),
984 "@keyframes rotateStars": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
985 return "0%";
986 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
987 return "transform";
988 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
989 return "100%";
990 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
991 return "transform";
992 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))()())({
993 "0%": {
994 transform: "rotate(0deg) scale(1,1)"
995 },
996 "100%": {
997 transform: "rotate(1deg) scale(1.01, 1.01)"
998 }
999 }),
1000 stars: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
1001 return "animation";
1002 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
1003 return "animationDirection";
1004 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
1005 return "transformOrigin";
1006 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
1007 animation: "$rotateStars 30s linear infinite",
1008 transformOrigin: "top center",
1009 animationDirection: "alternate"
1010 })
1011 };
1012 }))();
1013 return React_Basic_Hooks.component()()()("LandingPageBackground")(function (v) {
1014 return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(Yoga_Theme_Styles.useTheme)(function (theme) {
1015 return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(useStyles({}))(function (classes) {
1016 return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(Yoga_Scroll_Hook.useScrollYPosition)(function (scrollY) {
1017 return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(Yoga_DOM_Hook.useBoundingBox)(function (v1) {
1018 var scrolled = (function () {
1019 if (v1.value0 instanceof Data_Maybe.Nothing) {
1020 return 0.0;
1021 };
1022 if (v1.value0 instanceof Data_Maybe.Just) {
1023 return scrollY / v1.value0.value0.height;
1024 };
1025 throw new Error("Failed pattern match at Yoga.SVG.Image (line 140, column 18 - line 142, column 39): " + [ v1.value0.constructor.name ]);
1026 })();
1027 return Control_Applicative.pure(React_Basic_Hooks_Internal.applicativeRender(Type_Equality.refl))(React_Basic.element(React_Basic_DOM_Internal.unsafeCreateDOMComponent("svg"))({
1028 ref: v1.value1,
1029 viewBox: "0 0 800 447",
1030 preserveAspectRatio: "xMidYMax slice",
1031 xmlns: "http://www.w3.org/2000/svg",
1032 fillRule: "evenodd",
1033 clipRule: "evenodd",
1034 strokeLinejoin: "round",
1035 strokeMiterlimit: "2",
1036 className: v.className,
1037 children: [ React_Basic_DOM_SVG.path()({
1038 fill: "none",
1039 d: "M0 0h800v447H0z"
1040 }), React_Basic_DOM_SVG.clipPath()({
1041 id: "a",
1042 children: [ React_Basic_DOM_SVG.path()({
1043 d: "M0 0h800v447H0z"
1044 }) ]
1045 }), React_Basic_DOM_SVG.g()({
1046 clipPath: "url(#a)",
1047 children: [ React_Basic_DOM_SVG.path()({
1048 d: "M800.828 448.051V-3.513H-3.028v451.564h803.856z",
1049 fill: "url(#_Linear2)"
1050 }), React_Basic_DOM_SVG.ellipse()({
1051 className: classes.lightEllipsis,
1052 fill: "url(#_Radial3)"
1053 }), stars(classes.stars)(classes), React_Basic_DOM_SVG.path()({
1054 d: "M610.291 177.316c-35.879-.428-84.67-.691-138.392-.689-38.684.002-74.811.141-105.402.38-49.14-2.745-80.877-9.954-80.877-14.718 0-1.333 2.655.335 7.294-.896 96.772-.175 171.302-1.213 171.302-2.464 0-1.107-59.462-3.372-140.106-3.687 38.487-2.059 102.543-4.972 173.823-4.972 11.996 0 23.761.07 35.216.206 20.76-4.638 60.945-2.784 107.07-2.784 36.08 0 68.525-.075 90.882 2.983 32.491.899 72.142-1.186 114.922-.379 38.68.729 74.805 1.273 105.395 1.613 49.101 3.673 80.599 8.516 80.54 13.279-.016 1.334-2.504 2.58-7.158 3.723-96.763-1.654-171.297-2.024-171.312-.774-.013 1.108 58.473 3.15 139.105 4.989-38.514 3.085-101.653 4.38-172.925 3.033-11.995-.227-23.757-.52-35.209-.872-20.815 4.245-61.034 6.631-107.154 5.759-24.754-.468-47.786-1.809-67.014-3.73z",
1055 fill: (function () {
1056 if (theme.isLight) {
1057 return "#ddf0fb";
1058 };
1059 return "#240c3c";
1060 })(),
1061 className: classes.movingCloud1,
1062 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 20.0) + ")")
1063 }), React_Basic_DOM_SVG.path()({
1064 d: "M609.299 171.607c-35.88-.338-84.67-.545-138.392-.543-38.684.001-74.812.111-105.402.299-49.141-2.166-80.694-5.519-80.694-9.279 0-1.052 2.472-2.073 7.111-3.045 96.772-.137 171.302-.957 171.302-1.944-.001-.874-58.506-1.614-139.15-1.862 38.471-3.009 101.587-4.973 172.867-4.973 11.996 0 23.761.055 35.216.162 20.76-3.66 60.945-6.143 107.07-6.143 36.08 0 68.525 1.519 90.882 3.933 32.491.709 72.142 1.432 114.922 2.069 38.68.575 74.805 1.005 105.395 1.272 49.101 2.9 80.598 6.722 80.54 10.482-.017 1.052-2.505 2.036-7.158 2.938-96.763-1.305-171.297-1.597-171.312-.611-.014.875 58.473 2.486 139.104 3.938-38.514 2.435-101.653 3.457-172.924 2.394a3771.84 3771.84 0 01-35.21-.688c-20.814 3.35-61.033 5.234-107.153 4.545-24.754-.369-47.786-1.428-67.014-2.944z",
1065 fill: (function () {
1066 if (theme.isLight) {
1067 return "#d8effd";
1068 };
1069 return "#120b38";
1070 })(),
1071 className: classes.movingCloud1,
1072 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 20.0) + ")")
1073 }), React_Basic_DOM_SVG.path()({
1074 d: "M684.234 222.269c-12.108-1.642-29.721-2.832-29.76-5.218-.063-3.861 34.226-4.225 76.6-3.504 42.375.721 75.9-2.707 76.956 1.008 2.476 8.704-12.549 8.552-32.56 10.141-12.403-.58-28.24.216-44.434.479-16.193.263-35.197-1.331-46.802-2.906z",
1075 fill: (function () {
1076 if (theme.isLight) {
1077 return "#d8effd";
1078 };
1079 return "url(#_Linear4)";
1080 })(),
1081 className: classes.movingCloud2,
1082 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 20.0) + ")")
1083 }), React_Basic_DOM_SVG.path()({
1084 d: "M130.064 213.821c42.381 0 76.789.237 76.789 4.224 0 3.986-14.408 4.223-56.789 4.223-42.38 0-96.788.208-96.788-4.223s34.408-4.224 76.788-4.224z",
1085 fill: (function () {
1086 if (theme.isLight) {
1087 return "#d8effd";
1088 };
1089 return "#a7847d";
1090 })(),
1091 className: classes.movingCloud3,
1092 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 20.0) + ")")
1093 }), mountains(theme.isLight)(scrolled), buildings(theme.isLight)(scrolled), React_Basic_DOM_SVG.path()({
1094 fill: theme.backgroundColour,
1095 d: "M-3.028 431.298h826.844v20.006H-3.028z"
1096 }), laptop(classes)(scrolled) ]
1097 }), defs(theme.isLight) ]
1098 }));
1099 });
1100 });
1101 });
1102 });
1103 })();
1105module.exports = {
1106 mkLandingPageBackground: mkLandingPageBackground,
1107 laptop: laptop,
1108 buildings: buildings,
1109 mountains: mountains,
1110 textToTspans: textToTspans,
1111 defs: defs,
1112 lightDefs: lightDefs,
1113 darkDefs: darkDefs,
1114 stars: stars