\input{common}                                          % bespoke macros used in the document
\input{cfa-format}

% \CFADefaultStyle

\lstset{
morekeywords=[2]{nomutex,mutex,thread,wait,wait_release,signal,signal_block,accept,monitor,suspend,resume,coroutine},
keywordstyle=[2]\color{blue},				% second set of keywords for concurency
basicstyle=\linespread{0.9}\tt\small,		% reduce line spacing and use typewriter font
stringstyle=\sf\color{Mahogany},			% use sanserif font
commentstyle=\itshape\color{OliveGreen},		% green and italic comments
}%
