Hendrik Leppkes (4):
      c96d1a0: Adjust default padding and scale of the micromenu
      598e2af: Slightly adjusted the NormalTexture of the buttons to feel like before
      7c53a32: Revert "Renamed "Zoom" to "Button Border" and make it do its thing again"
      130afe7: Fixed the NormalTexture again to behave like it used to 4.1.x

