Mir ist es egal wie es aussieht, wenn eine CSS-Klasse oder eine Id dafür definiert ist, kann ich es ja mit UserCSS ändern. ;)