/* Truth table: table, cells, variable + expression headers */
  table {
    border-collapse: collapse;
    font-variant-numeric: tabular-nums;
    min-width: 100%;
  }
  th, td {
    border: 1px solid var(--hairline);
    text-align: center;
    padding: 0;
  }
  thead th {
    position: sticky;
    top: 0;
    background: var(--paper);
    z-index: 2;
    padding: 8px 10px;
    font-weight: 600;
    white-space: nowrap;
  }
  thead th.var-col { color: var(--ash); font-size: var(--text-subheading); }
  .var-input {
    width: 52px;
    text-align: center;
    font-size: 15px;
    font-weight: 700;
    color: var(--ash);
    background: var(--paper);
    border: 1px solid transparent;
    border-radius: var(--radius-control);
    padding: 5px 4px;
    font-family: inherit;
  }
  .var-input:hover { border-color: var(--hairline); }
  .var-input:focus { border-color: var(--signal-blue); color: var(--ink); outline: none; }
  td {
    font-size: 15px;
    font-weight: 600;
  }
  td .cell {
    display: block;
    width: 100%;
    min-width: 46px;
    padding: 9px 12px;
    cursor: pointer;
    user-select: none;
    color: var(--ink);
  }
  td.t .cell { color: var(--true); background: var(--true-bg); }
  td.f .cell { color: var(--false); background: var(--false-bg); }
  td.var-cell { background: rgba(37, 118, 235, 0.04); }
  td.var-cell.t .cell { color: var(--true); }
  td.var-cell.f .cell { color: var(--false); }
  tbody tr:hover td { background: rgba(37, 118, 235, 0.05); }

  .col-head {
    display: flex;
    flex-direction: column;
    gap: 6px;
    align-items: stretch;
  }
  .col-head .expr-input {
    width: 150px;
    text-align: center;
    font-size: 14px;
  }
  .col-head .expr-input.invalid { border-color: var(--false); color: var(--false); }
  .col-head .head-row { display: flex; gap: 6px; align-items: center; justify-content: center; }
  .col-head .meta { font-size: 11px; color: var(--fog); min-height: 14px; }
  .col-head .meta:empty { min-height: 0; display: none; }
  .col-head .meta.error { color: var(--false); }
  .col-head .meta.overridden { color: var(--ash); }
  .col-head .remove {
    padding: 4px 8px;
    font-size: 12px;
    line-height: 1;
    color: var(--silver);
  }
  .col-head .remove:hover { color: var(--false); border-color: var(--false); }