2 * $Id: print.css,v 1.1 2004/10/18 13:34:21 rich Exp $
6 /* Move the body up (no top menu anymore). */
7 body { margin-top: 4em; }
9 /* Hide the navigation. */
10 div#search_div { display: none; }
11 div#navigation_div { display: none; }
12 div#navigation_space_div { display: none; }
13 ul#topmenu { display: none; }
14 div#menu_div { display: none; }
15 p.edit_link { display: none; }
22 /* Display the target of external links. */
28 content: " [" attr(href) "]";
35 content: " [" attr(href) "]";