Porting the Gnome theme HighContrastInverse to the latest version.