[Doc] Small improvements to /doc via CSS [rejected]