From 1c8ddccb450e5dabd3f662628605771aba971e98 Mon Sep 17 00:00:00 2001
From: Jeff Atwood <jatwood@codinghorror.com>
Date: Tue, 16 Dec 2014 23:26:29 -0800
Subject: [PATCH] try to correct font scaling problems on Firefox

---
 app/assets/stylesheets/common/foundation/base.scss | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/app/assets/stylesheets/common/foundation/base.scss b/app/assets/stylesheets/common/foundation/base.scss
index 1eec1d65d..37b6d220b 100644
--- a/app/assets/stylesheets/common/foundation/base.scss
+++ b/app/assets/stylesheets/common/foundation/base.scss
@@ -7,7 +7,10 @@
 
 html {
   color: $primary;
-  font: #{$base-font-size}/#{$base-line-height} $base-font-family;
+  font-family: $base-font-family;
+  font-size: $base-font-size;
+  // font: #{$base-font-size}/#{$base-line-height} $base-font-family;
+  // this does not work, see https://meta.discourse.org/t/x/23193/11
   background-color: $secondary;
   overflow-y: scroll;
 }