pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix history font on IE.

REL-1_X
Dave Page 2017-07-10 10:25:27 +01:00
parent 907c5fe198
commit 2dfa622357
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
web/pgadmin/static/scss/_typography.scss
View File

@ -48,21 +48,21 @@ Font Typography
}
.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;
}