Slightly more compact GUI resources