summaryrefslogtreecommitdiff
path: root/common
diff options
context:
space:
mode:
Diffstat (limited to 'common')
-rw-r--r--common/settings.tex8
1 files changed, 4 insertions, 4 deletions
diff --git a/common/settings.tex b/common/settings.tex
index 8c6ccc6..09605e5 100644
--- a/common/settings.tex
+++ b/common/settings.tex
@@ -295,28 +295,28 @@
}
\newenvironment{proof}[1]{%
- \begin{tcolorbox}[colframe=black]%
+ \begin{tcolorbox}[enhanced jigsaw, breakable, colframe=black]%
{\sffamily\bfseries Proof: #1}\par%
}{%
\end{tcolorbox}%
}
\newenvironment{derivation}[1]{%
- \begin{tcolorbox}[colframe=black]%
+ \begin{tcolorbox}[enhanced jigsaw, breakable, colframe=black]%
{\sffamily\bfseries Derivation: #1}\par%
}{%
\end{tcolorbox}%
}
\newenvironment{example}[1]{%
- \begin{tcolorbox}[colframe=black!60]%
+ \begin{tcolorbox}[enhanced jigsaw, breakable, colframe=black!60]%
{\sffamily\bfseries Example: #1}\par%
}{%
\end{tcolorbox}%
}
\newenvironment{excursus}[1]{%
- \begin{tcolorbox}[enhanced jigsaw, breakable,colframe=gray!40]%
+ \begin{tcolorbox}[enhanced jigsaw, breakable, colframe=gray!40]%
{\sffamily\bfseries Excursus: #1}\par%
}{%
\end{tcolorbox}%