v0.30.1. Shrink navbar buttons.