
 !set wims_html_header= !append line <link rel="stylesheet" type="text/css" href="scripts/js/jsxgraph/jsxgraph.css" />\
<script type="text/javascript" src="scripts/js/jsxgraph/jsxgraphcore.js" charset="utf-8"></script>\
to $wims_html_header
