.dp-highlighter .tools { display: none !important; }
#accessibilityHook, #accessibilityHook a { height: 0px; background:none; }
h1 { font-size:2em !important; margin-bottom:0.5em; }
#container dl#pNav { float:none; width:auto; margin-bottom:1.5em; }
#container dl#pNav dt, #container dl#pNav dd {display:inline;} 
#content { width:100%; margin:0; padding:0; }
code { margin:2em 0; width:100%; }
#container table thead th { border-top:1px solid #DDDDDD; border-left:1px solid #DDDDDD; border-right:1px solid #DDDDDD; }
#container table tbody td, table thead th { border-bottom:1px dotted #DEDEDE; border-left:1px solid #DDDDDD; border-right:1px solid #DDDDDD; }
#content #linkNav, .conference, #wpToggle, #colleagues, #footer { display:none; width:0;height:0; }