7 /* Upper-half both sides dark background */
14 @include size(bottom, 45px);
17 background-color: $header_bg;
20 /* Left-side dark background */
30 background-color: $header_bg;
36 @include size(line-height, 20px); /* Make links easier to click when wrapped. */
37 background-color: $header_bg;
42 @media screen and (min-width: 62.5em) {
44 @include size(height, 94px);
45 @include size(width, 975px);
55 @include size(height, 94px);
57 @media screen and (min-width: 24em) {
58 @include size(width, 173px);
65 @include size(margin-left, 5px);
66 @include size(margin-right, 5px);
68 @include size(font-size, 11px);
70 @media screen and (min-width: 24em) {
71 @include size(padding-top, 6px);
72 @include size(font-size, 13px);
73 @include size(margin-left, 180px);
77 @media screen and (min-width: 62.5em) {
79 @include size(top, 10px);
80 @include size(left, 255px);
81 @include size(margin-left, 0px);
87 @include size(margin-left, 5px);
88 @include size(margin-right, 5px);
91 @include size(font-size, 10px);
94 @media screen and (min-width: 24em) {
95 @include size(padding-top, 15px);
96 @include size(margin-left, 180px);
99 @media screen and (min-width: 62.5em) {
103 @include size(margin-left, 0);
104 @include size(margin-right, 0);
107 /* We want submenu on far left on small screens. */
108 .hidden-box-wrapper {
110 @media screen and (min-width: 24em) {
124 @media screen and (min-width: 15em) {
138 @include size(height, 45px);
142 @media screen and (min-width: 62.5em) {
144 @include size(top, 49px);
145 @include size(left, 240px);
146 @include size(right, 0);
151 @include size(top, 5px);
152 @include size(left, 5px);
153 @include size(right, 113px);
156 @include hidden-label;
161 @include size(height, 33px);
164 @include size(padding-left, 13px);
165 @include size(line-height, 32.5px);
168 @include size(border-radius, 5px);
169 @include box-shadow(0 0 6.5px #444444 inset);
171 font-family: Georgia;
172 @include size(font-size, 13px);
173 background-color: white;
176 /* styling search placeholder */
179 font-family: Georgia;
183 &::-webkit-input-placeholder
185 font-family: Georgia;
191 font-family: Georgia;
198 display: inline-block;
202 @include size(height, 45px);
203 @include size(width, 94px);
210 @include size(font-size, 11px);