--- /dev/null
+<?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>
+