The original didn't work on most browsers (only Firefox can "read" a <filter> in an external SVG). So we've appended the filter to the JSXGraph SVG to make it work.

Note: display:hidden in the style attribute on the external SVG was changed to (valid) display:none.