Davide P. Cervone af45fbf9d5 Choose better sizes for \widehat and \widetilde in HTML-CSS output		2011-11-18 23:00:09 -05:00
..
element/mml	Change String().fromCharCode() to direct \uXXXX in a string, and make em and ex sizes be vertical rather than horizontal (this was confusing browsers on mobile devices, where the width wasn't big enough for the number of ems used to determine the size)	2011-11-03 17:09:45 -04:00
input	Change String().fromCharCode() to direct \uXXXX in a string, and make em and ex sizes be vertical rather than horizontal (this was confusing browsers on mobile devices, where the width wasn't big enough for the number of ems used to determine the size)	2011-11-03 17:09:45 -04:00
output	Choose better sizes for \widehat and \widetilde in HTML-CSS output	2011-11-18 23:00:09 -05:00