body { font-size: small; }
div#nav, ul.menu { display: none; }
table#toc { display: none; }
div#wiki_searchdiv { display: none; }
#percentMobile { display: none; }