static simplyCached int screenTopRightCornerOverlayInset() {
  ret 20;
}