From 0ebc947fbd988b6ae0137c9524284c3521c86b41 Mon Sep 17 00:00:00 2001 From: zadam Date: Mon, 23 Dec 2019 21:05:47 +0100 Subject: [PATCH] visual tweaks --- src/public/stylesheets/desktop.css | 6 +++--- src/public/stylesheets/style.css | 7 ++++++- src/views/desktop.ejs | 2 +- 3 files changed, 10 insertions(+), 5 deletions(-) diff --git a/src/public/stylesheets/desktop.css b/src/public/stylesheets/desktop.css index 9826162e5..7f9fb0e1c 100644 --- a/src/public/stylesheets/desktop.css +++ b/src/public/stylesheets/desktop.css @@ -15,11 +15,11 @@ body { } .gutter { - background-color: var(--accented-background-color); + background: linear-gradient(to bottom, transparent, var(--accented-background-color), transparent); } .gutter:hover { - background-color: var(--main-border-color); + background: linear-gradient(to bottom, transparent, var(--main-border-color), transparent); } .gutter.gutter-horizontal { @@ -218,7 +218,7 @@ body { background: var(--main-background-color); border-radius: 5px 5px 0 0; overflow: hidden; - margin-top: 5px; + margin-top: 2px; } .note-tab-row * { box-sizing: inherit; diff --git a/src/public/stylesheets/style.css b/src/public/stylesheets/style.css index 9353c56f5..dd1714a61 100644 --- a/src/public/stylesheets/style.css +++ b/src/public/stylesheets/style.css @@ -474,9 +474,14 @@ button.icon-button { width: 15em; } +#global-menu-wrapper { + border-bottom: 1px solid var(--main-border-color); +} + #global-menu button { - height: 38px; margin-right: 10px; + height: 34px; + border-bottom: none; } #global-menu .dropdown-menu { diff --git a/src/views/desktop.ejs b/src/views/desktop.ejs index 3956dff39..78e5b2877 100644 --- a/src/views/desktop.ejs +++ b/src/views/desktop.ejs @@ -12,7 +12,7 @@