diff options
| author | Camil Staps | 2016-06-07 20:59:05 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-07 20:59:05 +0200 |
| commit | 6d10eae47eae0af8469dd9a84a7d1df2688cae31 (patch) | |
| tree | e9c7feb03bc72047fc1ee5e74d6ac7f3d4aed241 /paper/paper.tex | |
| parent | Makefile paper (diff) | |
Processing feedback
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} |