Go to most recent revision | Details | Last modification | View Log | RSS feed
!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"></script>\
to $wims_html_header