No person, including any member of the public or employee of the city, shall be permitted to smoke in any city-owned or operated building. Employees will step out of the building to smoke. Future building additions may provide a properly ventilated room for smoking at the discretion of the City Council.
(1989 Code, § 11-703)