Add stuff I forgot

docs/header.html

@@ -153,8 +153,8 @@
                 </div>
                 <div class="header-video">
                     <video autoplay playsinline muted loop>
-                        <source src="source/_static/banner.webm" type="video/webm">
-                        <source src="source/_static/banner.mp4" type="video/mp4">
+                        <source src="assets/banner.webm" type="video/webm">
+                        <source src="assets/banner.mp4" type="video/mp4">
                     </video>
                 </div>
             </div>

docs/highlight.css

@@ -0,0 +1,92 @@
+pre code.hljs {
+    display: block;
+    overflow-x: auto;
+    padding: 1em
+}
+
+code.hljs {
+    padding: 3px 5px
+}
+
+.hljs {
+    background: #061a1a;
+    color: #00ffff
+}
+
+.hljs-comment {
+    color: white;
+}
+
+.hljs-punctuation,
+.hljs-tag {
+    color: white
+}
+
+.hljs-tag .hljs-attr,
+.hljs-tag .hljs-name {
+    color: white
+}
+
+.hljs-attribute,
+.hljs-doctag,
+.hljs-keyword,
+.hljs-meta .hljs-keyword,
+.hljs-name,
+.hljs-selector-tag {
+    font-weight: 700
+}
+
+.hljs-deletion,
+.hljs-number,
+.hljs-quote,
+.hljs-selector-class,
+.hljs-selector-id,
+.hljs-string,
+.hljs-template-tag,
+.hljs-type {
+    color: red
+}
+
+.hljs-section,
+.hljs-title {
+    color: white;
+    font-weight: 700
+}
+
+.hljs-link,
+.hljs-operator,
+.hljs-regexp,
+.hljs-selector-attr,
+.hljs-selector-pseudo,
+.hljs-symbol,
+.hljs-template-variable,
+.hljs-variable {
+    color: red
+}
+
+.hljs-literal {
+    color: white;
+}
+
+.hljs-addition,
+.hljs-built_in,
+.hljs-bullet,
+.hljs-code {
+    color: #aaaaaa
+}
+
+.hljs-meta {
+    color: #1f7199
+}
+
+.hljs-meta .hljs-string {
+    color: #38a
+}
+
+.hljs-emphasis {
+    font-style: italic
+}
+
+.hljs-strong {
+    font-weight: 700
+}