currency.css: make vertical divider thinner.