Formatting changes to gtk-widgets.css