\def\setcodefonts#1#2{
  \font\CMfont = cmr12 at #1  % comments (text)
  \font\KWfont = cmssbx10 at #1   % keywords
  \font\VRfont = cmss12 at #1   % variables
  \font\BGfont = cmss12 at #1   % other (code)
  \font\rawcm  = ecrm1000 at #2  % should match \CMfont
  \font\rawrm  = ecss1000 at #2  % should match \BGfont
  \font\rawbf  = ecsx1000 at #2
  \font\rawhv  = ecsx1000 at #2
}
\setcodefonts{12pt}{11pt}

\def\labelitemi{\textbullet}
\def\la{{\rawrm\char'074}}
\def\ra{{\rawrm\char'076}}
\def\codeleq{{\ensuremath\leq}}
\def\codeminus{{\ensuremath-}}
\def\codelb{{\rawrm\char'173}}
\def\coderb{{\rawrm\char'175}}
\def\textlt{{\rawcm\char'074}}
\def\textgt{{\rawcm\char'076}}
\def\cd#1{{\BGfont#1}}
\def\id#1{\texttt{#1}}
\def\to{\ensuremath\rightarrow}

\definecolor{green}{rgb}{0,.6,0}
\definecolor{blue}{rgb}{0,0,.6}
\definecolor{red}{rgb}{.6,0,0}

\def\Mop#1{{#1}}
\def\Mbegincode{\Mop{\rawhv.\la}\thinspace}
\def\Mendcode{\thinspace\Mop{\ra\rawhv.}}
\def\Msplice{\Mop{\rawhv.\char'176}}
\def\Mtilde{\char'176}
\def\Mbang{{\rawhv!}}
\def\Mrun{\Mop{\rawhv.!}}

\def\Msp#1{{#1}}
\def\Mquote#1{\Msp{\rawhv\char'074{\rawbf?}#1}\thinspace}
\def\Munquote{\thinspace\Msp{{\rawbf?}{\rawhv\char'076}}}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "paper"
%%% End: