Make tools a dropdown to fix #54