82 \renewcommand{\isatagTutorialML}{\begin{vanishML}\begin{graybox}} |
82 \renewcommand{\isatagTutorialML}{\begin{vanishML}\begin{graybox}} |
83 \renewcommand{\endisatagTutorialML}{\end{graybox}\end{vanishML}} |
83 \renewcommand{\endisatagTutorialML}{\end{graybox}\end{vanishML}} |
84 |
84 |
85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86 % for code that has line numbers |
86 % for code that has line numbers |
87 \newenvironment{linenos}{\resetlinenumber\internallinenumbers}{\nolinenumbers} |
87 \newenvironment{linenos}{\resetlinenumber\internallinenumbers}{\par\nolinenumbers} |
88 |
88 |
89 \isakeeptag{linenos} |
89 \isakeeptag{linenos} |
90 \renewcommand{\isataglinenos}{\begin{linenos}} |
90 \renewcommand{\isataglinenos}{\begin{linenos}} |
91 \renewcommand{\endisataglinenos}{\par\end{linenos}} |
91 \renewcommand{\endisataglinenos}{\end{linenos}} |
92 |
92 |
93 % should only be used in ML code |
93 % should only be used in ML code |
94 \isakeeptag{linenosgray} |
94 \isakeeptag{linenosgray} |
95 \renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\begin{linenos}} |
95 \renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\begin{linenos}} |
96 \renewcommand{\endisataglinenosgray}{\par\end{linenos}\end{graybox}\end{vanishML}} |
96 \renewcommand{\endisataglinenosgray}{\end{linenos}\end{graybox}\end{vanishML}} |
97 |
97 |
98 \isakeeptag{small} |
98 \isakeeptag{small} |
99 \renewcommand{\isatagsmall}{\begingroup\small} |
99 \renewcommand{\isatagsmall}{\begingroup\small} |
100 \renewcommand{\endisatagsmall}{\endgroup} |
100 \renewcommand{\endisatagsmall}{\endgroup} |
101 |
101 |