From a985964182dbe5ea2e2ecda240fc862f13008820 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Mon, 8 Jun 2020 00:49:49 +0100 Subject: [PATCH] doc/sod.sty: Adjust the default dash pattern. This is very finely adjusted to make a subsequent diagram come up right. --- doc/sod.sty | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/sod.sty b/doc/sod.sty index 9da7def..c35e110 100644 --- 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. -- 2.11.0