IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2024-11-30 04:23:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

Increase table header vertical padding to make headers more distinguished.

Browse Source
This commit is contained in:
Ashesh Vashi 2019-02-11 10:58:19 +00:00 committed by Dave Page
parent 3d202dceeb
commit c411520d98
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
web/pgadmin/static/scss/_bootstrap.overrides.scss
View File

@ -163,6 +163,9 @@ legend {
.table {
margin-bottom: 0rem;
th {
padding: $table-header-cell-padding $table-cell-padding;
}
}
.table-bordered {

1
web/pgadmin/static/scss/resources/_default.variables.scss
View File

@ -113,6 +113,7 @@ $nav-tabs-link-active-bg: none;
$nav-tabs-link-active-border-color: none;
$table-cell-padding: 0.25rem;
$table-header-cell-padding: 0.75rem;
$table-hover-bg: none; //we will use our own classes
$table-active-bg: $color-primary-light;
$table-border-width: $border-width !default;