Simplify and uniformise styling of kernel selector

Make the theme coherent with the logout button
Merge pull request #10 from Carreau/6126

Simplify and uniformise styling of kernel selector