ipelets/decorator/decorator.isy

   1 <?xml version="1.0"?>
   2 <!DOCTYPE ipestyle SYSTEM "ipe.dtd">
   3 <ipestyle name="decorator">
   4   <symbol name="deco/box-margin-8">
   5     <group>
   6       <path stroke="black" fill="white">
   7         -16 16 m
   8         -16 -16 l
   9         16 -16 l
  10         16 16 l
  11         h
  12       </path>
  13       <path stroke="black">
  14         -8 8 m
  15         -8 -8 l
  16         8 -8 l
  17         8 8 l
  18         h
  19       </path>
  20     </group>
  21   </symbol>
  22 </ipestyle>