Smoking in Library areas is prohibited except in those areas specifically designated for this purpose.