mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Update the UI logo. Artwork by Chethana Kumar. Fixes #4208
This commit is contained in:
committed by
Dave Page
parent
dcd163ac02
commit
361f7077fd
@@ -102,7 +102,13 @@ $card-cap-bg: $color-bg-theme;
|
||||
$card-bg: $color-bg-theme;
|
||||
|
||||
|
||||
$navbar-padding-y: 0rem;
|
||||
$navbar-padding-x: 0rem;
|
||||
$navbar-brand-padding-y: 0rem;
|
||||
$navbar-toggler-padding-y: 0rem;
|
||||
$navbar-toggler-padding-x: 0rem;
|
||||
$navbar-toggler-font-size: $font-size-base;
|
||||
$navbar-dark-toggler-border-color: tranparent;
|
||||
|
||||
$nav-tabs-border-color: $border-color;
|
||||
$nav-tabs-border-width: 1px;
|
||||
@@ -166,8 +172,8 @@ $navbar-color-bg: $color-primary;
|
||||
$navbar-font-size: 0.925rem;
|
||||
$navbar-user-font-size: 0.875rem;
|
||||
|
||||
$navbar-height: 40px;
|
||||
$navbar-dropdown-top: 110%;
|
||||
$navbar-height: 32px;
|
||||
$navbar-dropdown-top: 100%;
|
||||
$dropdown-submenu-top: -$dropdown-spacer;
|
||||
|
||||
$table-bg: $color-bg-theme;
|
||||
|
||||
Reference in New Issue
Block a user