prettier

docs/assets/highlight.css

@@ -1,27 +1,28 @@
 :root {
-    --light-hl-0: #001080;
-    --dark-hl-0: #9CDCFE;
-    --light-hl-1: #000000;
-    --dark-hl-1: #D4D4D4;
-    --light-hl-2: #AF00DB;
-    --dark-hl-2: #C586C0;
-    --light-hl-3: #A31515;
-    --dark-hl-3: #CE9178;
-    --light-hl-4: #800000;
-    --dark-hl-4: #569CD6;
-    --light-hl-5: #0000FF;
-    --dark-hl-5: #569CD6;
-    --light-hl-6: #795E26;
-    --dark-hl-6: #DCDCAA;
-    --light-hl-7: #0070C1;
-    --dark-hl-7: #4FC1FF;
-    --light-hl-8: #267F99;
-    --dark-hl-8: #4EC9B0;
-    --light-code-background: #FFFFFF;
-    --dark-code-background: #1E1E1E;
+  --light-hl-0: #001080;
+  --dark-hl-0: #9cdcfe;
+  --light-hl-1: #000000;
+  --dark-hl-1: #d4d4d4;
+  --light-hl-2: #af00db;
+  --dark-hl-2: #c586c0;
+  --light-hl-3: #a31515;
+  --dark-hl-3: #ce9178;
+  --light-hl-4: #800000;
+  --dark-hl-4: #569cd6;
+  --light-hl-5: #0000ff;
+  --dark-hl-5: #569cd6;
+  --light-hl-6: #795e26;
+  --dark-hl-6: #dcdcaa;
+  --light-hl-7: #0070c1;
+  --dark-hl-7: #4fc1ff;
+  --light-hl-8: #267f99;
+  --dark-hl-8: #4ec9b0;
+  --light-code-background: #ffffff;
+  --dark-code-background: #1e1e1e;
 }
 
-@media (prefers-color-scheme: light) { :root {
+@media (prefers-color-scheme: light) {
+  :root {
     --hl-0: var(--light-hl-0);
     --hl-1: var(--light-hl-1);
     --hl-2: var(--light-hl-2);
@@ -32,9 +33,11 @@
     --hl-7: var(--light-hl-7);
     --hl-8: var(--light-hl-8);
     --code-background: var(--light-code-background);
-} }
+  }
+}
 
-@media (prefers-color-scheme: dark) { :root {
+@media (prefers-color-scheme: dark) {
+  :root {
     --hl-0: var(--dark-hl-0);
     --hl-1: var(--dark-hl-1);
     --hl-2: var(--dark-hl-2);
@@ -45,41 +48,63 @@
     --hl-7: var(--dark-hl-7);
     --hl-8: var(--dark-hl-8);
     --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);
-    --hl-8: var(--light-hl-8);
-    --code-background: var(--light-code-background);
+  --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);
+  --hl-8: var(--light-hl-8);
+  --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);
-    --hl-8: var(--dark-hl-8);
-    --code-background: var(--dark-code-background);
+  --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);
+  --hl-8: var(--dark-hl-8);
+  --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); }
-.hl-8 { color: var(--hl-8); }
-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);
+}
+.hl-8 {
+  color: var(--hl-8);
+}
+pre,
+code {
+  background: var(--code-background);
+}