.clauseTbl
{
    margin: 1em auto 50px auto;
    width: 800px;       
}

.clauseTbl td .narrow
{
    width: 4em;
}

.clauseTbl .active .MathJax_Display
{
    font-weight: bold !important;
    background-color:  #e4d37f;
}

.clauseTbl .result .MathJax_Display
{
    font-weight: bold !important;
    background-color:  #93c18c;
}

.clauseTbl td:last-child
{
    text-align: right;
    width: 10em;
    font-weight: bold;
}

.interactive .example
{
    padding: 15px;
}

.logic_pic
{
    margin: 1em auto;    
}

.logic4col
{
    border: none;
    margin: 1em auto;
}

.logic4col td
{
    vertical-align: center;
}

.logic4col td:nth-child(1)
{
    padding-left: 8em;
    text-align: right;
}

.logic4col td:nth-child(1) .MathJax_Display
{
    text-align: right !important;
}

.logic4col td:nth-child(2)
{
    width: 3em;
    text-align: center;
}

.logic4col td:nth-child(3)
{
    padding-right: 8em;
}

.logic4col td:nth-child(3) .MathJax_Display
{
    text-align: left !important;
}

.logic4col td:nth-child(4)
{
    padding-right: 4em;
    font-weight: bold;
}

.logic4col tr:nth-child(odd)
{
    background: #eee;
}

.logicSemTbl
{
    margin: 1em auto;
}

#logicSemTblUnaryOps td:nth-child(1), #logicSemTblUnaryOps th:nth-child(1)
{
    border-right: 2px solid black;
}

#logicSemTblBinaryOps td:nth-child(2), #logicSemTblBinaryOps th:nth-child(2)
{
    border-right: 2px solid black;
}

.logicSemTbl td, th
{
    min-width: 3em;
    max-width: 3em;
    width: 3em;
    text-align: center;
}

.logicSemTbl th
{
    font-weight: bold;
    border-bottom: 2px solid black;
    background: #eee;
}

.logicSemTbl tr:nth-child(odd)
{
    background: #eee;
}

.resTableLeft
{
    width: 75px;
    float: left;
    text-align: center;
    padding: 0.3em 5em 0.15em 5em;    
}

.resTableMiddle
{
    width: 275px;
    float: left;
    margin: -0.9em 0;
    text-align: center;
}

.resTableRight
{
    width: 150px;
    float: left;
    margin: 0.25em 0;
}

.resTable
{
    margin: 0px auto 20px auto; 
    width: 650px;
}

.resTableRow
{
    clear: both;
    height: 25px;
    vertical-align: middle;    
}

#resTableExample1 
{
    height: 212px;
}

#resTableExample2 
{
    height: 265px;
}

.resTableBtn 
{
    float: right;
    margin: -50px 20px 20px 20px; 
    text-align: right;    
}

.resTableBtn input[type=button] 
{
    margin-bottom: 0;
}

.truthTable
{
    text-align: center;
    margin: 2em auto 18px auto;
}

.truthTable td.header 
{
    padding: 0em 2em;
    border-bottom: 2px solid black;
    background: #eee;
}

.truthTable td
{
    border-left: 1px solid black;
    border-right: 1px solid black;
}

#truthTableExample1 
{
    height: 131px;
    border-top: 1px solid black;
    border-bottom: 1px solid black;
}

table
{
    border-collapse: collapse;
    border-spacing: 0;
}