Update: Change font size

Change font size (10 => 7) this dimension is better for a ubuntu distrib, and give a polished style.