##// END OF EJS Templates
Transfer of border-box-sizing from js to css...
Transfer of border-box-sizing from js to css `border-box-sizing` is pure styling, it has nothing to do in Javascript it should be put in css to be overwritable.
Matthias BUSSONNIER -
r17422:c49778be
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / services
kernels
sessions