3 \lstdefinelanguage{SPLCode}{%
4 alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_1234567890},
5 morekeywords={print,isEmpty,if,else,while,read},
8 morecomment=[n]{/*}{*/},
12 identifierstyle=\small\ttfamily,
13 commentstyle=\itshape,
14 keywordstyle=\bfseries,
15 stringstyle=\ttfamily,
16 showstringspaces=false,
25 \newcommand{\SPLInline}[1]{\lstinline[language=SPLCode]¦#1¦}
26 \newcommand{\SI}[1]{\SPLInline{#1}}
28 \lstdefinestyle{numbers}{numbers=left, stepnumber=1, numberstyle=\tiny, numbersep=5pt}
30 \lstnewenvironment{SPLCode}{\lstset{language=SPLCode}}{}