/* styles defined in skin.css */