This fixes bug 984629, but gives a double footer

[lhc/web/wiklou.git] / stylesheets / common.css

diff --git a/stylesheets/common.css b/stylesheets/common.css
index a7f5e02..ed34001 100644 (file)
--- a/stylesheets/common.css
+++ b/stylesheets/common.css
@@ -18,7 +18,6 @@ div.floatleft p { font-style: italic; }
 /* table standards */
 table.rimage {
         float:right;
-        width:1pt;
         margin-left:1em;
         margin-bottom:1em;
         text-align:center;
@@ -36,6 +35,8 @@ div.thumb div {
     background-color: #f7f8ff;
     padding: 2px;
     font-size: 94%;
+    text-align: center;
+    overflow: hidden;
 }
 div.thumb div * { 
     border: none;
@@ -78,27 +79,26 @@ div.tleft {
     border:1px dashed #aaaaaa;
 }
 
-table.diff {
-        background:white;
-}
-td.diff-otitle {
-        background:#cccccc;
-}
-td.diff-ntitle {
-        background:#cccccc;
-}
-td.diff-addedline {
-        background:#ccffcc;
+table.diff { background:white; }
+td.diff-otitle { background:#cccccc; }
+td.diff-ntitle { background:#cccccc; }
+td.diff-addedline { 
+    background:#ccffcc;
+    font-size: 94%;
 }
-td.diff-deletedline {
-        background:#ffffaa;
+td.diff-deletedline { 
+    background:#ffffaa;
+    font-size: 94%;
 }
 td.diff-context {
-        background:#eeeeee;
+    background:#eeeeee;
+    font-size: 94%;
 }
+span.diffchange { color: red; }
 
 img { border: none; }
 img.tex { vertical-align: middle; }
+span.texhtml { font-family: serif; }
 
 
 #toc {
@@ -110,7 +110,7 @@ img.tex { vertical-align: middle; }
 #toc .tocindent { margin-left: 2em; }
 #toc .tocline { margin-bottom: 0px; }
 #toc p { margin: 0 }
-#toc .toctoggle { font-size: 94%; }
+#toc .toctoggle { font-size: 95%; }
 #toc .editsection { 
     margin-top: 0.7em; 
     font-size: 94%;
@@ -158,6 +158,9 @@ fieldset.operaprefsection { margin-left: 15em }
     margin-left: auto;
     margin-right: auto;
 }
+/* small for tables and similar */
+.small, .small * { font-size: 94%; }
+table.small { font-size: 100% }
 
 div.townBox {
     position:relative;
@@ -183,3 +186,17 @@ div.townBox dl dd {
     margin: 0.1em 0 0 1.1em;
     background-color: #f3f3f3;
 }
+/* use this instead of #toc for page content */
+.toccolours { 
+    border:1px solid #aaaaaa;
+    background-color:#f9f9f9;
+    padding:5px;
+    font-size: 95%;
+}
+#siteNotice {
+    border:1px solid #aaaaaa;
+}
+.redirectText {
+       font-size:150%;
+       margin:5px;
+}