diff website/src/site.css @ 1653:418b610e887b

docs work
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 31 Mar 2022 22:12:40 -0600
parents d5779a264a4a
children 3f28ea044a32
line wrap: on
line diff
--- a/website/src/site.css	Thu Mar 31 19:04:59 2022 -0600
+++ b/website/src/site.css	Thu Mar 31 22:12:40 2022 -0600
@@ -33,15 +33,25 @@
 	margin: 0.5em 0;
 }
 
-
-div[contents] {
-	margin-bottom: 1em;
+div[toc] ul {
+	list-style-type: none;
+}
+div[toc] > ul {
+	padding-left: 0;
 }
-ul {
+div[toc] > ul > li {
+	margin-bottom: 16px;
+}
+div[heading] {
+	display: flex;
+	justify-content: space-between;
+	margin-top: 36px;
+}
+div[heading] > * {
 	margin: 0;
 }
-[heading] {
-	margin-top: 2em;
+div[heading] > a {
+	font-size: 14px;
 }
 
 h4 code {