Improved the CSS styling.

References #706.