Mario Elsnig's UI Library Mario Elsnig's UI Library. It's used by some of my other packages and contains ui-related scripts. Timestamps: Begin: 7th March 2020 Foundation finish: 27th March 2020