From eb31c6880b20a311724a37a98e5e8d61b970d8a0 Mon Sep 17 00:00:00 2001
From: Emily Eisenberg <emily@khanacademy.org>
Date: Sat, 30 Aug 2014 22:41:30 -0700
Subject: [PATCH] Make \rules work in script and scriptscript sizes

Auditors: alpert
---
 buildTree.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/buildTree.js b/buildTree.js
index 5ab3b6e..84d5cff 100644
--- a/buildTree.js
+++ b/buildTree.js
@@ -713,6 +713,9 @@ var groupTypes = {
             height *= fontMetrics.metrics.xHeight;
         }
 
+        width /= options.style.sizeMultiplier;
+        height /= options.style.sizeMultiplier;
+
         // Style the rule to the right size
         rule.style.borderRightWidth = width + "em";
         rule.style.borderTopWidth = height + "em";