styles/thicknesses.isy

   1 <?xml version="1.0"?>
   2 <!DOCTYPE ipestyle SYSTEM "ipe.dtd">
   3 <ipestyle name="thicknesses">
   4         <pen name="thick-3" value="3"/>
   5         <pen name="thick-5" value="5"/>
   6         <pen name="thick-7" value="7"/>
   7         <pen name="thick-7" value="7"/>
   8         <pen name="thick-9" value="9"/>
   9         <pen name="thick-11" value="11"/>
  10 </ipestyle>
  11