improve CSS stylesheets of documentation