1 files changed, 1 insertions, 14 deletions
diff --git a/docs/style.css b/docs/style.css
index dd8418d..c9798db 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -52,11 +52,6 @@ td
   padding: 8px;
 }
 
-ul.spacious li
-{
-  padding: 8px;
-}
-
 a
 {
   text-decoration: none;
@@ -67,21 +62,13 @@ img
   border: none;
 }
 
-a.button {
-  color: #000000;
-  text-decoration: none;
-  background: #E0E0E0;
-  border: 1px outset #FFFFFF;
-  float: right;
-}
-
 /* Settings for the introductory paragraph. */
 
 p.intro
 {
   background: #EEEEFF;
   padding: 10px;
-  border: 1px solid #000000;
+  border: solid #000000 1px
 }
 
 /* Settings for the title frame. */