table {
    font-family: arial, sans;
    border-collapse: collapse;
    /* width: 100%; */
    /* table-layout: fixed; */
}

table .var {
    width: 100%;
}

table .stm {
    width: auto;
}

th,td {
    border: 2px solid black;
    padding: 5px;
}
/*
td {
    text-align: center;
}
*/
td.left {
    text-align: left;
}

tr.header th {
    background-color: #C3D9FF;
    color: black;
}

tr.variables td {
    background-color: #F9F9F9;
    color: black;
    vertical-align: top;
}

tr.statement td {
    background-color: #E5ECF9;
    color: black;
    font-family: "Consolas", "Bitstream Vera Sans Mono", "Courier New",
        Courier, monospace;
    font-size: 1em !important;
    white-space: nowrap;
}

tr.odd td {
    background-color: #F9F9F9;
    color: black;
    font-family: "Consolas", "Bitstream Vera Sans Mono", "Courier New",
        Courier, monospace;
    font-size: 1em !important;
    white-space: nowrap;
}

tr.even td {
    background-color: #E5ECF9;
    color: black;
    font-family: "Consolas", "Bitstream Vera Sans Mono", "Courier New",
        Courier, monospace;
    font-size: 1em !important;
    white-space: nowrap;
}

tr.break td {
    background-color: #A8F58C;
    color: black;
}

td.bg {
    background-image: url(images/lab-icon.png);
    background-repeat: no-repeat;
    background-size: auto;
    background-position: center;
}

td a:hover img,a:hover span {
    background-color: #3CB4F6;
    /* border: 1px solid yellow; */
}
/*
img {
    border-width: 0px;
    width: 40px;
    height: 40px;
}
*/
textarea {
    resize: both;
    height: 16px;
    overflow: auto;
}