/**
 * @provides differential-table-of-contents-css
 */

.differential-toc-meta {
  color:        #666666;
  padding-left: 1em;
}

.differential-toc-char,
.differential-toc-prop {
  width: 1.25em;
  text-align: center;
  font-weight: bold;
}

.differential-toc-ftype {
  padding: 0 .5em;
  text-align: center;
  color: #666666;
}

.differential-toc-file {
  color: #444444;
}

.diff-star-none {
  color: #666666;
}

.diff-star-okay {
  color: #ff9700;
}

/* TODO: 'warn' and 'fail' are both red, but we can't make 'warn' yellow since
   'okay' is a "gold star". */
.diff-star-warn {
  color: #aa0000;
}

.diff-star-fail {
  color: #aa0000;
}

.diff-star-skip {
  color: #ff00aa;
}