1 files changed, 2 insertions, 2 deletions
diff --git a/main.tex b/main.tex
index 3bb0c86..3bc52d3 100644
--- a/main.tex
+++ b/main.tex
@@ -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}