From 32ffcdfa455dd233ce4ce144049cc7e9e78ddb65 Mon Sep 17 00:00:00 2001
From: Manu <manu.delab@gmail.com>
Date: Wed, 26 Sep 2012 15:35:52 +1200
Subject: [PATCH] Added CSS rules for printing.

original commit: e7db0bdac485a0bc9d749188e00932a2374ec1ff
---
 collects/scribble/scribble.css | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css
index 3e66f9c6..7f502cba 100644
--- a/collects/scribble/scribble.css
+++ b/collects/scribble/scribble.css
@@ -469,3 +469,15 @@ i {
   display: inline;
   white-space: nowrap;
 }
+
+/* print styles : hide the navigation elements */
+@media print {
+  .tocset,
+  .navsettop,
+  .navsetbottom { display: none; }
+  .maincolumn {
+    width: auto;
+    margin-right: 13em;
+    margin-left: 0;
+  }
+}