CookBook/document/root.tex
changeset 39 631d12c25bde
parent 38 e21b2f888fa2
child 41 b11653b11bd3
equal deleted inserted replaced
38:e21b2f888fa2 39:631d12c25bde
    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