From 60bae6f12343e61582435aeb8ec182fd310cd720 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Thu, 22 Oct 2009 16:20:55 +0000 Subject: [PATCH] Make printout margin important. --- Doc/tools/sphinxext/static/basic.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css index e2ba6d2ed5d..aeb13816d1f 100644 --- 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%; }