basic theme selection

2023-12-16 17:59:15 +01:00
parent 690f28f4fe
commit bff5d1e54f
10 changed files with 625 additions and 3 deletions
--- a/src/main/resources/static/css/style.css
+++ b/src/main/resources/static/css/style.css
@@ -34,4 +34,15 @@ body {

 .rightpadding64 {
 	margin-right: 64px;
+}
+
+.sidenote {
+	font-style: italic;
+}
+
+.blockframe {
+	border: 1px solid gray;
+	padding: 4px;
+	margin: 4px;
+	border-radius: 4px;
 }