diff options
| author | Devaev Maxim <[email protected]> | 2018-11-27 10:46:59 +0300 |
|---|---|---|
| committer | Devaev Maxim <[email protected]> | 2018-11-27 10:46:59 +0300 |
| commit | b5ca09f310ade56ead145db4aee892d50cfd6386 (patch) | |
| tree | 888f3f8e62ece2aea12572bf7b89f8ed0a1bc2dc /web/css/windows.css | |
| parent | 26450da996b7bb9219cf796dec41221b6c078aa7 (diff) | |
better windows management
Diffstat (limited to 'web/css/windows.css')
| -rw-r--r-- | web/css/windows.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/css/windows.css b/web/css/windows.css index a8948164..32628e55 100644 --- a/web/css/windows.css +++ b/web/css/windows.css @@ -12,7 +12,7 @@ div.window { background-color: var(--cs-window-default-bg); padding: 30px 9px 9px 9px; } -div.window:focus { +div.window-active { border: var(--border-intensive-2px) !important; } |