diff options
Diffstat (limited to 'paper/paper.tex')
| -rw-r--r-- | paper/paper.tex | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/paper/paper.tex b/paper/paper.tex index 724dfc7..4748091 100644 --- a/paper/paper.tex +++ b/paper/paper.tex @@ -17,18 +17,7 @@ \def\`#1'{\lit{#1}} \usepackage{clean} -\usepackage[dvipsnames]{xcolor} -\lstdefinestyle{coloured}{ - keywordstyle=\bfseries\color{NavyBlue}, - stringstyle=\ttfamily\color{BrickRed} -} -\lstset{ - language=Clean, - breaklines, - tabsize=2, - xleftmargin=\parindent, - style=coloured -} +\lstset{language=Clean,breaklines,tabsize=2,xleftmargin=\parindent} \usepackage{while} |