div {
    background-color: #ffffff;
    padding: 1em;
    margin: 1em;
}

#derivation {
    width: 1000%;
}

.der {
    padding: 1em;
    margin: 1em;
}

body {
    background: url('congruent_outline.png');
}

#input td {
    vertical-align: top;
}

#drg img {
    width: 33%;
}

#tuples td{
    font-family: monospace;
    font-size: normal;
    background-color: #e0e0e0;
    margin: 1px;
    padding-left: 1em;
    padding-right: 1em;
}

#prolog textarea, #fol textarea {
    width: 60%;
    height: 20em;
}

#debug {
    font-family: monospace;
    white-space: pre;
    color: dark-grey;
}