small changes in applications.css (gedit)