Tell users when they don't have WebGL, various UI tweaks