improved CSS for IE

svn: r6588 original commit: 06f925e50a3826b5afda9b792150fa84f602cfa7
2007-06-12 07:54:26 +00:00 · 2007-06-12 07:54:26 +00:00 · f5bd09be05
commit f5bd09be05
parent d79e577792
2 changed files with 9 additions and 4 deletions
--- a/collects/scribble/html-render.ss
+++ b/collects/scribble/html-render.ss
@ -77,7 +77,7 @@
                                    (type "text/css")
                                    (href "scribble.css")
                                    (title "default"))))
-                            (body ,@(render-part d ht)))])
+                            (body (div ((class "main")) ,@(render-part d ht))))])
            (install-file scribble-css)
            (xml:write-xml/content (xml:xexpr->xml xpr)))))

--- a/collects/scribble/scribble.css
+++ b/collects/scribble/scribble.css
@ -2,11 +2,16 @@
               body {
               color: black;
               background-color: #ffffff;
-               max-width: 35em;
+               font-family: Times;
+               text-align: center;
+               width: 35em;
               margin-left: auto;
               margin-right: auto;
-               padding-left: 0.5em;
-               font-family: Times;
+               }
+
+               .main {
+               width: 35em;
+               text-align: left;
               }

               .refpara {