feat: add example/documentation website

tomcur · May 3, 2024 · 47aa7b4 · 47aa7b4
1 parent c2faab5
commit 47aa7b4
Show file tree

Hide file tree

Showing 35 changed files with 1,460 additions and 0 deletions.
diff --git a/example/sprokkel.uint.one/assets/emoji_u1f54a.svg b/example/sprokkel.uint.one/assets/emoji_u1f54a.svg
diff --git a/example/sprokkel.uint.one/assets/fonts/DejaVuSans-Bold.woff2 b/example/sprokkel.uint.one/assets/fonts/DejaVuSans-Bold.woff2
diff --git a/example/sprokkel.uint.one/assets/fonts/DejaVuSerif-Bold.woff2 b/example/sprokkel.uint.one/assets/fonts/DejaVuSerif-Bold.woff2
diff --git a/example/sprokkel.uint.one/assets/fonts/DejaVuSerif-Italic.woff2 b/example/sprokkel.uint.one/assets/fonts/DejaVuSerif-Italic.woff2
diff --git a/example/sprokkel.uint.one/assets/fonts/DejaVuSerif.woff2 b/example/sprokkel.uint.one/assets/fonts/DejaVuSerif.woff2
diff --git a/example/sprokkel.uint.one/assets/fonts/SourceSans3-600-Regular.woff2 b/example/sprokkel.uint.one/assets/fonts/SourceSans3-600-Regular.woff2
diff --git a/example/sprokkel.uint.one/assets/js/main.js b/example/sprokkel.uint.one/assets/js/main.js
@@ -0,0 +1,38 @@
+(() => {
+  // <stdin>
+  var ColorScheme = {
+    Light: "light",
+    Dark: "dark"
+  };
+  function defaultColorScheme() {
+    if (window.matchMedia && window.matchMedia("(prefers-color-scheme: dark)").matches) {
+      return ColorScheme.Dark;
+    } else {
+      return ColorScheme.Light;
+    }
+  }
+  function hydrateColorScheme() {
+    let cs = localStorage.getItem("color-scheme");
+    if (cs === null) {
+      cs = defaultColorScheme();
+    }
+    if (cs === ColorScheme.Dark) {
+      document.documentElement.classList.add("dark");
+    }
+  }
+  function listenColorSchemeToggle() {
+    document.querySelector("#color-scheme-toggle").onclick = () => {
+      document.documentElement.classList.toggle("dark");
+      if (document.documentElement.classList.contains("dark")) {
+        localStorage.setItem("color-scheme", "dark");
+      } else {
+        localStorage.setItem("color-scheme", "light");
+      }
+    };
+  }
+  function main() {
+    hydrateColorScheme();
+    window.addEventListener("load", () => listenColorSchemeToggle());
+  }
+  main();
+})();
diff --git a/example/sprokkel.uint.one/cat/css/style.css/fonts.css b/example/sprokkel.uint.one/cat/css/style.css/fonts.css
@@ -0,0 +1,34 @@
+@font-face {
+  font-family: "Source Sans 3";
+  src: url("/fonts/SourceSans3-600-Regular.woff2") format("woff2");
+  font-weight: 600;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: "DejaVu Serif";
+  src: url("/fonts/DejaVuSerif.woff2") format("woff2");
+  font-weight: 400;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: "DejaVu Serif";
+  src: url("/fonts/DejaVuSerif-Italic.woff2") format("woff2");
+  font-weight: 400;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: "DejaVu Serif";
+  src: url("/fonts/DejaVuSerif-Bold.woff2") format("woff2");
+  font-weight: 600;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: "DejaVu Sans";
+  src: url("/fonts/DejaVuSans-Bold.woff2") format("woff2");
+  font-weight: 600;
+  font-style: normal;
+}
diff --git a/example/sprokkel.uint.one/cat/css/style.css/highlight.css b/example/sprokkel.uint.one/cat/css/style.css/highlight.css
@@ -0,0 +1,23 @@
+pre {
+  background-color: var(--bgHighlight);
+  padding: 1em;
+  overflow: auto;
+}
+
+pre code {
+  .keyword, .string.special {
+    font-weight: bold;
+  }
+
+  .comment, .string {
+    color: var(--textHighlight);
+  }
+
+  .comment {
+    font-style: italic;
+  }
+
+  .type {
+    color: var(--textHighlight); font-weight: bold;
+  }
+}