入力したプログラムコードを色付けするスーパーpre記法 シンタックス・ハイライトの実装について

\documentclass[a4j,papersize]{jsarticle}
\usepackage[dvips,dvipdfm]{graphicx,color}
\usepackage[T1]{fontenc}
\usepackage{txfonts}
\renewcommand{\ttdefault}{pcr} % Courier
\usepackage{textcomp}
\usepackage{ascmac}

\addtolength{\topmargin}{-1truein}
\addtolength{\textheight}{1truein}
\addtolength{\textheight}{30truept}
\renewcommand{\arraystretch}{0.8}

\begin{document}
なんでmime{\TeX}には$\heartsuit$がないのだろうか?
\end{document}
Key Left        A       SM      CursorMove -10  +0
Key Right       A       SM      CursorMove +10  +0
Key Up          A       SM      CursorMove +0  -10
Key Down        A       SM      CursorMove +0  +10

Key Left        A       SC      CursorMove -1 +0
Key Right       A       SC      CursorMove +1 +0
Key Up          A       SC      CursorMove +0 -1
Key Down        A       SC      CursorMove +0 +1

Style * BorderWidth 2, HandleWidth 2
Style * NoTitle

*FvwmButtonsFont -alias-fixed-medium-r-normal-*-10-*-*-*-*-*-*-*
*FvwmButtonsGeometry +1-1
*FvwmButtonsRows 1
*FvwmButtonsFrame 1
*FvwmButtons (Size 64 64, Swallow wmtime 'Exec wmtime &')
*FvwmButtons (Swallow wmmon  'Exec wmmon &')
*FvwmButtons (Swallow asmon  'Exec asmon &')
#ifdef LM_SENSOR
*FvwmButtons (Swallow wmgtemp  'Exec wmgtemp -g line -M 40 &')
#endif
*FvwmButtons (Swallow wmweather  'Exec wmweather &')
*FvwmButtons (4x1 Swallow FvwmPager "Module FvwmPager 0 3")
*FvwmButtons (Swallow wmail 'Exec wmail -w -i 10 > ~/.wmail.err 2>&1 &')

いう感じの使ってるのかな?