9 /* Upper-half both sides dark background */
16 @include size-px(bottom, 45);
19 background-color: $header_bg;
22 /* Left-side dark background */
32 background-color: $header_bg;
38 @include size-px(line-height, 20); /* Make links easier to click when wrapped. */
39 background-color: $header_bg;
42 @media screen and (min-width: 62.5em) {
44 @include size-px(height, 94);
45 @include size-px(width, 975);
55 @include size-px(height, 94);
56 @include size-px(width, 94);
58 @media screen and (min-width: 24em) {
69 @include size-px(margin-left, 5);
70 @include size-px(margin-right, 5);
72 @include size-px(font-size, 13);
74 @media screen and (min-width: 24em) {
75 @include size-px(padding-top, 6);
79 @media screen and (min-width: 62.5em) {
81 @include size-px(top, 10);
82 @include size-px(left, 255);
83 @include size-px(margin-left, 0);
89 @include size-px(margin-left, 5);
90 @include size-px(margin-right, 5);
93 @include size-px(font-size, 10);
95 @media screen and (min-width: 24em) {
96 @include size-px(padding-top, 15);
99 @media screen and (min-width: 62.5em) {
103 @include size-px(margin-left, 0);
114 @include size-px(height, 45);
118 @media screen and (min-width: 62.5em) {
120 @include size-px(top, 49);
121 @include size-px(left, 240);
122 @include size-px(right, 0);
127 @include size-px(top, 5);
128 @include size-px(left, 5);
129 @include size-px(right, 113);
132 @include hidden-label;
137 @include size-px(height, 33);
140 @include size-px(padding-left, 13);
141 @include size-px(line-height, 32.5);
144 @include size-px(border-radius, 5);
145 box-shadow: 0 0 0.5em #444444 inset;
147 font-family: Georgia;
148 @include size-px(font-size, 13);
149 background-color: white;
152 /* styling search placeholder */
155 font-family: Georgia;
159 &::-webkit-input-placeholder
161 font-family: Georgia;
167 font-family: Georgia;
174 display: inline-block;
178 @include size-px(height, 45);
179 @include size-px(width, 94);
186 @include size-px(font-size, 11);