diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-10 16:19:58 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-10 16:19:58 +0100 |
| commit | 9f0eac08a73b9e76b515bd812d39c5564745a697 (patch) | |
| tree | 2724ed9ce9112386e8b9b800b0f324ddf0bb3f27 | |
| parent | 6f2d941f99eb4e5957724d6d8b2121618c095178 (diff) | |
| download | oopsla21_fvhls-9f0eac08a73b9e76b515bd812d39c5564745a697.tar.gz oopsla21_fvhls-9f0eac08a73b9e76b515bd812d39c5564745a697.zip | |
Change colours of main diagram
| -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} |