.save{
   behavior:url(#default#savehistory);}
a.dsphead{
   text-decoration:none;
   margin-left:0;
   color: #333;
}
a.dsphead:hover{
   text-decoration:underline;
   color: blue;}
a.dsphead span.dspchar{
   font-family:monospace;
   font-weight:normal;}
.dspcont{
   display:none;
   margin-left:2em;}