Styles for doc/contents.php.

diff --git a/theme/standard/styles_layout.css b/theme/standard/styles_layout.css
index b54280531ddf1ca89cbec8231caa8f0d0095438c..82733a17e6114e2e31f1e9173b8d097cee158917 100644 (file)
--- a/theme/standard/styles_layout.css
+++ b/theme/standard/styles_layout.css
@@ -448,6 +448,7 @@ td.cal_event_description {
     padding:10px;
 }
 
+/* block_quiz_results.php */
 #block_quiz_results {
     text-align: center;
 }
@@ -475,3 +476,24 @@ td.cal_event_description {
     font-size: 1.2em;
     margin: 4px;
 }
+
+/*****************************
+***
+*** Doc
+***
+******************************/
+
+/* contents.php */
+
+body#doc-contents h1 {
+    font-size: 1em;
+    margin: 1em 0px 0px 0px;
+}
+
+body#doc-contents ul {
+    list-style-type: none;
+    margin: 0px;
+    padding: 0px;
+    font-size: 0.8em;
+    width: 90%; /* try it on IE without this and see what happens */
+}