jsxgraph use https, local css