pre.sourcecode code[title]:before {
       content:attr(title)':';
       padding:0;
       margin:0 .5em 0 auto;
       color:#777;
     }
pre.sourcecode:hover code[title]:before {
       content:'\20\20\20';
     }
pre.sourcecode {
       font-family:"Courier New",monospace;
       font-size:75%;
       white-space:pre;
       width:auto;
       background-color:#eee;
       margin:1ex auto 1ex 2em;
       padding:1ex;
       border:dotted 1px #aaa;
       }   
pre.sourcecode code {
       font-family:"Courier New",monospace;
       padding:0;
       margin:0;
       }
pre.sourcecode strong {
       font-family:"Courier New",monospace;
       color:#009;
       font-weight:bold;
       }
pre.sourcecode em {
       font-family:"Courier New",monospace;
       color:#f00;
       font-style:normal;
       font-weight:normal;
       }
pre.sourcecode var {
       font-family:"Courier New",monospace;
       color:#0a0;
       font-style:normal;
       font-weight:normal;
       }
pre.sourcecode samp {
       font-family:"Courier New",monospace;
       color:#333;
       font-style:normal;
       font-weight:normal;
       }