Reworked the lecture markup, removed mdframed, which did not look good at all. Long arrows are broken at the moment, but there seems to be a Unicode fix.