Make printout margin important.

diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css
index e2ba6d2ed5d33402d006834cae41d112743715ef..aeb13816d1fb5f2ad7e39cdbc594656bc5029a34 100644 (file)
--- a/Doc/tools/sphinxext/static/basic.css
+++ b/Doc/tools/sphinxext/static/basic.css
@@ -420,7 +420,7 @@ span.eqno {
     div.document,
     div.documentwrapper,
     div.bodywrapper {
-        margin: 0;
+        margin: 0 !important;
         width: 100%;
     }