/* Larger text for the in-game help window: the game draws the page about 900 px wide and
   shrinks it into a small window. Loaded last by every page; change the size here. */
html { font-size: 130%; }