diff options
Diffstat (limited to 'settings/css/settings.css')
-rw-r--r-- | settings/css/settings.css | 22 |
1 files changed, 18 insertions, 4 deletions
diff --git a/settings/css/settings.css b/settings/css/settings.css index be61265935e..418c5f95517 100644 --- a/settings/css/settings.css +++ b/settings/css/settings.css @@ -100,10 +100,6 @@ input#identity { table.nostyle label { margin-right: 2em; } table.nostyle td { padding: 0.2em 0; } -#sessions, -#devices { - min-height: 180px; -} #sessions table, #devices table { width: 100%; @@ -114,6 +110,24 @@ table.nostyle td { padding: 0.2em 0; } #devices table th { font-weight: 800; } +#sessions table th, +#sessions table td, +#devices table th, +#devices table td { + padding: 10px; +} + +#sessions .token-list td, +#devices .token-list td { + border-top: 1px solid #DDD; +} + +#device-new-token { + padding: 10px; + font-family: monospace; + font-size: 1.4em; + background-color: lightyellow; +} /* USERS */ #newgroup-init a span { margin-left: 20px; } |