font-weight: bold;
padding-top: 10px;
padding-bottom: 10px;
- margin-bottom: 20px;
+ margin-bottom: 10px;
font-size: 90%;
border-top: 1px solid #ddd;
border-bottom: 1px solid #ddd;
color: rgba(0, 0, 0, 0.6);
text-decoration: none;
}
+#filter {
+ padding-left: 10px;
+ margin-top: 0;
+ padding-top: 0;
+ border-bottom: 1px solid #ddd;
+ padding-bottom: 10px;
+ margin-bottom: 20px;
+}
+#filter-icon {
+ vertical-align: middle;
+}
+#filter-legend {
+ vertical-align: bottom;
+ font-size: 14px;
+ font-weight: bold;
+}
+.filter-pill {
+ display: inline-block;
+ vertical-align: bottom;
+ margin-left: 5px;
+ margin-top: 0;
+ font-size: 13px;
+ background-color: #35f;
+ color: white;
+ border-radius: 6px;
+ padding-left: 6px;
+ padding-right: 6px;
+}
+#filter-click-to-add {
+ margin-left: 10px;
+ vertical-align: bottom;
+ font-size: 14px;
+ font-style: italic;
+ color: rgba(0, 0, 0, 0.4);
+}
+#filter-add-container {
+ display: inline-block;
+ top: 2px;
+}
+#filter-add-menu {
+ display: none;
+ /* display: block; */
+ border: 1px solid black;
+ position: absolute;
+ top: 27px;
+ left: 10px;
+ background: white;
+ width: 250px;
+}
+#filter-add-menu div.option, #filter-submenu div.option {
+ padding-left: 10px;
+ padding-top: 8px;
+ padding-bottom: 8px;
+ white-space: nowrap;
+}
+#filter-add-menu div.option:hover, #filter-submenu div.option:hover {
+ background-color: #eee;
+}
+#filter-add-menu div.arrow {
+ display: inline-block;
+ position: absolute;
+ right: 10px;
+}
+#filter-submenu {
+ display: none;
+ border: 1px solid black;
+ position: absolute;
+ top: 27px; /* JavaScript will override with 35px extra for each line the submenu should be moved down. */
+ left: 261px;
+ background: white;
+}
+#filter-submenu div.option {
+ padding-right: 12px;
+}
+div.option input[type="checkbox"] {
+ margin-right: 0.5em;
+}
table {
border-collapse: collapse;
}