static Rect growRectTop(Rect r, int pixels) {
  ret new Rect(r.x, r.y-pixels, r.w, r.h+pixels);
}