Work around Safari bug with negative margins used in bussproofs. (mathjax/MathJax#3547)#1457
Open
dpvc wants to merge 2 commits intofix/margin-spacingfrom
Open
Work around Safari bug with negative margins used in bussproofs. (mathjax/MathJax#3547)#1457dpvc wants to merge 2 commits intofix/margin-spacingfrom
dpvc wants to merge 2 commits intofix/margin-spacingfrom
