ceylondoc: small css changes, suggested by jboss design team