/* Deliberate deviations from the 2014 site, kept out of the archived
   stylesheets so those stay exactly as they were served.
   The home tab strip is 600px wide and was built for four tabs of 150px;
   the Forums tab is gone, so the three that remain share the width. */
ul.options li a { width: 200px; }