// remove tools.js from bootstrap theme