Minor changes in the stylesheet.