23 @include size(line-height, 20px); /* Make links easier to click when wrapped. */
24 background-color: $header_bg;
28 /*text-align: center;*/
30 @media screen and (min-width: 1024px) {
43 @include size(width, 173px);
44 @include size(height, 94px);
47 @include size(width, $small_logo * 173px);
48 @include size(height, $small_logo * 94px);
49 margin-top: (1 - $small_logo) * 94px / 2;
50 margin-left: (1 - $small_logo) * 173px / 2;
52 @media screen and (min-width: 768px) {
53 @include size(width, 173px);
54 @include size(height, 94px);
60 @media screen and (min-width: 1024px) {
68 @include size(top, 3px);
69 @include size(left, 255px);
70 @include size(font-size, 13px);
72 @include size(line-height, 43px);
75 @media screen and (min-width: 1024px) {
92 @include size(font-size, 10px);
93 @include size(line-height, 17px);
94 @include size(padding-left, 25px);
95 @include size(padding-right, 20px);
96 @include size(padding-top, 16px);
97 @include size(padding-bottom, 16px);
101 @include size(padding-left, 10px);
102 content: url("/static/img/arrow-gray.png");
108 vertical-align: middle;
123 @include size(padding, 10px 0);
125 @media screen and (min-width: 62.5em) {
126 @include size(padding, 5px 0);
130 @include size(border-bottom, 1px solid #ddd);
132 @include size(font-size, 13px);
152 @media screen and (min-width: 1024px) {
165 @include size(margin-left, 5px);
166 @include size(margin-right, 5px);
169 @include size(font-size, 10px);
172 @media screen and (min-width: 24em) {
173 @include size(padding-top, 15px);
174 @include size(margin-left, 180px);
177 @media screen and (min-width: 62.5em) {
181 @include size(margin-left, 0);
182 @include size(margin-right, 0);
185 !* We want submenu on far left on small screens. *!
186 .hidden-box-wrapper {
188 @media screen and (min-width: 24em) {
202 @media screen and (min-width: 15em) {
216 @include size(height, 45px);
220 @media screen and (min-width: 1024px) {
222 @include size(top, 49px);
223 @include size(left, 240px);
224 @include size(right, 0);
229 @include size(top, 5px);
230 @include size(left, 5px);
231 @include size(right, 113px);
234 @include hidden-label;
239 @include size(height, 33px);
242 @include size(padding-left, 13px);
243 @include size(line-height, 32.5px);
246 @include size(border-radius, 5px);
247 @include box-shadow(0 0 6.5px #444444 inset);
249 font-family: Gelasio, Georgia, serif;
250 @include size(font-size, 13px);
251 background-color: white;
254 /* styling search placeholder */
256 font-family: Gelasio, Georgia, serif;
260 &::-webkit-input-placeholder {
261 font-family: Gelasio, Georgia, serif;
265 &::-moz-placeholder {
266 font-family: Gelasio, Georgia, serif;
273 display: inline-block;
277 @include size(height, 45px);
278 @include size(width, 94px);
285 @include size(font-size, 11px);
292 @media screen and (min-width: 1024px) {
299 background-color: $header_bg;