6 /* This is duplication of code for reader menu button. */
15 border-top: 15px double #ddd;
16 border-bottom: 5px solid #ddd;
28 @include size(width, 44px);
29 @include size(height, 44px);
40 @media screen and (min-width: 1024px) {
46 margin-left: $menu_width;
47 margin-right: -$menu_width;
49 @media screen and (min-width: 1024px) {
70 @media screen and (min-width: 1024px) {
87 @media screen and (min-width: 1024px) {
97 @media screen and (min-width: 1024px) {
103 @include size(font-size, 10px);
123 background-color: #e2e2e2;
126 @include size(width, 975px);
129 display: inline-block;
130 @include size(width, 20%);
133 background-color: white;
139 @include size(line-height, 13px);
140 @include size(padding, 18px 0 15px);
141 @include size(border-bottom, 3px solid #e2e2e2);
143 @include size(font-size, 11px);
147 border-bottom-color: white;