Work around a Firefox SVG bug. (Do a little user-agent sniffing to help.)