% ============================================================================== % preamble/code_styles.tex (Hexagon Math Lightweight Palette) % ============================================================================== \definecolor{CodeBg}{RGB}{248, 250, 252} \definecolor{CodeBorder}{RGB}{220, 226, 235} \definecolor{LeanKeyword}{RGB}{0, 77, 153} \definecolor{LeanTactic}{RGB}{138, 43, 226} \definecolor{LeanComment}{RGB}{90, 110, 130} \definecolor{LeanString}{RGB}{180, 50, 50} \definecolor{LeanType}{RGB}{30, 120, 110} \definecolor{PythonKeyword}{RGB}{20, 80, 160} \definecolor{PythonComment}{RGB}{100, 115, 130} \definecolor{PythonString}{RGB}{160, 40, 40}