diff options
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -95,8 +95,8 @@ \newcommand\NRreplace[2]{{\st{#1} \NR{#2}}} \newcommand\JWreplace[2]{{\st{#1} \JW{#2}}} -\definecolor{compcert}{HTML}{66c2a5} -\definecolor{formalhls}{HTML}{fc8d62} +\definecolor{compcert}{HTML}{bebada} +\definecolor{formalhls}{HTML}{8dd3c7} \definecolor{keywordcolour}{HTML}{8f0075} \definecolor{functioncolour}{HTML}{721045} \definecolor{constantcolour}{HTML}{0000bb} |