table.cfg {
    background-color: #f8f8ff;
    border-radius:5px;
    margin-left:10px;
}
span.nonterm {
    color: DarkBlue;
    font-style: italic;
}
table.cfg span.arrow {
    color: black;
    font-style: normal;
}
table.cfg span.union {
    color: DarkGreen;
    font-style: normal;
}
span.term {
    color: black;
    font-style: normal;
    font-weight: bold;
}