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