Make ASL tooltip more themable.