tree 5a71e2758102af3719ebed7a549368b4e431b17e
parent 2db3e9fddcd242a46c0e866dfa991b3e153c77c1
author Jason Merrill <jwmerrill@gmail.com> 1476825170 -0700
committer Jason Merrill <jwmerrill@gmail.com> 1476825170 -0700

Fix copying math in Safari

Fixes #686. I have no idea why box-sizing: border box would cause
problems here; I discovered this by bisecting the problem to

058297a18e17e4aba09f738