From 907c5fe1984ead9d1df1c7d0dbe458f9ab607488 Mon Sep 17 00:00:00 2001
From: Murtuza Zabuawala <murtuza.zabuawal@enterprisedb.com>
Date: Mon, 10 Jul 2017 10:07:23 +0100
Subject: [PATCH] Use the correct font for alerts on IE.

---
 web/pgadmin/static/scss/_alert.scss | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/web/pgadmin/static/scss/_alert.scss b/web/pgadmin/static/scss/_alert.scss
index 7c09bed2c..28b5f2a2e 100644
--- a/web/pgadmin/static/scss/_alert.scss
+++ b/web/pgadmin/static/scss/_alert.scss
@@ -155,6 +155,8 @@ category: alerts
 .alert-text {
   display: inline-block;
   padding: 0 12px 0 10px;
+  // To make sure IE picks up the correct font
+  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
 }
 
 .alert-info {