@charset "UTF-8";#header_container{padding:.25em 3% .25em 3%}#header_menu{display:none}#header_menu_compact{display:block;margin-left:.25em}#pagecontent{padding:.25em 3% .25em 3%}#pagefooter{padding:.25em 3% .25em 3%}.tool-display-div{width:95%;margin-right:0}.tool-button-small{width:95%}