gtkrc: also parse it for bauhaus widget size.