// Styling for truth tables and expressions

table {
  margin: 0 auto;
  border-spacing: 0;
}

// Alternate row colors for better contrast
tr:nth-child(odd) {
  background-color: rgba(#000, 0.2);
}
tr:nth-child(even) {
  background-color: rgba(#000, 0.4);
}

th, td {
  padding: 10px 18px;
}
// Set darker background for table head cells
th {
  background-color: rgba(#000, 0.25);
  &.expression {
    input[type='text'] {
      width: 150px;
      font-size: 16px;
    }
  }
}

// Highlight styles for various expression values
td.true {
  background-color: rgba(#6a6, 0.5);
}
td.false {
  background-color: rgba(#c33, 0.5);
}
td.und {
  background-color: rgba(#000, 0.1);
}

// Styling for truth tables and expressions

$table-border: solid 1px rgba(#000, 0.5);
table {
  margin: 0 auto;
  border: $table-border;
  border-spacing: 0;
  border-collapse: collapse;
}
thead th {
  border-bottom: $table-border;
}

// Alternate row colors for better contrast
tr:nth-child(odd) {
  background-color: rgba(#000, 0.2);
}
tr:nth-child(even) {
  background-color: rgba(#000, 0.4);
}

th, td {
  padding: 10px 18px;
}
// Set darker background for table head cells
th {
  background-color: rgba(#000, 0.25);
  &.expression {
    input[type='text'] {
      width: 150px;
      font-size: 16px;
    }
  }
}

// Highlight styles for various expression values
td.true {
  background-color: rgba(#6a6, 0.5);
}
td.false {
  background-color: rgba(#c33, 0.5);
}
td.und {
  background-color: rgba(#000, 0.1);
}

Add border to table and table head
Add border to table and table head
