#prooftable h1 {
    font-family: sans-serif;
    border-bottom: 1px solid #ddd;
}
#prooftable h1 .sequent {
    font-family: 'Droid Serif';
    font-weight: normal;
    font-size: 20px;
}

#prooftable h2 {
    font-family: sans-serif;
    font-size: 20px;
    border-bottom: 1px solid #ddd;
}

table.hypotheses td {
    vertical-align: top;
}

table.hypotheses tbody tr td:first-child {
    text-align: right;
}

table.boxproof td {
    white-space: nowrap;
    padding-top: 2px;
    padding-bottom: 2px;
}

td.line {
    width: 20px;
    padding-right: 30px;
}

td.rule {
    padding-lefT: 20px;
}

td.box {
    width: 10px;
}

td.box.active {
    border-left: 1px solid #333;
}

td.open {
    border-top: 1px solid #333;
}

td.close {
    border-bottom: 1px solid #333;
}

table.boxproof {
    border-collapse:collapse;
}

.op {

}

.pred {
    font-style: italic;
}

.var {
    font-style: italic;
}

.metakind {
    font-weight: bold;
    font-family: sans-serif;
}

.metaquantifier {
    font-style: italic;
}

.cdots {
    font-weight: bold;
    padding: 0px 10px;
}

.exotic {
    background-color: #f9f;
}

.hole {
    background-color: #fdd;
}

.error {
    background-color: #fdd;
}

.highlight {
    background-color: #f7f9fc;
}

.termIntro {
    color: #666;
    font-style: italic;
}

div.sequent {
    float: right;
}

p.open-indicator , p.closed-indicator {
    clear:both;
}

.hide {
    display: none;
}

.context-separator {
    cursor: pointer;
    color: #4679bd;
    border-bottom: 1px solid #7EA1D1;
}

.context-separator .el {
    font-size: 75%;
    float: right;
}

.collapse { height: 0; overflow: hidden; };

.proofline {
    cursor: pointer;
}
.proofline:hover {
    cursor: pointer;
    background-color: #f7f9fc;
}