2 There should be a JS-less way of seeing at least some of
3 the hidden boxes (TOC and Themes).
6 .box, #toc, #themes, #nota_red, #objects {
10 @include size(left, $W_MENU);
15 @include size(max-width, 380px);
16 @include size(padding, 10px 10px 30px 10px);
24 box-shadow: 2px 2px 2px #444;
26 @include size(border-width, 0 1px 1px 0);
30 @include size(font-size, 14px);
43 @include size(left, $W_MENU);