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

Bundle fonts with pgAdmin so we have a standard set for all platforms.

Browse Source 
Research by Shirley at Pivotal.
This commit is contained in:
Atul Sharma
2017-09-13 16:01:14 +01:00
committed by Dave Page
parent e819465e38
commit 788f7f3a69
22 changed files with 73 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
web/pgadmin/static/css/bootstrap.overrides.css vendored
View File

@@ -2,6 +2,7 @@
/* Ensure simple forms don't hit the top of the screen */
body {
font-family: 'Open Sans';
padding-top: 50px;
padding-bottom: 20px;
}
@@ -1005,7 +1006,7 @@ ul.nav.nav-tabs {
}
span.button-label {
font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
font-family: 'Open Sans';
font-size: initial;
}
@@ -1015,7 +1016,7 @@ span.button-label {
border-radius: 3px;
color: #333;
display: block;
font-family: Menlo,Monaco,Consolas,"Courier New",monospace;
font-family: 'Source Code Pro';
font-size: 12px;
line-height: 1.42857;
margin: 0 0 10px;