diff --git a/src/config.tex b/src/config.tex index 3c3c441e8bc939107e20d11846f6178703bc6831..0294211503baebcab63e3c2c077a8df1d1f7f577 100644 --- a/src/config.tex +++ b/src/config.tex @@ -31,7 +31,7 @@ keywordstyle=\color{red}, stringstyle=\color{blue}, showstringspaces=false, - basicstyle=\footnotesize, + basicstyle=\ttfamily, tabsize=4, literate={Ö}{{\"O}}1{Ä}{{\"A}}1{Ü}{{\"U}}1{ß}{{\ss}}1{ü}{{\"u}}1{ä}{{\"a}}1{ö}{{\"o}}1, escapeinside={(*@}{@*)},