diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-30 11:23:46 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-30 11:23:46 +0100 |
| commit | 0cef8950a05b85547ce491b34c12b5e285449e28 (patch) | |
| tree | 86f546d779c8129dcc3444cecaf10f3030cfd840 /main.tex | |
| parent | 1936da65bc9bbfe847c1ff2b7abadff5bdc14f8f (diff) | |
| parent | bed99c1cc05568adf748e633153f4f072e79f52b (diff) | |
| download | oopsla21_fvhls-0cef8950a05b85547ce491b34c12b5e285449e28.tar.gz oopsla21_fvhls-0cef8950a05b85547ce491b34c12b5e285449e28.zip | |
Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -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} |