Renamed theme "minimal" to "minorder"