/* actionbar styling */
div.layout-actionbar {
+ position: fixed;
+ height: 25px;
+ top: 20px;
+ z-index: 20;
/* background-color: whitesmoke; */
}
-webkit-transition: background-color 0s;
}
+div.layout-actionbar ~ div {
+ padding-top: 25px;
+}
+
div.layout-actionbar div.layout-actionbar-submit,
div.layout-actionbar div.layout-actionbar-scriptbutton,
div.layout-actionbar div.layout-actionbar-submit:focus,
and one mic (menu-item-chunk)
indenting is done with the levels s0, s1, s2 */
div.html-menu, #html-menu {
+ position: fixed;
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;
-o-transition: margin-left 0.2s, width 0.2s;
}
+
div.layout-split-right { margin-left: 190px; }
div.layout-split-right.folded { margin-left: 40px }
#html-menu.folded:hover + #content.layout-split-right.folded { margin-left: 190px }