.mozilla.v11 .panel-height-400{height:400px}.mozilla.v11 .panel-height-500{height:500px}.mozilla.v11 .panel-height-600{height:600px}.mozilla.v11 .panel-height-700{height:700px}.mozilla.v11 .panel-height-800{height:800px}.mozilla.v11 .panel-height-900{height:900px}.mozilla.v11 .panel-height-1000{height:1000px}.mozilla.v11 .panel-height-1100{height:1100px}.mozilla.v11 .panel-height-1200{height:1200px}.mozilla.v11 .purple,.mozilla.v11 .cm-fw.white{height:700px}