21 @include size(line-height, 20px); /* Make links easier to click when wrapped. */
22 background-color: $header_bg;
28 @media screen and (min-width: 1024px) {
42 @include size(width, 173px);
43 @include size(height, 94px);
46 @include size(width, $small_logo * 173px);
47 @include size(height, $small_logo * 94px);
48 margin-top: (1 - $small_logo) * 94px / 2;
49 margin-left: (1 - $small_logo) * 173px / 2;
51 @media screen and (min-width: 768px) {
52 @include size(width, 173px);
53 @include size(height, 94px);
59 @media screen and (min-width: 1024px) {
67 @include size(top, 3px);
68 @include size(left, 255px);
69 @include size(font-size, 13px);
71 @media screen and (min-width: 1024px) {
87 @include size(font-size, 10px);
88 @include size(line-height, 17px);
89 @include size(padding-left, 25px);
90 @include size(padding-right, 20px);
91 @include size(padding-top, 16px);
92 @include size(padding-bottom, 16px);
96 @include size(padding-left, 10px);
97 content: url("/static/img/arrow-gray.png");
103 @include size(font-size, 13px);
104 @include size(line-height, 15px);
119 @include size(padding, 10px 0);
121 @media screen and (min-width: 62.5em) {
122 @include size(padding, 5px 0);
126 @include size(border-bottom, 1px solid #ddd);
128 @include size(font-size, 13px);
158 @include size(margin-left, 5px);
159 @include size(margin-right, 5px);
162 @include size(font-size, 10px);
165 @media screen and (min-width: 24em) {
166 @include size(padding-top, 15px);
167 @include size(margin-left, 180px);
170 @media screen and (min-width: 62.5em) {
174 @include size(margin-left, 0);
175 @include size(margin-right, 0);
178 /* We want submenu on far left on small screens. */
179 .hidden-box-wrapper {
181 @media screen and (min-width: 24em) {
195 @media screen and (min-width: 15em) {
209 @include size(height, 45px);
213 @media screen and (min-width: 1024px) {
215 @include size(top, 49px);
216 @include size(left, 240px);
217 @include size(right, 0);
222 @include size(top, 5px);
223 @include size(left, 5px);
224 @include size(right, 113px);
227 @include hidden-label;
232 @include size(height, 33px);
235 @include size(padding-left, 13px);
236 @include size(line-height, 32.5px);
239 @include size(border-radius, 5px);
240 @include box-shadow(0 0 6.5px #444444 inset);
242 font-family: Georgia;
243 @include size(font-size, 13px);
244 background-color: white;
247 /* styling search placeholder */
249 font-family: Georgia;
253 &::-webkit-input-placeholder {
254 font-family: Georgia;
258 &::-moz-placeholder {
259 font-family: Georgia;
266 display: inline-block;
270 @include size(height, 45px);
271 @include size(width, 94px);
278 @include size(font-size, 11px);
285 @media screen and (min-width: 1024px) {
293 /* Upper-half both sides dark background */
300 @include size(bottom, 45px);
303 background-color: $header_bg;
306 /* Left-side dark background */
316 background-color: $header_bg;