Fix Tutorial Panel height on Firefox
Firefox requires that the <div> that includes the Tutorial Panel has its
height set to 100%, otherwise it displays it with a height of 150px (per
the CSS standard).
@@ -1151,6 +1151,7 @@ public class Ode implements EntryPoint {
overDeckPanel.setWidth("100%");
overDeckPanel.add(tutorialPanel);
overDeckPanel.setCellWidth(tutorialPanel, "0%");
+ overDeckPanel.setCellHeight(tutorialPanel, "100%");
overDeckPanel.add(deckPanel);
mainPanel.add(overDeckPanel, DockPanel.CENTER);
mainPanel.setCellHeight(overDeckPanel, "100%");
