2 font-family: sans-serif;
3 background-color: white;
7 text-transform: uppercase;
14 border-top: 1px solid #ddd;
15 border-bottom: 1px solid #ddd;
17 #mainmenu span, #mainmenu a {
23 border-bottom: 3px solid #3366dd;
26 color: rgba(0, 0, 0, 0.6);
27 text-decoration: none;
33 border-bottom: 1px solid #ddd;
41 vertical-align: middle;
44 vertical-align: bottom;
49 display: inline-block;
50 vertical-align: bottom;
54 background-color: #35f;
60 .filter-click-to-add {
62 vertical-align: bottom;
65 color: rgba(0, 0, 0, 0.4);
67 #filter-add-container {
68 display: inline-block;
71 #filter-add-menu, #filter-submenu {
77 border: 1px solid black;
84 #filter-add-menu div.option, #filter-submenu div.option {
90 #filter-add-menu div.option:hover, #filter-submenu div.option:hover {
91 background-color: #eee;
93 #filter-add-menu div.arrow {
94 display: inline-block;
100 border: 1px solid black;
102 top: 27px; /* JavaScript will override with 35px extra for each line the submenu should be moved down. */
106 #filter-submenu div.option {
109 .filter:not(:nth-child(1 of .filter)) svg,
110 .filter:not(:nth-child(1 of .filter)) .filter-legend {
113 div.option input[type="checkbox"] {
117 border-collapse: collapse;
118 margin-bottom: calc(100vh - 4lh);
121 background-color: rgb(95% 95% 95%);
127 border-top: 1px solid #ddd;
128 border-bottom: 1px solid #ddd;
144 td.num { /* Surrounded by pad. */
146 max-width: content-width;
149 width: 1px; /* Causes pad to stretch. */
155 .ci, .invertedci, .fillerci {
156 vertical-align: middle;
160 .ci .marker { stroke: #000; stroke-width: 2px; }
161 .ci .range.s0 { fill: #fdd; }
162 .ci .range.s1 { fill: #dfd; }
164 .invertedci .marker { stroke: #000; stroke-width: 2px; }
165 .invertedci .range.s0 { fill: #dfd; }
166 .invertedci .range.s1 { fill: #fdd; }
168 .bar { fill: steelblue; }
170 .filtermarker { font-size: smaller; text-transform: uppercase; }