gtk_style_context_get_background_color() returns a GdkRGBA value, which has
float values between 0 and 1. However, we construct a GdkColor object from
that, so we need to scale to 0..65535 and round to int.