Made tocbutton display static toc, not overtoc
Rename toc mode to overtoc