Fix for grader JS issue.

For issue https://github.com/MarkUsProject/Markus/issues/1597.

Also tweaked a titlebar that I missed.