We have someone at work who smokes. They smoke outside multiple times per day, whenever they come inside they reek of it, bringing smoke into the office. You're not allowed to smoke inside, but is there any regulation or guideline which addresses this situation?