Further improvements to css/haxe.io.css