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;
+  }
+}