Final tweaks

This branch contains some (hopefully) final changes in the HTML5 ramp game.