use old hack for webkit-greeter widget height
make height hack work