Add quick filters

2019-07-06 15:49:29 +02:00
parent 0e0b1afe3a
commit abb7d95804
5 changed files with 126 additions and 33 deletions
@@ -6,6 +6,24 @@ main section {
  }
 }

+.quick-filter {
+  font-size: 1.2rem;
+  margin-bottom: 2rem;
+
+  p {
+    font-size: inherit;
+    padding: 0.2rem 0 0;
+  }
+
+  label {
+    font-size: inherit;
+
+    &+ label {
+      margin-left: 3.6rem;
+    }
+  }
+}
+
 ul.contribution-list {
  clear: both;
  width: 100%;