From 8a1fadf2fa0d9d2ddab5d6765a8be359259fba4c Mon Sep 17 00:00:00 2001
From: Stefan Huber <shuber@sthu.org>
Date: Thu, 4 Jun 2020 11:32:50 +0200
Subject: [PATCH] ipe: Add thickness style file

---
 styles/10pt.isy        |  0
 styles/thicknesses.isy | 11 +++++++++++
 styles/tiling.isy      |  0
 3 files changed, 11 insertions(+)
 mode change 100755 => 100644 styles/10pt.isy
 create mode 100644 styles/thicknesses.isy
 mode change 100755 => 100644 styles/tiling.isy

diff --git a/styles/10pt.isy b/styles/10pt.isy
old mode 100755
new mode 100644
diff --git a/styles/thicknesses.isy b/styles/thicknesses.isy
new file mode 100644
index 0000000..008285e
--- /dev/null
+++ b/styles/thicknesses.isy
@@ -0,0 +1,11 @@
+<?xml version="1.0"?>
+<!DOCTYPE ipestyle SYSTEM "ipe.dtd">
+<ipestyle name="thicknesses">
+	<pen name="thick-3" value="3"/>
+	<pen name="thick-5" value="5"/>
+	<pen name="thick-7" value="7"/>
+	<pen name="thick-7" value="7"/>
+	<pen name="thick-9" value="9"/>
+	<pen name="thick-11" value="11"/>
+</ipestyle>
+
diff --git a/styles/tiling.isy b/styles/tiling.isy
old mode 100755
new mode 100644
-- 
2.30.2