doc/logo.svg

<?xml version="1.0"?>
<svg xmlns="http://www.w3.org/2000/svg" viewBox="-5 0 170 205">
  <defs>
    <mask id="cut-off-top">
      <rect id="bg" x="-5" y="0" width="100%" height="100%" fill="white"/>
      <circle cx="80" cy="0" r="9.7" fill="black"/>
    </mask>
  </defs>

  <polygon 
      points="80,0 160,50 80,100 0,50 80,0"
      fill="#aa7088"
      mask="url(#cut-off-top)"
      />
  <polygon 
      points="80,100 80,200 0,150 0,50"
      fill="#b8a0d8"
      />
  <polygon 
      points="160,50 80,100 80,200 160,150 160,50"
      fill="#eed8e8"
      />

  <polyline points="80,0 160,50 160,150 80,200 0,150 0,50 80,0"
            fill="none" stroke="black"
            stroke-width="5"
            mask="url(#cut-off-top)"
            />
  <path d="M 80 200 L 80 100 L 8 55
                    M 80 100 L 152 55
           M 32 70 l 0 40
           M 128 70 l 0 40
           "
        fill="none" stroke="black"
        stroke-width="5"
        stroke-linecap="round"
        />
</svg>