/* Narrow-screen adjustments for MediaWiki 1.31 Vector, which
   predates responsive skins. Added by build_mirror.py -- delete this file and
   the <link> that references it to restore the 2013 desktop-only layout. */
@media screen and (max-width: 800px) {
  #mw-page-base, #mw-head-base { display: none; }
  #mw-panel { position: static; width: auto; padding: 0.5em 1em; }
  #mw-panel .portal { margin: 0 0 0.5em 0; background-image: none; padding: 0; }
  #mw-panel .portal .body { margin-left: 0; padding-top: 0; }
  #mw-panel .portal .body ul { display: flex; flex-wrap: wrap; gap: 0 1em; }
  #p-logo { position: static; width: auto; height: auto; margin: 0 0 0.5em; }
  #p-logo a.mw-wiki-logo { background-position: left center; width: 8em;
                           height: 4em; display: block; }
  #mw-head { position: static; }
  #left-navigation, #right-navigation { float: none; margin-left: 0; }
  #content.mw-body { margin-left: 0; border-left: 0; padding: 1em; }
  #footer { margin-left: 0; padding-left: 1em; }
  .mw-body h1.firstHeading { font-size: 1.6em; }
  #content img, #content table { max-width: 100%; height: auto; }
  .thumb, .thumbinner, .tright, .tleft { float: none !important;
      max-width: 100% !important; width: auto !important; margin: 0 0 1em 0; }
  #toc, .toc { width: auto; }
  #bodyContent { overflow-x: auto; }
}