From e9fdda44701aaaa965009b03d3444593bfcd1dca Mon Sep 17 00:00:00 2001
From: Karma Riuk <riukkarma@gmail.com>
Date: Tue, 6 Jun 2023 10:40:25 +0200
Subject: [PATCH] Slightly changed tikzstyle

---
 tikzs/styles.tikzstyles | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tikzs/styles.tikzstyles b/tikzs/styles.tikzstyles
index 19b06ed..e33ddc6 100644
--- a/tikzs/styles.tikzstyles
+++ b/tikzs/styles.tikzstyles
@@ -11,4 +11,5 @@
 
 % Edge styles
 \tikzstyle{Axis}=[draw=black, ->]
-\tikzstyle{Dashed}=[-,dashed, style = dotted]
+\tikzstyle{Dotted}=[-, dashed, style=dotted]
+\tikzstyle{Thick}=[-, thick]