From 2dfa6223574d6a16bc5144462a1e440df80649d4 Mon Sep 17 00:00:00 2001 From: Dave Page Date: Mon, 10 Jul 2017 10:25:27 +0100 Subject: [PATCH] Fix history font on IE. --- web/pgadmin/static/scss/_typography.scss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/web/pgadmin/static/scss/_typography.scss b/web/pgadmin/static/scss/_typography.scss index 60801702e..32d1cb8ca 100644 --- a/web/pgadmin/static/scss/_typography.scss +++ b/web/pgadmin/static/scss/_typography.scss @@ -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; }