/* Keep the history table readable on narrow screens; scroll inside its wrapper. */
table{min-width:570px}