#traceView thead.rotate th.variable {
  writing-mode: sideways-lr;
}

#traceView table.small th,
#traceView table.small td {
  font-size: 80%;
  max-width: 20px;
  padding-left: 2px;
}

#traceView th.traceHead.trace-0 {
  color: var(--trace-0) !important;
  border-bottom-color: var(--trace-0);
}

#traceView th.traceHead.trace-1 {
  color: var(--trace-1) !important;
  border-bottom-color: var(--trace-1);
}

#traceView th.variable.trace-0,
#traceView th.variable.trace-1 {
  color: black;
}
#traceView th.variable i {
  margin-right: 0.5ex;
  font-size: 70%;
}

.hyperhyper #traceView td {
  color: var(--gray-dark);
}

.hyperhyper #traceView td.relevant {
  background-color: var(--blue-lighter);
  color: black;
}
.hyperhyper #traceView td.relevant.expl {
  color: var(--blue);
}
.hyperhyper #traceView td.relevant.expl-0 {
  color: var(--expl-0);
}
.hyperhyper #traceView td.relevant.expl-1 {
  color: var(--expl-1);
}
.hyperhyper #traceView td.relevant.expl-2 {
  color: var(--expl-2);
}
.hyperhyper #traceView td.relevant.expl-3 {
  color: var(--expl-3);
}
.hyperhyper #traceView td.relevant.expl-4 {
  color: var(--expl-4);
}

#traceView .table td.border-right,
.table th.border-right {
  border-right-style: solid;
  border-right-width: 4px !important;
}

#traceView .hover td,
#traceView td.hover {
  background-color: var(--gray-light);
}

#traceView .hover th,
#traceView th.hover,
#traceView td.hover,
.hyperhyper #traceView td.hover {
  background-color: var(--blue-light);
  color: var(--blue);
}

#traceView .highlight,
#traceView .highlight td,
#traceView .highlight th {
  background-color: var(--blue);
  color: var(--white);
}

.hyperhyper #traceView .highlight td.relevant {
  background-color: var(--blue-dark);
  color: var(--white);
}

#traceView tr.lasso th {
  border-left: solid thin var(--gray-darker);
}

#traceView tr.lassoStartNext th {
  border-bottom: solid thin var(--gray-darker);
}

#traceView tr.lassoEnd th {
  border-bottom: solid thin var(--gray-darker);
}