doc/sod.sty: Adjust the default dash pattern.

This is very finely adjusted to make a subsequent diagram come up right.

diff --git a/doc/sod.sty b/doc/sod.sty
index 9da7defc7d750c9b8418e13f1147423cd5957731..c35e1109d6450a9e217161c4d6c8a3fdae33be40 100644 (file)
--- a/doc/sod.sty
+++ b/doc/sod.sty
@@ -73,7 +73,8 @@
 %% Diagram settings.
 \tikzset{
   every picture/.style={>=stealth, thick},
-  lit/.style={font=\sffamily}
+  lit/.style={font=\sffamily},
+  dashed/.style={dash pattern=on 2.19pt off 2.19pt}
 }
 
 %% Metavariables are italics without decoration.