stylelint: Ignore selector-id-pattern for #nav-AddServer.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2022-03-08 17:22:30 -08:00
parent b5a938d3b0
commit db730da45c

View File

@@ -115,6 +115,7 @@ td:nth-child(odd) {
/* We don't want to show this in nav item since we have the + button for adding an Organization */
/* stylelint-disable-next-line selector-id-pattern */
#nav-AddServer {
display: none;
}