sticky header and other tweaks

2 files changed, 12 insertions, 0 deletions

diff --git a/static/stylesheets/highlight.css b/static/stylesheets/highlight.css
index 0c15e1b..035b2d0 100644
--- a/static/stylesheets/highlight.css
+++ b/static/stylesheets/highlight.css
@@ -84,3 +84,9 @@
 /* GenericTraceback */ .chroma .gt { background-color: #fb8019; font-weight: bold }
 /* GenericUnderline */ .chroma .gl {  }
 /* TextWhitespace */ .chroma .w {  }
+
+/* Overrides */
+/* nginx KeywordNamespace */ .chroma code.language-nginx .kn { color: #fabd2f }
+/* nginx LiteralString */ .chroma code.language-nginx .s { color: #ffffff }
+/* sh NameVariable */ .chroma code.language-sh .nv { color: #8ec07c }
+/* sh CommentPreproc */ .chroma .cp { color: #928374 }
diff --git a/static/stylesheets/style.css b/static/stylesheets/style.css
index 8caa40b..0006ba3 100644
--- a/static/stylesheets/style.css
+++ b/static/stylesheets/style.css
@@ -14,6 +14,8 @@ header {
 	padding: 5px 10px;
 	gap: 1em;
 	user-select: none;
+	position: sticky;
+	top: 0;
 }
 
 #title {
@@ -109,6 +111,10 @@ ol, ul, pre code {
 	max-width: 100%;
 }
 
+.alpha-ol ol {
+	list-style-type: upper-alpha;
+}
+
 img, figcaption {
 	margin: auto;
 	display: block;