Deploy fa23301 to gh-pages

mattwparas · Oct 28, 2024 · a8308f1 · a8308f1
commit a8308f1
Show file tree

Hide file tree

Showing 110 changed files with 32,192 additions and 0 deletions.
diff --git a/.cargo/config.toml b/.cargo/config.toml
@@ -0,0 +1,5 @@
+[target.aarch64-unknown-linux-gnu]
+linker = "/usr/bin/aarch64-linux-gnu-gcc"
+
+[alias]
+xtask = "run --package xtask --"
diff --git a/.dockerignore b/.dockerignore
@@ -0,0 +1 @@
+target/
diff --git a/.envrc b/.envrc
@@ -0,0 +1,3 @@
+watch_file flake.lock
+
+use flake
diff --git a/book/.nojekyll b/book/.nojekyll
@@ -0,0 +1 @@
+This file makes sure that Github Pages doesn't process mdBook's output.
diff --git a/book/404.html b/book/404.html
diff --git a/book/FontAwesome/css/font-awesome.css b/book/FontAwesome/css/font-awesome.css
diff --git a/book/FontAwesome/fonts/FontAwesome.ttf b/book/FontAwesome/fonts/FontAwesome.ttf
diff --git a/book/FontAwesome/fonts/fontawesome-webfont.eot b/book/FontAwesome/fonts/fontawesome-webfont.eot
diff --git a/book/FontAwesome/fonts/fontawesome-webfont.svg b/book/FontAwesome/fonts/fontawesome-webfont.svg
diff --git a/book/FontAwesome/fonts/fontawesome-webfont.ttf b/book/FontAwesome/fonts/fontawesome-webfont.ttf
diff --git a/book/FontAwesome/fonts/fontawesome-webfont.woff b/book/FontAwesome/fonts/fontawesome-webfont.woff
diff --git a/book/FontAwesome/fonts/fontawesome-webfont.woff2 b/book/FontAwesome/fonts/fontawesome-webfont.woff2
diff --git a/book/about/about.html b/book/about/about.html
diff --git a/book/about/features.html b/book/about/features.html
diff --git a/book/about/license.html b/book/about/license.html
diff --git a/book/ayu-highlight.css b/book/ayu-highlight.css
@@ -0,0 +1,78 @@
+/*
+Based off of the Ayu theme
+Original by Dempfi (https://github.com/dempfi/ayu)
+*/
+
+.hljs {
+  display: block;
+  overflow-x: auto;
+  background: #191f26;
+  color: #e6e1cf;
+}
+
+.hljs-comment,
+.hljs-quote {
+  color: #5c6773;
+  font-style: italic;
+}
+
+.hljs-variable,
+.hljs-template-variable,
+.hljs-attribute,
+.hljs-attr,
+.hljs-regexp,
+.hljs-link,
+.hljs-selector-id,
+.hljs-selector-class {
+  color: #ff7733;
+}
+
+.hljs-number,
+.hljs-meta,
+.hljs-builtin-name,
+.hljs-literal,
+.hljs-type,
+.hljs-params {
+  color: #ffee99;
+}
+
+.hljs-string,
+.hljs-bullet {
+  color: #b8cc52;
+}
+
+.hljs-title,
+.hljs-built_in,
+.hljs-section {
+  color: #ffb454;
+}
+
+.hljs-keyword,
+.hljs-selector-tag,
+.hljs-symbol {
+  color: #ff7733;
+}
+
+.hljs-name {
+    color: #36a3d9;
+}
+
+.hljs-tag {
+    color: #00568d;
+}
+
+.hljs-emphasis {
+  font-style: italic;
+}
+
+.hljs-strong {
+  font-weight: bold;
+}
+
+.hljs-addition {
+  color: #91b362;
+}
+
+.hljs-deletion {
+  color: #d96c75;
+}
diff --git a/book/benchmarks/benchmarks.html b/book/benchmarks/benchmarks.html
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		This file makes sure that Github Pages doesn't process mdBook's output.