5 @include size(line-height, 20px); /* Make links easier to click when wrapped. */
6 background-color: $header_bg;
10 /*text-align: center;*/
12 @media screen and (min-width: 1024px) {
25 @include size(width, 173px);
26 @include size(height, 94px);
29 @include size(width, $small_logo * 173px);
30 @include size(height, $small_logo * 94px);
31 margin-top: (1 - $small_logo) * 94px / 2;
32 margin-left: (1 - $small_logo) * 173px / 2;
34 @media screen and (min-width: 768px) {
35 @include size(width, 173px);
36 @include size(height, 94px);
42 @media screen and (min-width: 1024px) {
50 @include size(top, 3px);
51 @include size(left, 255px);
52 @include size(font-size, 13px);
54 @media screen and (min-width: 1024px) {
70 @include size(font-size, 10px);
71 @include size(line-height, 17px);
72 @include size(padding-left, 25px);
73 @include size(padding-right, 20px);
74 @include size(padding-top, 16px);
75 @include size(padding-bottom, 16px);
79 @include size(padding-left, 10px);
80 content: url("/static/img/arrow-gray.png");
86 @include size(font-size, 13px);
87 @include size(line-height, 15px);
102 @include size(padding, 10px 0);
104 @media screen and (min-width: 62.5em) {
105 @include size(padding, 5px 0);
109 @include size(border-bottom, 1px solid #ddd);
111 @include size(font-size, 13px);
141 @include size(margin-left, 5px);
142 @include size(margin-right, 5px);
145 @include size(font-size, 10px);
148 @media screen and (min-width: 24em) {
149 @include size(padding-top, 15px);
150 @include size(margin-left, 180px);
153 @media screen and (min-width: 62.5em) {
157 @include size(margin-left, 0);
158 @include size(margin-right, 0);
161 !* We want submenu on far left on small screens. *!
162 .hidden-box-wrapper {
164 @media screen and (min-width: 24em) {
178 @media screen and (min-width: 15em) {
192 @include size(height, 45px);
196 @media screen and (min-width: 1024px) {
198 @include size(top, 49px);
199 @include size(left, 240px);
200 @include size(right, 0);
205 @include size(top, 5px);
206 @include size(left, 5px);
207 @include size(right, 113px);
210 @include hidden-label;
215 @include size(height, 33px);
218 @include size(padding-left, 13px);
219 @include size(line-height, 32.5px);
222 @include size(border-radius, 5px);
223 @include box-shadow(0 0 6.5px #444444 inset);
225 font-family: Georgia;
226 @include size(font-size, 13px);
227 background-color: white;
230 /* styling search placeholder */
232 font-family: Georgia;
236 &::-webkit-input-placeholder {
237 font-family: Georgia;
241 &::-moz-placeholder {
242 font-family: Georgia;
249 display: inline-block;
253 @include size(height, 45px);
254 @include size(width, 94px);
261 @include size(font-size, 11px);
268 @media screen and (min-width: 1024px) {
275 background-color: $header_bg;