[svn r2229] work arounds for IE

--HG--
branch : trunk

1 files changed, 11 insertions, 7 deletions

diff --git a/doc/html/style.css b/doc/html/style.css
index a95d8b79..c0567495 100644
--- a/doc/html/style.css
+++ b/doc/html/style.css
@@ -1,15 +1,15 @@
 body {
-    /* CSS Hack for IE that does not respect the "margin: auto" rule at the
-     * document level */
+    font: 13px Arial, Verdana, Helvetica, sans-serif;
     text-align: center;
-    padding: 1em;
 }
 
-
 @media screen {
+    body {
+        padding: 1em 1em 1em 21em;
+    }
+
     div.document {
         width: 45em;
-        padding-left: 21em;
         background-color: white;
     }
 }
@@ -26,7 +26,6 @@ body {
 }
 
 div.document {
-    font: 13px Arial, Verdana, Helvetica, sans-serif;
     margin: 1em auto 1em auto;
     color: #222;
     text-align: left;
@@ -50,7 +49,7 @@ div.contents.topic > p > a {
 /*** side menu ***/
 
 div.sidemenu {
-    position: fixed;
+    position: absolute;
     top: 0px;
     left: 0px;
     width: 22em;
@@ -62,6 +61,11 @@ div.sidemenu {
     background-color: #FFFAFA;
 }
 
+html > body div.sidemenu {
+    /* ignored by IE -> everyone else knows 'fixed', right?  */
+    position: fixed;
+}
+
 div.sidemenu span.section.title {
     line-height: 1.5em;
     font-size: 130%;