diff options
| author | Devaev Maxim <[email protected]> | 2021-05-19 08:48:05 +0300 |
|---|---|---|
| committer | Devaev Maxim <[email protected]> | 2021-05-19 08:48:05 +0300 |
| commit | ac109043ed03013083bfd771e248ef9ac43c66c7 (patch) | |
| tree | 50581a59615ce48a923f11a14db3a1633900892a /web/share | |
| parent | 52701c3bf205cf932346d35543d3094e34c53a9d (diff) | |
compact system menu
Diffstat (limited to 'web/share')
| -rw-r--r-- | web/share/css/main.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/web/share/css/main.css b/web/share/css/main.css index 471d047e..3ba157f7 100644 --- a/web/share/css/main.css +++ b/web/share/css/main.css @@ -119,6 +119,10 @@ select { padding-left: 5px; padding-right: 25px; } +button.small { + font-size: 12px; + height: 20px; +} button.key, select.key { border: var(--border-key-thin); |