Push down footer
Fix class typo in style.css
Switch highlight style, for better readability
Add check for user when quitting game
Add routine to correctly apply code-char spans to the game code