6 background: $view-backgroud-color url("lapalma-c.jpg") fixed no-repeat;
7 background: var(--view-backgroud-color) url("lapalma-c.jpg") fixed no-repeat;
8 background-size: cover;
10 font-size: $font-size;
14 font-family: $body-font;
15 line-height: $line-height;
18 color: var(--body-color);
24 background: $page-background-color;
25 background: var(--page-background-color);
34 @mixin responsive($rel-size) {
42 margin-top: $rel-size;
48 margin-left: $rel-size;
51 margin-top: $rel-size/4;
56 padding: $rel-size/10 $rel-size/2;
59 h1, h2, h3, h4, h5, h6, th {
60 text-shadow: 0 0 $rel-size/3 $shadow-color;
62 h2+h3, h3+h4, h4+h5, h5+h6 {
63 margin-top: -$rel-size/2;
66 margin-left: $rel-size/4;
69 margin-left: $rel-size/2;
72 margin-left: $rel-size;
75 margin-left: $rel-size;
78 padding-top: $rel-size;
83 padding: $rel-size !important;
84 font-size: $rel-size/1.66;
85 border-radius: $rel-size/2;
86 box-shadow: 0 0 $rel-size/4 $shadow-color;
87 box-shadow: 0 0 $rel-size/4 var(--shadow-color);
91 padding: $rel-size/20 $rel-size/10;
92 font-size: $rel-size/1.5;
93 border-radius: $rel-size/5;
96 font-size: $rel-size/2;
97 margin-top: $rel-size*2;
99 .pubinfo, .breadcrumbs {
100 font-size: $rel-size/1.5;
101 margin: -$rel-size 0 $rel-size $rel-size*2;
104 line-height: 2*$rel-size;
105 min-width: 12*$rel-size;
107 width: $rel-size*1.5;
108 height: $rel-size*1.5;
111 width: $rel-size*1.8;
112 height: $rel-size*1.8;
115 width: $rel-size*1.8;
116 height: $rel-size*1.8;
119 height: $rel-size*1.2;
122 height: $rel-size*1.3;
125 height: $rel-size*1.2;
130 @media (min-width: 1440px) {
131 @include responsive(1.8rem);
133 @media (max-width: 1440px) {
134 @include responsive(1.7rem);
136 @media (max-width: 1280px) {
137 @include responsive(1.6rem);
139 @media (max-width: 1080px) { /* includes 1024, 900 */
140 @include responsive(1.5rem);
142 @media (max-width: 800px) { /* includes 768 */
143 @include responsive(1.4rem);
145 @media (max-width: 720px) {
146 @include responsive(1.3rem);
149 h1, h2, h3, h4, h5, h6, th {
150 font-family: $header-font;
151 color: $header-color;
152 color: var(--header-color);
158 border-top: 1px solid $border-color;
159 border-top: 1px solid var(--border-color);
164 list-style-type: circle;
171 header, main, section, footer {
182 font-family: $code-font;
184 color: var(--code-color);
185 background: $code-background-color;
186 background: var(--code-background-color);
192 display: inline-block !important;
193 box-sizing: border-box;
203 .presence-table svg {
204 vertical-align: middle;
212 border-left: 1rem solid $border-color;
213 border-left: 1rem solid var(--border-color);
217 border-top-left-radius: 2rem;
220 border-bottom-left-radius: 2rem;
222 tr:nth-child(2) th { opacity: .95; }
223 tr:nth-child(3) th { opacity: .90; }
224 tr:nth-child(4) th { opacity: .85; }
225 tr:nth-child(5) th { opacity: .80; }
226 tr:nth-child(6) th { opacity: .75; }
227 tr:nth-child(7) th { opacity: .70; }
228 tr:nth-child(8) th { opacity: .65; }
229 tr:nth-child(9) th { opacity: .60; }
230 tr:nth-child(10) th { opacity: .55; }
231 tr:nth-child(11) th { opacity: .50; }
232 tr:nth-child(12) th { opacity: .45; }
233 tr:nth-child(13) th { opacity: .40; }
234 tr:nth-child(14) th { opacity: .35; }
235 tr:nth-child(15) th { opacity: .30; }
236 tr:nth-child(16) th { opacity: .25; }
237 tr:nth-child(17) th { opacity: .20; }
238 tr:nth-child(18) th { opacity: .15; }
239 tr:nth-child(n+19):nth-child(-n+99) th { opacity: .1; }
243 border-top: 1px solid $border-color;
244 border-top: 1px solid var(--border-color);
254 vertical-align: middle;
257 text-decoration: none;
259 color: $a-link-color;
260 color: var(--a-link-color);
263 color: $a-visited-color;
264 color: var(--a-visited-color);
267 color: $a-hover-color;
268 color: var(--a-hover-color);
269 text-decoration: underline;
272 color: $a-active-color;
273 color: var(--a-active-color);
275 &[rel="external"]:after {
287 border: 1px solid #999;
288 box-shadow: 0 0 1em $shadow-color;
289 box-shadow: 0 0 1em var(--shadow-color);
296 border-top: 1px solid $border-color;
297 border-top: 1px solid var(--border-color);
301 vertical-align: middle;