19 |
19 |
20 \usepackage{pdfsetup} |
20 \usepackage{pdfsetup} |
21 |
21 |
22 \urlstyle{rm} |
22 \urlstyle{rm} |
23 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
23 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
24 \renewcommand{\isastyle}{\isastyleminor}% use same formatting for txt and text |
24 \renewcommand{\isastyleminor}{\tt\slshape}% |
25 \isadroptag{theory} |
25 \renewcommand{\isastyle}{\small\tt\slshape}% |
|
26 %%\isadroptag{theory} |
26 |
27 |
27 % sane default for proof documents |
28 % sane default for proof documents |
28 \parindent 0pt\parskip 0.6ex |
29 \parindent 0pt\parskip 0.6ex |
29 |
30 |
30 % for comments on the margin |
31 % for comments on the margin |
31 \newcommand{\readmoremarginpar}[1]% |
32 \newcommand{\readmoremarginpar}[1]% |
32 {\marginpar[\raggedleft\small{#1}]{\raggedright\small{#1}}} |
33 {\marginpar[\raggedleft\small{#1}]{\raggedright\small{#1}}} |
33 |
34 |
34 \newenvironment{readmore}% |
35 \newenvironment{readmore}% |
35 {\hspace{-3pt}\readmoremarginpar{\fbox{\textbf{Read More}}}\it}{} |
36 {\hspace{-3pt}\readmoremarginpar{\fbox{\textbf{Read More}}}\it}{} |
|
37 |
|
38 % to work around a problem with \isanewline |
|
39 \renewcommand{\isanewline}{\parindent0pt\parskip0pt\mbox{}\par\mbox{}} |
|
40 |
|
41 \renewenvironment{isabelle} |
|
42 {\begin{trivlist}\begin{isabellebody}\small\item\relax} |
|
43 {\end{isabellebody}\end{trivlist}} |
36 |
44 |
37 % for exercises and comments |
45 % for exercises and comments |
38 \newtheorem{exercise}{Exercise}[section] |
46 \newtheorem{exercise}{Exercise}[section] |
39 \newcommand{\solution}[1]{{\bf Solution for Exercise~\ref{#1}.}} |
47 \newcommand{\solution}[1]{{\bf Solution for Exercise~\ref{#1}.}} |
40 |
48 |