Docs, remove unneeded dev.css