diff options
| author | Devaev Maxim <[email protected]> | 2018-10-09 02:40:20 +0300 |
|---|---|---|
| committer | Devaev Maxim <[email protected]> | 2018-10-09 02:40:20 +0300 |
| commit | 5b385718dc5491f6ba0c4574cc1a4d964ae7420c (patch) | |
| tree | 660cd0b6917c52ebaa5b18367e9d86070bc61dd0 /web/css/windows.css | |
| parent | 66f0eb7f3094ed05996f14e8ec256d70ce0d17c5 (diff) | |
refactoring
Diffstat (limited to 'web/css/windows.css')
| -rw-r--r-- | web/css/windows.css | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/web/css/windows.css b/web/css/windows.css index 151ca59a..5c183f07 100644 --- a/web/css/windows.css +++ b/web/css/windows.css @@ -3,16 +3,16 @@ div.window { outline: none; overflow: hidden; position: fixed; - border: var(--dark-border); + border: var(--border-dark-thin); border-radius: 8px; box-sizing: border-box; - box-shadow: var(--big-shadow); + box-shadow: var(--shadow-big); white-space: nowrap; background-color: var(--bg-color-light); padding: 30px 9px 9px 9px; } div.window:focus { - border: var(--intensive-border) !important; + border: var(--border-intensive-2px) !important; } div.window-header { @@ -25,7 +25,7 @@ div.window-header { height: 20px; font-size: 0.8em; color: var(--fg-color-dark); - border-bottom: var(--normal-border); + border-bottom: var(--border-normal-thin); } div.window-grab { @@ -42,7 +42,7 @@ div.window-grab { div.window-header-grabbed { color: var(--fg-color-intensive); background-color: var(--bg-color-intensive); - border-bottom: var(--thin-intensive-border); + border-bottom: var(--border-intensive-thin); } button.window-button-close { |