fixing documentation.css at the source