MarkUsProject/Markus — pull request #1535 by arkon94 (2014-06-18 17:43:32+00:00)
Title: Mobile menus

Mobile friendly navigation, mostly targeted at students. `menu.js` was recycled for the new navigation, as the old code seems to be unused.