/* styles are set in skin.css */