##// END OF EJS Templates
navigation: remove # from url in options navigation entry....
navigation: remove # from url in options navigation entry. - leaving '#' in url is not good behaviour, and menulink class prevents the click anyway.
marcink -
r1783:8b9b6ea1 default
Show More
Name Size Modified Last Commit Author
/ ... / js / src / math_jax / extensions / HTML-CSS
handle-floats.js Loading ...