div.infrule { 
    font-family: monospace;
    padding: 5px;
    background-color: #EFC;
    color: #333;
    line-height: 120%;
    border: 1px solid #AC9;
    border-left: none;
    border-right: none;
    padding-bottom: -1em;
}
div.infrule table {
    font-family: monospace;
    margin: 0 0 1em 0;
}
.ruleid {
    font-weight: bold;
}
.ruleprem, .ruleconc {
    padding: 0 1em;
}

.ruleconc {
    border-top: solid 1px black;
}