6 @include size(line-height, 20px); /* Make links easier to click when wrapped. */
7 background-color: $header_bg;
13 @media screen and (min-width: 1024px) {
27 @include size(width, 173px);
28 @include size(height, 94px);
31 @include size(width, $small_logo * 173px);
32 @include size(height, $small_logo * 94px);
33 margin-top: (1 - $small_logo) * 94px / 2;
34 margin-left: (1 - $small_logo) * 173px / 2;
36 @media screen and (min-width: 768px) {
37 @include size(width, 173px);
38 @include size(height, 94px);
44 @media screen and (min-width: 1024px) {
52 @include size(top, 3px);
53 @include size(left, 255px);
54 @include size(font-size, 13px);
56 @media screen and (min-width: 1024px) {
72 @include size(font-size, 10px);
73 @include size(line-height, 17px);
74 @include size(padding-left, 25px);
75 @include size(padding-right, 20px);
76 @include size(padding-top, 16px);
77 @include size(padding-bottom, 16px);
81 @include size(padding-left, 10px);
82 content: url("/static/img/arrow-gray.png");
88 @include size(font-size, 13px);
89 @include size(line-height, 15px);
105 @include size(padding, 10px 0);
107 @media screen and (min-width: 62.5em) {
108 @include size(padding, 5px 0);
112 @include size(border-bottom, 1px solid #ddd);
114 @include size(font-size, 13px);
146 @include size(margin-left, 5px);
147 @include size(margin-right, 5px);
150 @include size(font-size, 10px);
153 @media screen and (min-width: 24em) {
154 @include size(padding-top, 15px);
155 @include size(margin-left, 180px);
158 @media screen and (min-width: 62.5em) {
162 @include size(margin-left, 0);
163 @include size(margin-right, 0);
166 /* We want submenu on far left on small screens. */
167 .hidden-box-wrapper {
169 @media screen and (min-width: 24em) {
183 @media screen and (min-width: 15em) {
197 @include size(height, 45px);
201 @media screen and (min-width: 1024px) {
203 @include size(top, 49px);
204 @include size(left, 240px);
205 @include size(right, 0);
210 @include size(top, 5px);
211 @include size(left, 5px);
212 @include size(right, 113px);
215 @include hidden-label;
220 @include size(height, 33px);
223 @include size(padding-left, 13px);
224 @include size(line-height, 32.5px);
227 @include size(border-radius, 5px);
228 @include box-shadow(0 0 6.5px #444444 inset);
230 font-family: Georgia;
231 @include size(font-size, 13px);
232 background-color: white;
235 /* styling search placeholder */
238 font-family: Georgia;
242 &::-webkit-input-placeholder
244 font-family: Georgia;
250 font-family: Georgia;
257 display: inline-block;
261 @include size(height, 45px);
262 @include size(width, 94px);
269 @include size(font-size, 11px);
280 @media screen and (min-width: 1024px) {
288 /* Upper-half both sides dark background */
295 @include size(bottom, 45px);
298 background-color: $header_bg;
301 /* Left-side dark background */
311 background-color: $header_bg;