toggling solution divs works now, and

in some more generality.