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;
38 vertical-align: middle;
41 vertical-align: bottom;
46 display: inline-block;
47 vertical-align: bottom;
51 background-color: #35f;
57 #filter-click-to-add {
59 vertical-align: bottom;
62 color: rgba(0, 0, 0, 0.4);
64 #filter-add-container {
65 display: inline-block;
71 border: 1px solid black;
78 #filter-add-menu div.option, #filter-submenu div.option {
84 #filter-add-menu div.option:hover, #filter-submenu div.option:hover {
85 background-color: #eee;
87 #filter-add-menu div.arrow {
88 display: inline-block;
94 border: 1px solid black;
96 top: 27px; /* JavaScript will override with 35px extra for each line the submenu should be moved down. */
100 #filter-submenu div.option {
103 div.option input[type="checkbox"] {
107 border-collapse: collapse;
110 background-color: rgba(0, 0, 0, 0.05);
113 border-top: 1px solid #ddd;
114 border-bottom: 1px solid #ddd;
130 td.num { /* Surrounded by pad. */
132 max-width: content-width;
135 width: 1px; /* Causes pad to stretch. */
141 .ci, .invertedci, .fillerci {
142 vertical-align: middle;
146 .ci .marker { stroke: #000; stroke-width: 2px; }
147 .ci .range.s0 { fill: #fdd; }
148 .ci .range.s1 { fill: #dfd; }
150 .invertedci .marker { stroke: #000; stroke-width: 2px; }
151 .invertedci .range.s0 { fill: #dfd; }
152 .invertedci .range.s1 { fill: #fdd; }
154 .bar { fill: steelblue; }