Yet another restyling

diff --git a/doc/style.css b/doc/style.css
index 0d2e65ba5cd86080c50fbc98d1190060aae73e14..44fa2e051c6a8f312534e54b730e28b0fc4a9a1e 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -1,8 +1,4 @@
-body {
-    margin: auto;
-    width: 80em;
-    background-color: #AEBECE;
-}
+body { background-color: #AEBECE }
 h1, h2, h3, h4 { text-align: center }
 h1, h2, h3, h4, strong { color: #900090 }
 pre { background-color: #CCCCCC }