Automated merge with https://tqft.net/hg/blob/
authorScott Morrison <scott@tqft.net>
Thu, 11 Aug 2011 12:50:50 -0700
changeset 881 c3cc526965a9
parent 879 cf26fcc97d85 (current diff)
parent 880 402dda2e0627 (diff)
child 882 ae5d0f91340b
Automated merge with https://tqft.net/hg/blob/
text/ncat.tex
--- a/text/ncat.tex	Thu Aug 11 13:50:06 2011 -0600
+++ b/text/ncat.tex	Thu Aug 11 12:50:50 2011 -0700
@@ -1685,7 +1685,7 @@
 \end{lem}
 Again, this is in exact analogy with Lemma \ref{lem:domain-and-range}, and illustrated in Figure \ref{fig:module-boundary}.
 \begin{figure}[t]
-\tikzset{marked/.style={line width=5pt}}
+\tikzset{marked/.style={line width=3pt}}
 
 \begin{equation*}
 \begin{tikzpicture}[baseline=0]