Bug fix for line highlighting
Merge branch 'ice' of https://github.com/dabbler0/pencilcode-site into ice