diff doc/design/graphdrawing.tex @ 2604:c9b17ac5c06b

Doc fixes.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Thu, 05 May 2011 17:03:43 +0200
parents e4395464810e
children 15774da89658
line wrap: on
line diff
--- a/doc/design/graphdrawing.tex	Thu May 05 16:23:17 2011 +0200
+++ b/doc/design/graphdrawing.tex	Thu May 05 17:03:43 2011 +0200
@@ -21,7 +21,7 @@
   } 
 }
 
-\NewEnviron{digraphenv}[2]{\digraph[#1]{#2}{ nodesep="0.1"; ranksep="0.2"; \BODY }}
+\NewEnviron{digraphenv}[2]{\digraph[#1]{#2}{ nodesep="0.1"; ranksep="0.18 equally"; \BODY }}
 
 \newcommand{\control}[2]{#1:successors:s -> #2:predecessors:n [color=red];}
 \newcommand{\controllabel}[2]{#1:s -> #2:predecessors:n [color=red];}