Updated the \tableofcontents in the style files of mu/.