equal
deleted
inserted
replaced
58 |
58 |
59 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
59 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
60 % this is to draw a gray box around code |
60 % this is to draw a gray box around code |
61 \makeatletter\newenvironment{graybox}{% |
61 \makeatletter\newenvironment{graybox}{% |
62 \begin{lrbox}{\@tempboxa}\begin{minipage}{0.985\textwidth}}{\end{minipage}\end{lrbox}% |
62 \begin{lrbox}{\@tempboxa}\begin{minipage}{0.985\textwidth}}{\end{minipage}\end{lrbox}% |
63 \colorbox{gray!10}{\usebox{\@tempboxa}} |
63 \colorbox{gray!20}{\usebox{\@tempboxa}} |
64 }\makeatother |
64 }\makeatother |
65 |
65 |
66 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
66 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
67 % this hack is for getting rid of the ML {* ... *} |
67 % this hack is for getting rid of the ML {* ... *} |
68 % scaffolding around function definitions |
68 % scaffolding around function definitions |