Simplify and uniformise styling of kernel selector

Make the theme coherent with the logout button

Not that I doubt your design skills :-) 
![capture decran 2014-07-22 a 16 53 51](https://cloud.githubusercontent.com/assets/335567/3659658/c26c9620-11af-11e4-8a08-9ef9dbaabc29.png)