started corpus indexes filters #1801

2023-03-01 18:41:25 +01:00
parent 7dbb43e0ed
commit 249d7fdb02
4 changed files with 180 additions and 49 deletions
@@ -953,6 +953,18 @@ section[role="main-content"]{
        // }
      }

+      div#indexes-filters{
+        // height:$pager_h;
+        overflow: hidden;
+        box-sizing: content-box;
+        padding:1em 0 0 1.5em;
+        select{
+          option{
+            padding:0;
+          }
+        }
+      }
+
      div#page-nav{
        height:$pager_h;
        overflow: hidden;