Initial push

The toggle.js script is old and doesn’t work yet