Device manager - device list filtering (PSG-648) (#9181)

* add device filtering * improve dropdown styling * test device filtering * update type imports * fix types * security card margin * more specific type for onFilterOptionChange
2022-08-16 14:05:10 +00:00
parent aa9191bc34
commit 6f2c761fb4
11 changed files with 529 additions and 43 deletions
@@ -64,7 +64,7 @@ limitations under the License.
    margin: 0 0 $spacing-4 0;
 }
 .mx_DeviceSecurityCard_description {
-    margin: 0 0 $spacing-8 0;
+    margin: 0;
    font-size: $font-12px;
    color: $secondary-content;
 }