CSS tweaks to demo.html