/* Style text boxes used for user input (mantisssa and exponent) */
input  {
    border: 2px solid blue;
    border-radius: 8px;
}

/* Style tables used to place user input (mantisssa and exponent) text boxes */
table.exptbl, table.exptbl th, table.exptbl td  {
    padding:        0;
    border:         0;
    border-spacing: 0;
}


/* Style tables used in introductory material */
table.intro  {
    border-spacing: 10px 4px;       /* distance between borders of adjacent cells (h/v) */
    padding:               0;       /* distance between cell content and cell edges     */
    margin-left:        auto;       /* centers entire table */
    margin-right:       auto;       /* centers entire table */
    /* body {text-align:center;} */
}

table.intro body  {
    text-align:   center;           /* IE 5.5 and up might still need this to center entire table */
}

tr.table_hl, td.table_hl  {
    border-bottom: 1px solid black; /* add horizontal line across table */
}

.katex {
    font-size: 1.05em !important;   /* default is probably 1.21em */
}