CSS tweak, removing unused docs.html