Initial commit.HEADmaster

2 files changed, 157 insertions, 0 deletions

diff --git a/static/document.css b/static/document.css
new file mode 100644
index 0000000..ae9562f
--- /dev/null
+++ b/static/document.css
@@ -0,0 +1,145 @@
+html {
+	line-height: 1.6;
+	font-family: serif;
+	color: #1a1a1a; background-color: #eeeeee;
+}
+body {
+	margin: 0 auto;
+	max-width: 60ch;
+
+	padding-left: 50px; padding-right:  50px;
+	padding-top:  10px; padding-bottom: 50px;
+
+	hyphens: auto;
+	word-wrap: break-word;
+	text-rendering: optimizeLegibility;
+	font-kerning: normal;
+}
+p { margin: 1em 0; }
+@media (max-width: 600px) {
+	body { padding: 1em; }
+	p { text-align: left; }
+}
+@media print {
+	body {
+		background-color: transparent;
+		color: black;
+		font-size: 12pt;
+        max-width: 80ch;
+	}
+	p, h2, h3 {
+		orphans: 3;
+		widows: 3;
+	}
+	h2, h3, h4 {
+		page-break-after: avoid;
+	}
+}
+a {
+	color: hotpink;
+}
+a:visited {
+	color: purple;
+}
+img {
+	max-width: 100%;
+}
+h1, h2, h3, h4, h5, h6 {
+	margin-top: 1.4em;
+}
+h5, h6 {
+	font-size: 1em;
+	font-style: italic;
+}
+h6 {
+	font-weight: normal;
+}
+h1 {
+	font-weight: 400;
+}
+h2, h3 {
+	font-weight: 300;
+}
+ol, ul {
+	padding-left: 1.7em;
+	margin-top: 1em;
+}
+li > ol, li > ul {
+	margin-top: 0;
+}
+blockquote {
+	margin: 1em 0 1em 1.7em;
+	padding-left: 1em;
+	border-left: 2px solid #e6e6e6;
+	color: #606060;
+}
+code {
+	font-family: monospace;
+	font-size: 85%;
+	margin: 0;
+}
+pre {
+	margin: 1em 0;
+	overflow: auto;
+}
+pre code {
+	padding: 0;
+	overflow: visible;
+}
+.sourceCode {
+	background-color: transparent;
+	overflow: visible;
+}
+hr {
+	background-color: #1a1a1a;
+	border: none;
+	height: 1px;
+	margin: 1em 0;
+}
+table {
+	margin: 1em 0;
+	width: 100%;
+	overflow-x: auto;
+	font-variant-numeric: lining-nums tabular-nums;
+}
+table caption {
+	margin-bottom: 0.75em;
+}
+tbody {
+	margin-top: 0.5em;
+	border-top: 1px solid #1a1a1a;
+	border-bottom: 1px solid #1a1a1a;
+}
+th {
+	border-top: 1px solid #1a1a1a;
+	padding: 0.25em 0.5em 0.25em 0.5em;
+}
+td {
+	padding: 0.125em 0.5em 0.25em 0.5em;
+}
+header {
+	text-align: left;
+    border-bottom: medium black solid;
+}
+
+#TOC nav { border-bottom: medium black solid; }
+#TOC li { list-style: none; }
+#TOC a:not(:hover) { text-decoration: none; }
+
+code{white-space: pre-wrap;}
+span.smallcaps{font-variant: small-caps;}
+span.underline{text-decoration: underline;}
+div.column{display: inline-block; vertical-align: top; width: 50%;}
+div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
+ul.task-list{list-style: none;}
+.display.math{display: block; text-align: center; margin: 0.5rem auto;}
+.footnote-ref ~ .footnote-ref :before {
+  content: ', '
+}
+
+@media (prefers-color-scheme: dark){
+    body {color:white;background:black}
+    html {color:white;background:black}
+    a:link, a:visited { color: #aab9c1; } 
+    a:hover, a:active { color: hotpink; } /* hotpink on hover */
+}
diff --git a/static/style.css b/static/style.css
new file mode 100644
index 0000000..3531391
--- /dev/null
+++ b/static/style.css
@@ -0,0 +1,12 @@
+body {
+	max-width: 80ch;
+}
+.article {
+	border: thin solid black;
+	padding-right: 5ch;
+	padding-left:  5ch;
+	margin-bottom: 1ch;
+}
+.article .title {
+	margin-top: 0.35em;
+}