20 @include size(line-height, 20px); /* Make links easier to click when wrapped. */
21 background-color: $header_bg;
25 /*text-align: center;*/
27 @media screen and (min-width: 1024px) {
40 @include size(width, 173px);
41 @include size(height, 94px);
44 @include size(width, $small_logo * 173px);
45 @include size(height, $small_logo * 94px);
46 margin-top: (1 - $small_logo) * 94px / 2;
47 margin-left: (1 - $small_logo) * 173px / 2;
49 @media screen and (min-width: 768px) {
50 @include size(width, 173px);
51 @include size(height, 94px);
57 @media screen and (min-width: 1024px) {
65 @include size(top, 3px);
66 @include size(left, 255px);
67 @include size(font-size, 13px);
69 @media screen and (min-width: 1024px) {
85 @include size(font-size, 10px);
86 @include size(line-height, 17px);
87 @include size(padding-left, 25px);
88 @include size(padding-right, 20px);
89 @include size(padding-top, 16px);
90 @include size(padding-bottom, 16px);
94 @include size(padding-left, 10px);
95 content: url("/static/img/arrow-gray.png");
101 @include size(font-size, 13px);
102 @include size(line-height, 15px);
117 @include size(padding, 10px 0);
119 @media screen and (min-width: 62.5em) {
120 @include size(padding, 5px 0);
124 @include size(border-bottom, 1px solid #ddd);
126 @include size(font-size, 13px);
156 @include size(margin-left, 5px);
157 @include size(margin-right, 5px);
160 @include size(font-size, 10px);
163 @media screen and (min-width: 24em) {
164 @include size(padding-top, 15px);
165 @include size(margin-left, 180px);
168 @media screen and (min-width: 62.5em) {
172 @include size(margin-left, 0);
173 @include size(margin-right, 0);
176 !* We want submenu on far left on small screens. *!
177 .hidden-box-wrapper {
179 @media screen and (min-width: 24em) {
193 @media screen and (min-width: 15em) {
207 @include size(height, 45px);
211 @media screen and (min-width: 1024px) {
213 @include size(top, 49px);
214 @include size(left, 240px);
215 @include size(right, 0);
220 @include size(top, 5px);
221 @include size(left, 5px);
222 @include size(right, 113px);
225 @include hidden-label;
230 @include size(height, 33px);
233 @include size(padding-left, 13px);
234 @include size(line-height, 32.5px);
237 @include size(border-radius, 5px);
238 @include box-shadow(0 0 6.5px #444444 inset);
240 font-family: Georgia;
241 @include size(font-size, 13px);
242 background-color: white;
245 /* styling search placeholder */
247 font-family: Georgia;
251 &::-webkit-input-placeholder {
252 font-family: Georgia;
256 &::-moz-placeholder {
257 font-family: Georgia;
264 display: inline-block;
268 @include size(height, 45px);
269 @include size(width, 94px);
276 @include size(font-size, 11px);
283 @media screen and (min-width: 1024px) {
290 background-color: $header_bg;