Turn off toc list for print output.

diff --git a/website/example/example.css b/website/example/example.css
index df201ea764099fdca07e87f788863da7294f5662..d49bebdba42f6df531bf887b6fa41be87f0f2996 100644 (file)
--- a/website/example/example.css
+++ b/website/example/example.css
@@ -78,3 +78,10 @@ SPAN.shrink1           { font-size: 80%; }
 SPAN.shrink2           { font-size: 70%; }
 SPAN.shrink3           { font-size: 70%; }
 
+/* Turn off toc for print output */
+@media print { 
+       .navtoc { 
+               display: none; 
+       } 
+} 
+