refactoring
fixed unwanted unfocusing of current proof in lecture.js