Styling tweaks

This commit is contained in:
josdejong 2020-06-03 16:00:47 +02:00
parent 6b63d623ec
commit 20a067508d
2 changed files with 9 additions and 5 deletions

View File

@ -18,12 +18,13 @@
position: relative; position: relative;
.button { .button {
width: 32px; width: $menu-button-size;
height: 32px; height: $menu-button-size;
border: none; border: none;
background: transparent; background: transparent;
color: white; color: white;
cursor: pointer; cursor: pointer;
padding: 0;
&:hover, &:hover,
&:focus { &:focus {
@ -41,11 +42,13 @@
} }
.separator { .separator {
background: rgba(255, 255, 255, 0.2); $margin: 3px;
background: rgba(255, 255, 255, 0.15);
box-sizing: border-box; box-sizing: border-box;
width: 1px; width: 1px;
height: 24px; height: $menu-button-size - 2 * $margin;
margin: 5px; margin: $margin;
} }
.search-box-container { .search-box-container {

View File

@ -27,6 +27,7 @@ $light-gray: #c0c0c0;
$line-height: 18px; $line-height: 18px;
$indentation-width: 18px; $indentation-width: 18px;
$menu-button-size: 32px;
$input-padding: 5px; $input-padding: 5px;
$search-box-offset: 10px; $search-box-offset: 10px;
$border-radius: 3px; $border-radius: 3px;