Issue #42: Allowing vertical overflow for the Options tab