// Merged toggle.js (2 small functions) into tools.js