1 files changed, 10 insertions, 1 deletions

diff --git a/main.tex b/main.tex
index 40151be..a0c8c73 100644
--- a/main.tex
+++ b/main.tex
@@ -59,6 +59,15 @@
 
 \definecolor{compcert}{HTML}{66c2a5}
 \definecolor{formalhls}{HTML}{fc8d62}
+\definecolor{keywordcolour}{HTML}{8f0075}
+\definecolor{functioncolour}{HTML}{721045}
+\definecolor{constantcolour}{HTML}{0000bb}
+
+\newcommand\yhkeywordsp[1]{\;\;\texttt{\textcolor{keywordcolour}{#1}}}
+\newcommand\yhkeyword[1]{\texttt{\textcolor{keywordcolour}{#1}}}
+\newcommand\yhfunctionsp[1]{\;\;\texttt{\textcolor{functioncolour}{#1}}}
+\newcommand\yhfunction[1]{\texttt{\textcolor{functioncolour}{#1}}}
+\newcommand\yhconstant[1]{\texttt{\textcolor{constantcolour}{#1}}}
 
 \begin{document}
 
@@ -182,8 +191,8 @@
 \maketitle
 
 \input{introduction}
-\input{verilog}
 \input{algorithm}
+\input{verilog}
 \input{proof}
 \input{evaluation}
 \input{related}