5 /* Add a missing header. */
26 @include min-screen(240px) {
34 @include min-screen(320px) {
43 @include theme-showing;
48 @mixin theme-showing {
49 @include size(width, 120px);
52 @include size(margin-left, 30px);
53 @include size(font-size, 14.4px);
56 @include size(border-left, 1px solid #DDDDDD);
58 @include size(padding, 0 0 0 8px);
66 @include theme-hidden;
82 text-decoration: none;
84 -webkit-user-select: none;
85 -moz-user-select: none;
86 -ms-user-select: none;
88 @include min-screen(600px) {
89 @include theme-showing;
94 @include theme-showing;
101 @include theme-hidden;
107 @include theme-hidden;
109 @include min-screen(1200px) {
110 @include theme-showing;
111 margin-right: -160px;