.ss-samp,
.ss-samp-wrong
{
   display: block;
}

.ss-samp,
.ss-samp-wrong,
.ss-mono-name,
.ss-samp-hilite
{
   font-family: Monospace;
}

.ss-samp,
.ss-samp-wrong,
.ss-samp-hilite
{
   font-size: smaller;
}

.ss-samp, .ss-samp-wrong
{
   background: lightyellow;
}

.ss-mono-name
{
   font-weight: bold;
   color: darkblue;
}

.ss-samp-wrong
{
   color: red;
}

.ss-samp-hilite
{
   color: blue;
}