Hello all, This is pretty trivial but I was wondering if anyone knew how to change the splash screen color that is used when GNOME is loading?