diff website/src/site.css @ 1654:3f28ea044a32

docs UI
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 04 Apr 2022 22:19:32 -0600
parents 418b610e887b
children de8e25c6d177
line wrap: on
line diff
--- a/website/src/site.css	Thu Mar 31 22:12:40 2022 -0600
+++ b/website/src/site.css	Mon Apr 04 22:19:32 2022 -0600
@@ -29,8 +29,13 @@
 	font-size: small;
 }
 
-div[link] {
-	margin: 0.5em 0;
+ul[links] {
+	margin-top: 32px;
+	list-style-type: none;
+	padding-left: 0;
+}
+ul[links] li {
+	margin: 16px 0;
 }
 
 div[toc] ul {