Update and rename github.css to syntax.css