MarkUsProject/Markus — pull request #1598 by arkon (2014-07-21 17:42:00+00:00)
Title: Fix for grader JS issue.

For issue https://github.com/MarkUsProject/Markus/issues/1597.

Also tweaked a titlebar that I missed.