#JumpTo, #CssSwitcherDiv, #Menu,a.source_link, span.plain_text
{ display:none; }
#MainTitle
{ width:100%; text-align:center;}
div.include
{ border:none; }
div.include_filename
{ font-weight:bold; margin-bottom:10pt; border-bottom:1px solid black; }
a
{ text-decoration:none; }
a img
{ border:none; }