Champaign mayor sets Unofficial St. Patrick's Day rules