/* general table styles */
th.selected {
  color:red;
}

td.selected {
  color:red;
  background-color:pink;
}

td.separator, th.separator {
  border: 0px;
  width: 40px;
}


/* truth table styles*/
.truthtable {
  border-collapse: collapse;
  margin-bottom:10px;
}

.truthtable td, th {
  padding: 5px;
  border-bottom: 1px solid black;
  border-right: 1px solid black;
  text-align:center;
}


/* lookup table styles*/
.lookuptable {
  border-collapse: collapse;
  margin-bottom:10px;
}

.lookuptable td {
  padding: 5px;
  border: 1px solid black;
  text-align: center;
}


.lookuptable th {
  padding: 5px;
  border: 1px solid black;
  text-align: left;
}


/* for any sums using a tabular layout */
.tableSum {
  font-family: "Lucida Console", Monaco, monospace;
}

td.columnResult {
  border-bottom: 1px solid black;
  border-top: 1px solid black;
}

/* sup standard is 0.85em */
td sup {
  font-family: "Lucida Console", Monaco, monospace;
  letter-spacing: 0.25em;
  font-size: 0.75em;
}


/* binary-in-bits table - showing the bits in a table */
.binarytable {
  border-collapse: collapse;
  border: 1px solid black;
  margin-bottom: 10px;
}

.binarytable th {
  border: 1px solid black;
  text-weight: normal;
}

.binarytable td {
  text-align: center;
  width: 1em;
  border: 1px solid black;
}