ipe: Add thickness style file

diff --git a/styles/10pt.isy b/styles/10pt.isy
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/styles/thicknesses.isy b/styles/thicknesses.isy
new file mode 100644 (file)
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 (executable)
new mode 100644 (file)