/*border: 3px solid;*/
background-color: #FFFFFF;
color: #000000;
- margin-top: 0.2em;
}
#menuv4 a, #menuv4 h2, #menuv4 div.x {
font-size: 80%;
#html-menu div.s2 { padding-left: 16px }
body { margin: 0 }
+
+@media print {
+ #menuv3, #menuv4, #html-menu, #frame-header, #js-menu { /* items with this class won't print */
+ display: none;
+ }
+ #content.html-menu { margin-left: 0; }
+}