Make web pages valid HTML and remove a few glitches

1 files changed, 8 insertions, 0 deletions

diff --git a/style.css b/style.css
index 1464dacec..fa41d6f7f 100644
--- a/style.css
+++ b/style.css
@@ -26,6 +26,14 @@ p {
 	margin-left: 5%;
 	margin-right: 5%;
 }
+ul {
+	margin-left: 5%;
+	margin-right: 5%;
+}
+li {
+	margin-top: 0.5ex;
+	margin-bottom: 0.5ex;
+}
 tt {
 	background: #dddddd;
 }