diff -r 32fd8125f56e -r 7f7098f0b5f0 slides/slides03.tex --- a/slides/slides03.tex Thu Oct 17 13:41:30 2019 +0100 +++ b/slides/slides03.tex Thu Oct 17 14:02:59 2019 +0100 @@ -784,7 +784,7 @@ \frametitle{Subset Construction} -\begin{textblock}{5}(1,1) +\begin{textblock}{5}(1,1.5) \begin{center} \begin{tikzpicture}[node distance=6mm,scale=0.7,>=stealth',very thick, every state/.style={minimum size=0pt,draw=blue!50,very thick,fill=blue!20},]