Smoking is not permitted inside any building. Visitors shall totally extinguish all cigarettes, cigars, and matches after use and before entering a building. An individual smoking near gasoline pumps and restaurants is subject to other applicable State laws and regulations.