.f9 { color: #FFFFFF; }
.b9 { background-color: #000000; }
.f9 > .bold,.bold > .f9, pre > .bold, pre > a > .bold {
  /* Bold is heavy black on white, or bright white
     depending on the default background */
  color: #FFFFFF;
  font-weight: bold;
}
.reverse {
  /* CSS does not support swapping fg and bg colours unfortunately,
     so just hardcode something that will look OK on all backgrounds. */
  color: #000000; background-color: #AAAAAA;
}
pre > a {
  /* Ensure OSC 8 hyper-links do not override other attributes.  */
  color: inherit; text-decoration: underline dashed;
  text-decoration-color: rgba(128,128,128,0.75);
}
pre > a:hover { text-decoration-style: solid; text-decoration-thickness: 1.5px; }
.underline { text-decoration: underline; }
.line-through { text-decoration: line-through; }
.blink { text-decoration: blink; }

/* Avoid pixels between adjacent span elements.
   Note this only works for lines less than 80 chars
   where we close span elements on the same line.
span { display: inline-block; }
*/