Resolves #173: Feature Request: Filter box for device/user flag assignment

2025-07-05 17:01:19 +10:00
parent caa0bedc93
commit 3f1fa3d7de
10 changed files with 396 additions and 259 deletions
@@ -422,6 +422,13 @@
        background-color: #fcfcfc;
        border: 1px solid #ccc;

+        & > input {
+            box-sizing: border-box;
+            width: 100%;
+            border: none;
+            border-bottom: 1px solid #ddd;
+        }
+
        & > div {
            background-color: @white;
            border-bottom: 1px solid #ddd;