Code highlighting now works on lec01.html
Code highlighting and minor fixes