._dfd_index {
column-width:16em;
column-rule: 1px solid black;
}
._dfd_index dd:after{
display: block;
content: '';
}
/* the char */
._dfd_index dt {
font-size: 130%;
display: inline-block;
min-width:2em;
}
._dfd_index dd {
display: inline;
margin-left: 1em;
}
._dfd_index dt sup {
display:inline-block;
min-width: 1.5em;
font-size: 50% !important; /* ugh, this is set !important in the site CSS */
}