/* Highlight.js theme gap fixes for the Coal and Navy themes.

   mdBook's Tomorrow Night stylesheet (used by Coal and Navy) predates the
   languages this book adds to highlighting (OCaml, Prolog, Scheme, Lisp,
   Haskell, ...). Several highlight classes those grammars emit are styled there
   only with a language prefix — e.g. `.ruby .hljs-symbol` — or not at all, so a
   bare occurrence falls back to the default text colour and looks unhighlighted.
   The Light/Rust and Ayu themes already colour all of these, so the fixes below
   are scoped to Coal/Navy and use the Tomorrow Night palette:

     .hljs-symbol   logic variables (Prolog/Datalog X, Y), Lisp/Scheme symbols
     .hljs-type     OCaml/Haskell type names
     .hljs-meta     Haskell pragmas / annotations

   (`.hljs-class`, emitted by Haskell class/instance declarations, is unstyled on
   every mdBook theme, not just these two; left alone unless such examples appear.) */

html.coal .hljs-symbol,
html.navy .hljs-symbol {
  color: #b5bd68; /* Tomorrow Night green — matches its own .ruby .hljs-symbol */
}

html.coal .hljs-type,
html.navy .hljs-type {
  color: #f0c674; /* Tomorrow Night yellow */
}

html.coal .hljs-meta,
html.navy .hljs-meta {
  color: #de935f; /* Tomorrow Night orange */
}