7 /* Upper-half both sides dark background */
14 @include size(bottom, 45px);
17 background-color: $header_bg;
20 /* Left-side dark background */
30 background-color: $header_bg;
36 @include size(line-height, 20px); /* Make links easier to click when wrapped. */
37 background-color: $header_bg;
40 @media screen and (min-width: 62.5em) {
42 @include size(height, 94px);
43 @include size(width, 975px);
53 @include size(height, 94px);
54 @include size(width, 94px);
56 @media screen and (min-width: 24em) {
67 @include size(margin-left, 5px);
68 @include size(margin-right, 5px);
70 @include size(font-size, 11px);
72 @media screen and (min-width: 24em) {
73 @include size(padding-top, 6px);
74 @include size(font-size, 13px);
75 @include size(margin-left, 180px);
79 @media screen and (min-width: 62.5em) {
81 @include size(top, 10px);
82 @include size(left, 255px);
83 @include size(margin-left, 0px);
89 @include size(margin-left, 5px);
90 @include size(margin-right, 5px);
93 @include size(font-size, 10px);
96 @media screen and (min-width: 24em) {
97 @include size(padding-top, 15px);
98 @include size(margin-left, 180px);
101 @media screen and (min-width: 62.5em) {
105 @include size(margin-left, 0);
106 @include size(margin-right, 0);
109 /* We want submenu on far left on small screens. */
110 .hidden-box-wrapper {
112 @media screen and (min-width: 24em) {
126 @media screen and (min-width: 15em) {
140 @include size(height, 45px);
144 @media screen and (min-width: 62.5em) {
146 @include size(top, 49px);
147 @include size(left, 240px);
148 @include size(right, 0);
153 @include size(top, 5px);
154 @include size(left, 5px);
155 @include size(right, 113px);
158 @include hidden-label;
163 @include size(height, 33px);
166 @include size(padding-left, 13px);
167 @include size(line-height, 32.5px);
170 @include size(border-radius, 5px);
171 @include box-shadow(0 0 6.5px #444444 inset);
173 font-family: Georgia;
174 @include size(font-size, 13px);
175 background-color: white;
178 /* styling search placeholder */
181 font-family: Georgia;
185 &::-webkit-input-placeholder
187 font-family: Georgia;
193 font-family: Georgia;
200 display: inline-block;
204 @include size(height, 45px);
205 @include size(width, 94px);
212 @include size(font-size, 11px);