Update documentation.css to capture changes made to the jboss.org version