Smoking is not permitted in any area with a fixed roof.