Hendrik Leppkes (5):
      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
      0db63ca: Ensure that buttons that should be hidden stay hidden

