/* Custom styles for Logic for Systems book */

/* Ensure code blocks don't overflow */
.md-typeset pre > code {
  overflow-x: auto;
}

/* =============================================================
   FORGE SYNTAX HIGHLIGHTING COLORS

   Token classes generated by Pygments:

   .c, .c1, .cm    - Comments (single, multiline)
   .k             - Keyword (generic)
   .kd            - Keyword.Declaration (sig, pred, fun, assert)
   .kn            - Keyword.Namespace (module, open, #lang)
   .kc            - Keyword.Constant (none, univ, iden, True, False)
   .kt            - Keyword.Type (Int, String)
   .n             - Name (identifiers)
   .nf            - Name.Function (predicate/function names)
   .nc            - Name.Class (sig names)
   .na            - Name.Attribute (option names)
   .o             - Operator (symbols)
   .ow            - Operator.Word (and, or, implies, iff, in)
   .s             - String
   .mi            - Number.Integer
   .p             - Punctuation

   Custom Forge tokens:
   .k-Temporal    - Temporal operators (always, eventually, next_state, etc.)
   .k-Testing     - Testing keywords (example, test, sat, unsat, etc.)
   ============================================================= */

/* Comments - gray italic */
.highlight .c,
.highlight .c1,
.highlight .cm {
  color: #6b7280;
  font-style: italic;
}

/* Keywords - bold purple */
.highlight .k,
.highlight .kd,
.highlight .kn {
  color: #8b5cf6;
  font-weight: 600;
}

/* Constants (none, univ, iden) - teal */
.highlight .kc {
  color: #14b8a6;
}

/* Types (Int, String) - blue */
.highlight .kt {
  color: #3b82f6;
}

/* Function/predicate names - blue */
.highlight .nf {
  color: #3b82f6;
}

/* Sig names - bold blue */
.highlight .nc {
  color: #3b82f6;
  font-weight: 600;
}

/* Operators (and, or, implies) - purple */
.highlight .ow {
  color: #8b5cf6;
}

/* Strings - green */
.highlight .s {
  color: #10b981;
}

/* Numbers - orange */
.highlight .mi {
  color: #f59e0b;
}

/* Temporal operators - orange (custom token) */
.highlight .k-Temporal {
  color: #f59e0b;
  font-weight: 600;
}

/* Testing keywords - pink (custom token) */
.highlight .k-Testing {
  color: #ec4899;
  font-weight: 600;
}