mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Monitor connection and transaction status in the query tool. Fixes #2475
This commit is contained in:
committed by
Dave Page
parent
82aa8035c2
commit
8520871bc6
@@ -1438,3 +1438,9 @@ body {
|
||||
.multi-checkbox .check.partial:after {
|
||||
content: "\003F";
|
||||
}
|
||||
|
||||
/* Override default bootstrap popover fonts & size */
|
||||
.popover-content {
|
||||
font-family: 'Open Sans';
|
||||
font-size: 13px;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user