From b1cdf6ff7ec882107d712f87864a12d506f266fd Mon Sep 17 00:00:00 2001
From: Arjan Molenaar <gaphor@gmail.com>
Date: Fri, 10 Jul 2020 10:04:32 +0200
Subject: [PATCH] Extend default (example) stylesheet

---
 gaphor/ui/elementeditor.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/gaphor/ui/elementeditor.py b/gaphor/ui/elementeditor.py
index 5d5bb64ec..0fd4a8eb4 100644
--- a/gaphor/ui/elementeditor.py
+++ b/gaphor/ui/elementeditor.py
@@ -34,6 +34,11 @@ def new_builder(*object_ids):
 
 DEFAULT_STYLE_SHEET = textwrap.dedent(
     """\
+    diagram {
+     background-color: white;
+     line-style: normal;
+     /* line-style: sloppy 0.3; */
+    }
     diagram * {
      background-color: beige;
     }
@@ -67,7 +72,8 @@ DEFAULT_STYLE_SHEET = textwrap.dedent(
      * highlight-color: Color
 
      Color can be a CSS3 color name,
-     a rgb(r, g, b), rgba(r, g, b, a)
+     a rgb(r, g, b), rgba(r, g, b, a),
+     hsl(h, s%, l%), hsla(h, s%, l%, a),
      or hex code (#ff00ff).
 
      Have fun!