book_filename: "Notes"
output_dir: "docs"
new_theorems:
  Thought: Tho
  Definitions: Def
  Example: ---
  Proof: ---
  Examples: ---
number_by:
  prp: thm
  Def: def
style_with:
  plain: ["Definitions", "definition"]
  definition: []
  remark: ["Proof"]
  colouroff: ["Examples"]
  italicsoff: FALSE
classify_as:
  TheoremStyle: []
  DefinitionStyle: []
  ExampleStyle: ["Thought"]
  ProofStyle: []