allow firefox to report font-weight as 400=normal, 700=bold

1 files changed, 3 insertions, 0 deletions

diff --git a/contexts/data/fiveui/injected/prelude.js b/contexts/data/fiveui/injected/prelude.js
index 44ec319..40b911f 100644
--- a/contexts/data/fiveui/injected/prelude.js
+++ b/contexts/data/fiveui/injected/prelude.js
@@ -314,6 +314,9 @@ fiveui.font.getFont = function (jElt) {
   }
   res.family =  jElt.css('font-family');
   res.weight =  jElt.css('font-weight');
+  // normalize reporting of the following two synonyms
+  if (res.weight === '400') { res.weight = 'normal'; }
+  if (res.weight === '700') { res.weight = 'bold'; }
   return res;
 };