Thanks for the report, we'll see what we can find! It certainly sounds like a bug in FF since HTML can't really be OS specific, but we'll see if there's a way to work around it.
-Tony