/*border: 3px solid;*/
background-color: #FFFFFF;
color: #000000;
- margin-top: 0.2em;
}
#menuv4 a, #menuv4 h2, #menuv4 div.x {
font-size: 80%;
margin: 0;
padding: 0.3em 1em;
}
-#menuv4 h2:before {
- content: " ";
-}
-#menuv4 h2:after {
- content: " ";
-}
#menuv4 h2 {
background-color: #ffffff;
color: #000000;
and one mic (menu-item-chunk)
indenting is done with the levels s0, s1, s2 */
#content.html-menu, #html-menu {
- position: relative;
- top: 20px;
transition: margin-left 0.2s, width 0.2s;
-moz-transition: margin-left 0.2s, width 0.2s;
-webkit-transition: margin-left 0.2s, width 0.2s;
#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; }
+}