squash!

PlayForm · Jan 1, 2024 · d2bf26b · d2bf26b
1 parent 8b70843
commit d2bf26b
Show file tree

Hide file tree

Showing 17 changed files with 7,524 additions and 1,595 deletions.
diff --git a/Documentation/Function/Integration.Integration.html b/Documentation/Function/Integration.Integration.html
diff --git a/Documentation/Function/Integration.Merge.html b/Documentation/Function/Integration.Merge.html
diff --git a/Documentation/Interface/Integration.Type.html b/Documentation/Interface/Integration.Type.html
diff --git a/Documentation/Interface/Option.Type.html b/Documentation/Interface/Option.Type.html
diff --git a/Documentation/Module/Integration.html b/Documentation/Module/Integration.html
diff --git a/Documentation/Module/Option.html b/Documentation/Module/Option.html
diff --git a/Documentation/Variable/Integration.Default.html b/Documentation/Variable/Integration.Default.html
diff --git a/Documentation/Variable/Option.Option.html b/Documentation/Variable/Option.Option.html
diff --git a/Documentation/assets/highlight.css b/Documentation/assets/highlight.css
@@ -1,78 +1,101 @@
 :root {
-    --light-hl-0: #795E26;
-    --dark-hl-0: #DCDCAA;
-    --light-hl-1: #000000;
-    --dark-hl-1: #D4D4D4;
-    --light-hl-2: #A31515;
-    --dark-hl-2: #CE9178;
-    --light-hl-3: #0000FF;
-    --dark-hl-3: #569CD6;
-    --light-hl-4: #AF00DB;
-    --dark-hl-4: #C586C0;
-    --light-hl-5: #001080;
-    --dark-hl-5: #9CDCFE;
-    --light-hl-6: #098658;
-    --dark-hl-6: #B5CEA8;
-    --light-hl-7: #000000;
-    --dark-hl-7: #C8C8C8;
-    --light-code-background: #FFFFFF;
-    --dark-code-background: #1E1E1E;
+	--light-hl-0: #795e26;
+	--dark-hl-0: #dcdcaa;
+	--light-hl-1: #000000;
+	--dark-hl-1: #d4d4d4;
+	--light-hl-2: #a31515;
+	--dark-hl-2: #ce9178;
+	--light-hl-3: #0000ff;
+	--dark-hl-3: #569cd6;
+	--light-hl-4: #af00db;
+	--dark-hl-4: #c586c0;
+	--light-hl-5: #001080;
+	--dark-hl-5: #9cdcfe;
+	--light-hl-6: #098658;
+	--dark-hl-6: #b5cea8;
+	--light-hl-7: #000000;
+	--dark-hl-7: #c8c8c8;
+	--light-code-background: #ffffff;
+	--dark-code-background: #1e1e1e;
 }
 
-@media (prefers-color-scheme: light) { :root {
-    --hl-0: var(--light-hl-0);
-    --hl-1: var(--light-hl-1);
-    --hl-2: var(--light-hl-2);
-    --hl-3: var(--light-hl-3);
-    --hl-4: var(--light-hl-4);
-    --hl-5: var(--light-hl-5);
-    --hl-6: var(--light-hl-6);
-    --hl-7: var(--light-hl-7);
-    --code-background: var(--light-code-background);
-} }
+@media (prefers-color-scheme: light) {
+	:root {
+		--hl-0: var(--light-hl-0);
+		--hl-1: var(--light-hl-1);
+		--hl-2: var(--light-hl-2);
+		--hl-3: var(--light-hl-3);
+		--hl-4: var(--light-hl-4);
+		--hl-5: var(--light-hl-5);
+		--hl-6: var(--light-hl-6);
+		--hl-7: var(--light-hl-7);
+		--code-background: var(--light-code-background);
+	}
+}
 
-@media (prefers-color-scheme: dark) { :root {
-    --hl-0: var(--dark-hl-0);
-    --hl-1: var(--dark-hl-1);
-    --hl-2: var(--dark-hl-2);
-    --hl-3: var(--dark-hl-3);
-    --hl-4: var(--dark-hl-4);
-    --hl-5: var(--dark-hl-5);
-    --hl-6: var(--dark-hl-6);
-    --hl-7: var(--dark-hl-7);
-    --code-background: var(--dark-code-background);
-} }
+@media (prefers-color-scheme: dark) {
+	:root {
+		--hl-0: var(--dark-hl-0);
+		--hl-1: var(--dark-hl-1);
+		--hl-2: var(--dark-hl-2);
+		--hl-3: var(--dark-hl-3);
+		--hl-4: var(--dark-hl-4);
+		--hl-5: var(--dark-hl-5);
+		--hl-6: var(--dark-hl-6);
+		--hl-7: var(--dark-hl-7);
+		--code-background: var(--dark-code-background);
+	}
+}
 
-:root[data-theme='light'] {
-    --hl-0: var(--light-hl-0);
-    --hl-1: var(--light-hl-1);
-    --hl-2: var(--light-hl-2);
-    --hl-3: var(--light-hl-3);
-    --hl-4: var(--light-hl-4);
-    --hl-5: var(--light-hl-5);
-    --hl-6: var(--light-hl-6);
-    --hl-7: var(--light-hl-7);
-    --code-background: var(--light-code-background);
+:root[data-theme="light"] {
+	--hl-0: var(--light-hl-0);
+	--hl-1: var(--light-hl-1);
+	--hl-2: var(--light-hl-2);
+	--hl-3: var(--light-hl-3);
+	--hl-4: var(--light-hl-4);
+	--hl-5: var(--light-hl-5);
+	--hl-6: var(--light-hl-6);
+	--hl-7: var(--light-hl-7);
+	--code-background: var(--light-code-background);
 }
 
-:root[data-theme='dark'] {
-    --hl-0: var(--dark-hl-0);
-    --hl-1: var(--dark-hl-1);
-    --hl-2: var(--dark-hl-2);
-    --hl-3: var(--dark-hl-3);
-    --hl-4: var(--dark-hl-4);
-    --hl-5: var(--dark-hl-5);
-    --hl-6: var(--dark-hl-6);
-    --hl-7: var(--dark-hl-7);
-    --code-background: var(--dark-code-background);
+:root[data-theme="dark"] {
+	--hl-0: var(--dark-hl-0);
+	--hl-1: var(--dark-hl-1);
+	--hl-2: var(--dark-hl-2);
+	--hl-3: var(--dark-hl-3);
+	--hl-4: var(--dark-hl-4);
+	--hl-5: var(--dark-hl-5);
+	--hl-6: var(--dark-hl-6);
+	--hl-7: var(--dark-hl-7);
+	--code-background: var(--dark-code-background);
 }
 
-.hl-0 { color: var(--hl-0); }
-.hl-1 { color: var(--hl-1); }
-.hl-2 { color: var(--hl-2); }
-.hl-3 { color: var(--hl-3); }
-.hl-4 { color: var(--hl-4); }
-.hl-5 { color: var(--hl-5); }
-.hl-6 { color: var(--hl-6); }
-.hl-7 { color: var(--hl-7); }
-pre, code { background: var(--code-background); }
+.hl-0 {
+	color: var(--hl-0);
+}
+.hl-1 {
+	color: var(--hl-1);
+}
+.hl-2 {
+	color: var(--hl-2);
+}
+.hl-3 {
+	color: var(--hl-3);
+}
+.hl-4 {
+	color: var(--hl-4);
+}
+.hl-5 {
+	color: var(--hl-5);
+}
+.hl-6 {
+	color: var(--hl-6);
+}
+.hl-7 {
+	color: var(--hl-7);
+}
+pre,
+code {
+	background: var(--code-background);
+}