body { margin: 0; background: white }
#page { padding: 3px }
pre.pre { overflow: auto }
#header { position: inherit; margin: 0 }
hr.hidden { display: none }
#navbar { display: none }
html > body #navbar { display: none }
#navbar a { display: inline }
#page div.menu { float: none } 
.pda_show { display: inherit }
.pda_hide { display: none }
div.blog { padding-left: 0 }
html > body #footer #config { position: inherit }
html > body #signin { position: inherit; background: inherit;
	color: inherit }
html > body #signin a { color: inherit }

h3 { margin-top: 0.5em }
#path { border-bottom: 1px dotted #333; padding: 3px; font-size: smaller }
#header, #header h1, #header h1, #header p, #header h1 a, #header p a 
{ margin: 0; padding: 0; width: auto; height: auto } 
h2 { font-size: 140%; border: 0 }

#header h1 { padding: 5px 10px 0 10px; }
#header p { padding: 0 10px 3px 10px; }

span.float_right { font-size: smaller; float: none; display: inline }