107 % inner syntax colour |
107 % inner syntax colour |
108 \chardef\isachardoublequoteopen=`\"% |
108 \chardef\isachardoublequoteopen=`\"% |
109 \chardef\isachardoublequoteclose=`\"% |
109 \chardef\isachardoublequoteclose=`\"% |
110 \chardef\isacharbackquoteopen=`\`% |
110 \chardef\isacharbackquoteopen=`\`% |
111 \chardef\isacharbackquoteclose=`\`% |
111 \chardef\isacharbackquoteclose=`\`% |
|
112 |
|
113 \let\oldisachardoublequoteopen=\isachardoublequoteopen |
|
114 \let\oldisachardoublequoteclose=\isachardoublequoteclose |
|
115 \let\oldisacharbackquoteopen=\isacharbackquoteopen |
|
116 \let\oldisacharbackquoteclose=\isacharbackquoteclose |
|
117 \newenvironment{innerdouble}% |
|
118 {\oldisachardoublequoteopen \color{isacol:green}}% |
|
119 {\color{isacol:black} \oldisachardoublequoteclose} |
112 \newenvironment{innersingle}% |
120 \newenvironment{innersingle}% |
113 {\isacharbackquoteopen\color{isacol:green}}% |
121 {\oldisacharbackquoteopen\color{isacol:green}}% |
114 {\color{isacol:black}\isacharbackquoteclose} |
122 {\color{isacol:black}\oldisacharbackquoteclose} |
115 \newenvironment{innerdouble}% |
123 |
116 {\isachardoublequoteopen\color{isacol:green}}% |
124 \renewcommand{\isachardoublequoteopen}{\egroup\begin{innerdouble}\bgroup} |
117 {\color{isacol:black}\isachardoublequoteclose} |
125 \renewcommand{\isachardoublequoteclose}{\egroup\end{innerdouble}\bgroup} |
|
126 \renewcommand{\isacharbackquoteopen}{\egroup\begin{innersingle}\bgroup} |
|
127 \renewcommand{\isacharbackquoteclose}{\egroup\end{innersingle}\bgroup} |
118 |
128 |
119 %% misc |
129 %% misc |
120 \newcommand{\gb}[1]{\textcolor{isacol:green}{#1}} |
130 \newcommand{\gb}[1]{\textcolor{isacol:green}{#1}} |
121 \newcommand{\rb}[1]{\textcolor{red}{#1}} |
131 \newcommand{\rb}[1]{\textcolor{red}{#1}} |
122 |
132 |