fixed a bug in docs.css