1 files changed, 0 insertions, 7 deletions
diff --git a/doc/style.css b/doc/style.css
index 22c68bd7a..7c97a518c 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -338,13 +338,6 @@ label.block {
 label.inline {    
 	display: inline;
 }
-ol.form {
-	list-style: none;
-	padding: 0;
-}
-li.form {
-	padding-bottom: 1em;
-}
 input#openid_identifier {
 	background: url(wikiicons/openidlogin-bg.gif) no-repeat;
 	background-color: #fff;