/* tool styles are part of main.css */