Fix #329. Modify tools.html for Bootstrap theme