I have never heard of this. And I’m a smoker and I was alive back then. (Though I was a kid.)

Does the higher ceiling go to the smoking section or the non-smoking section?