From 5a4bd875ff045a6d05467d2eba06698d964f5625 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pehjota>
Date: Mon, 09 Jul 2012 23:04:33 -0400
Subject: Add margins to <ol> elements.

---
diff --git a/main.css b/main.css
index c7622a3..f8cf654 100644
--- a/main.css
+++ b/main.css
@@ -55,7 +55,7 @@ a[name]:hover {
 	color: #000000;
 	text-decoration: none;
 }
-ul {
+ul, ol {
 	margin: 0px 0px 12px 16px;
 }
 dl {
--
cgit v0.9.1