.mimetex {
     /*vertical-align: text-bottom;*/
     vertical-align: middle;
}

dt {
    float: left;
    padding: 0px;
    padding-right: 1em; /* Don't let the term run right into the definition */
}
dd {
/*    margin: 0; *//* take out default indent margin */
    padding: 1px; /* this must be taller than the dt*/
    min-height: 1.3em; /* Keeps dd from overlapping preceding empty dd */
}

/* Make edit box eaiser to read */
textarea {
  font-family: mononspace, sans-serif;
}


/*
dt {
    border: thin solid #999999;
    border-width: thin thin 0 thin;
    font-weight: bold;
}
dd {
    margin: 0 0 5px 0;
    border: thin solid #999999;
    border-width: 0 thin thin thin;
}
*/