10 \usepackage{rail} |
10 \usepackage{rail} |
11 \usepackage{url} |
11 \usepackage{url} |
12 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry} |
12 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry} |
13 \usepackage{lineno} |
13 \usepackage{lineno} |
14 \usepackage{boxedminipage} |
14 \usepackage{boxedminipage} |
|
15 \usepackage{xcolor} |
15 \usepackage{pdfsetup} |
16 \usepackage{pdfsetup} |
16 |
17 |
17 \urlstyle{rm} |
18 \urlstyle{rm} |
18 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
19 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
19 \renewcommand{\isastyleminor}{\tt\slshape}% |
20 \renewcommand{\isastyleminor}{\tt\slshape}% |
71 % this hack is for getting rid of the ML {* ... *} |
72 % this hack is for getting rid of the ML {* ... *} |
72 % scaffolding around function definitions |
73 % scaffolding around function definitions |
73 \newenvironment{vanishML}{% |
74 \newenvironment{vanishML}{% |
74 \renewcommand{\isacommand}[1]{}% |
75 \renewcommand{\isacommand}[1]{}% |
75 \renewcommand{\isacharverbatimopen}{}% |
76 \renewcommand{\isacharverbatimopen}{}% |
76 \renewcommand{\isacharverbatimclose}{}% |
77 \renewcommand{\isacharverbatimclose}{}}{} |
77 \hspace{-1.5mm}\mbox{}}{} |
|
78 |
78 |
|
79 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
80 \makeatletter\newenvironment{graybox}{% |
|
81 \begin{lrbox}{\@tempboxa}\begin{minipage}{\textwidth}}{\end{minipage}\end{lrbox}% |
|
82 \colorbox{gray!5}{\usebox{\@tempboxa}} |
|
83 }\makeatother |
|
84 |
|
85 |
|
86 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
79 \isakeeptag{CookBookML} |
87 \isakeeptag{CookBookML} |
80 \renewcommand{\isatagCookBookML}{\begin{vanishML}} |
88 \renewcommand{\isatagCookBookML}{\begin{vanishML}\begin{graybox}} |
81 \renewcommand{\endisatagCookBookML}{\end{vanishML}} |
89 \renewcommand{\endisatagCookBookML}{\end{graybox}\end{vanishML}\smallskip} |
82 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
83 |
90 |
84 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
85 % for line numbers |
92 % for line numbers |
86 \isakeeptag{linenumbers} |
93 \isakeeptag{linenumbers} |
87 \renewcommand{\isataglinenumbers}{\begin{vanishML}\begingroup\resetlinenumber\linenumbers} |
94 \renewcommand{\isataglinenumbers} |
88 \renewcommand{\endisataglinenumbers}{\endgroup\end{vanishML}} |
95 {\begin{vanishML}\begingroup\begin{graybox}\resetlinenumber\internallinenumbers} |
|
96 \renewcommand{\endisataglinenumbers}{\end{graybox}\endgroup\end{vanishML}\smallskip} |
89 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
97 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
90 |
98 |
91 \begin{document} |
99 \begin{document} |
92 |
100 |
93 \title{\mbox{}\\[-10ex] |
101 \title{\mbox{}\\[-10ex] |