##// END OF EJS Templates
strip: ui changes....
strip: ui changes. - make full buttons clickable not only <i> icons - fix margin on dynamic buttons - small html cleanups
marcink -
r1589:001d2284 default
Show More
Name Size Modified Last Commit Author
/ ... / js / src / math_jax / jax / element
mml