Tag: add rounded corners to navigation bar.