1 files changed, 93 insertions, 0 deletions
diff --git a/assets/_/header.html b/assets/_/header.html
new file mode 100644
index 0000000..7fd3553
--- /dev/null
+++ b/assets/_/header.html
@@ -0,0 +1,93 @@
+<!doctype html>
+<!-- vi: set et ft=html ts=2 sts=2 sw=2 fenc=utf-8 :vi -->
+<style>
+/* i dont know css im so fucking sorry ill fix it l8r */
+pre {
+  white-space: pre-wrap;
+  white-space: -moz-pre-wrap;
+  white-space: -pre-wrap;
+  white-space: -o-pre-wrap;
+  word-wrap: break-word;
+}
+.remark {
+  box-sizing: content-box;
+  border-top: 0px solid #000;
+  border-left: 0px solid #000;
+  border-right: 0px solid #000;
+  border-bottom: 1px solid #000;
+  padding: 1vw;
+  padding-top: 0;
+}
+.nav {
+  border-bottom: 1px solid #000;
+  padding: 1vw;
+  padding-top: 0;
+}
+main {
+  border: 1px #000 solid;
+}
+body {
+  background-color: #eee;
+}
+
+@media only screen and (min-width: 800px) {
+
+  p, a.sec, pre {
+    padding: 0 4vw;
+    /*align: center;
+    display:flex;
+    align-items: center;
+    justify-content: center;*/
+  }
+}
+pre {
+  font-size: 12pt;
+}
+a, p { font-size: 14pt; }
+a.splink { color: #005953; font-size: inherit; }
+a.sec, a.menu, a.menuon {
+  color: #005953;
+  font-family: 'Iansui', serif;
+  font-size: 1.5em;
+}
+a.sec:link, a.sec:visited, a.sec:active {
+   text-decoration: none;
+}
+a.sec:hover, a.sec:focus {
+   text-decoration: underline;
+}
+a.menu:link, a.menu:visited, a.menu:active {
+   text-decoration: none;
+}
+a.menu:hover, a.menu:focus {
+   text-decoration: underline;
+}
+@media (prefers-color-scheme: dark) {
+  body {
+    background-color: #222;
+    color: #dcdccc;
+  }
+  .nav, .remark {
+    border-bottom: 1px solid #dcdccc;
+  }
+  main {
+    border: 1px #dcdccc solid;
+  }
+  a.splink, a.sec, a.menu, a.menuon { color: #51bd96; }
+}
+@font-face {
+  font-family: 'Iansui';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 400;
+  src: url(/_/iansui.woff2) format('woff2');
+  unicode-range: U+3000-303F,U+3105-312F,U+4E00-9FFF;
+}
+body {
+  max-width: 960px;
+  margin-left: auto;
+  margin-right: auto;
+}
+
+</style>
+<meta name="viewport" content="width=device-width, initial-scale=1.0" />