[css2] Removed some padding from BODY to get more text on the page.

--HG--
extra : convert_revision : svn%3A73dc7c4b-06e6-40f3-b4f7-9ed1dbc14bfc/trunk%403258

Author: bert-github

css2/style/default.css

@@ -190,10 +190,16 @@ div.issue, p.issue {border: thin solid red; padding: 0.5em}
 */
 
 @page {
-  margin: 2cm 1.5cm
+  margin: 1.5cm 1.5cm 2cm 1.5cm
 }
 
 @media print {
+HTML > BODY {
+    padding-top: 0;	    /* Override /StyleSheets/TR/W3C-REC.css */
+    padding-right: 0;	    /* Override /StyleSheets/TR/W3C-REC.css */
+    padding-bottom: 0;	    /* Override /StyleSheets/TR/W3C-REC.css */
+}
+
 P {
     margin-top: 0;
     margin-bottom: 0;
@@ -206,7 +212,7 @@ P {
 
 /* the following doesn't work for now,
    instead we rely on a patched version of html2ps which has this built-in */
-DIV.navbar {
+DIV.navbar, HR.navbar {
    display: none;
 }