search server status smaller font size

2026-05-24 15:18:40 -05:00 · 2022-05-18 12:46:42 -04:00
parent 861d1066a5
commit f7212f5048
1 changed files with 1 additions and 0 deletions
@@ -225,6 +225,7 @@ const Servers: Component<{ close: () => void }> = (p) => {
                  padding: "0.25rem",
                  "border-radius": ".35rem",
                  transition: "background-color 125ms ease-in-out",
+                  "font-size": "0.8rem"
                }}
              >
                {server.status === "OK" ? "OK" : "NOT OK"}