1) Use verbatim directive to load worksheets view without static file views; 2) Add missing My CodaLab menu when on worksheets and not logged in; 3) Fix menu highlights; 4) Fix typo (occured -> occurred).