body {font-size:100%;}

#header .box,#header ul {display:none;}
#header h1 {display:none;}

html div#page div#main {width:90%;margin:0 5%;
float:none;
text-align:justify;
}

.main_logo {display:none;}
#toc {display:none;}
div#page.withtoc #main {width:auto;}

div#content {width:100%;}