IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Ensure text editors render in an appropriate place on the results grid. Fixes #2477

Browse Source
This commit is contained in:
Surinder Kumar
2017-06-14 12:18:27 +01:00
committed by Dave Page
parent 2b4a8ed89c
commit fdc9eed514
5 changed files with 121 additions and 119 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
web/pgadmin/static/css/pgadmin.style.css
View File

@@ -57,19 +57,19 @@
font-weight: bold; }
.text-14 {
font-family: "Helvetica Neue";
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
font-size: 14px; }
.text-13 {
font-family: "Helvetica Neue";
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
font-size: 13px; }
.text-12 {
font-family: "Helvetica Neue";
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
font-size: 12px; }
.text-11 {
font-family: "Helvetica Neue";
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
font-size: 11px; }
.bg-primary-blue {