+#content.html-menu, #html-menu {
+ 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;
+}
+#content.html-menu { margin-left: 190px; }
+#content.html-menu.folded { margin-left: 40px }
+#html-menu.folded:hover + #content.html-menu.folded { margin-left: 190px }
+#html-menu { float:left; width: 183px; font-size: 8pt; margin-top: 10px; overflow:hidden; }
+#html-menu.folded { width: 32px; }
+#html-menu.folded:hover { width: 183px; }