resources/diagram/unit.svg

<?xml version="1.0" encoding="UTF-8"?>
<svg xmlns="http://www.w3.org/2000/svg" width="131" height="37">
   <defs>
      <style type="text/css">
    @namespace "http://www.w3.org/2000/svg";
    .line                 {fill: none; stroke: #332900; stroke-width: 1;}
    .bold-line            {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2;}
    .thin-line            {stroke: #1F1800; shape-rendering: crispEdges}
    .filled               {fill: #332900; stroke: none;}
    text.terminal         {font-family: Verdana, Sans-serif;
                            font-size: 12px;
                            fill: #141000;
                            font-weight: bold;
                          }
    text.nonterminal      {font-family: Verdana, Sans-serif;
                            font-size: 12px;
                            fill: #1A1400;
                            font-weight: normal;
                          }
    text.regexp           {font-family: Verdana, Sans-serif;
                            font-size: 12px;
                            fill: #1F1800;
                            font-weight: normal;
                          }
    rect, circle, polygon {fill: #332900; stroke: #332900;}
    rect.terminal         {fill: #FFDB4D; stroke: #332900; stroke-width: 1;}
    rect.nonterminal      {fill: #FFEC9E; stroke: #332900; stroke-width: 1;}
    rect.text             {fill: none; stroke: none;}
    polygon.regexp        {fill: #FFF4C7; stroke: #332900; stroke-width: 1;}
  </style>
   </defs>
   <polygon points="9 17 1 13 1 21"/>
   <polygon points="17 17 9 13 9 21"/>
   <rect x="31" y="3" width="26" height="32" rx="10"/>
   <rect x="29"
          y="1"
          width="26"
          height="32"
          class="terminal"
          rx="10"/>
   <text class="terminal" x="39" y="21">(</text>
   <rect x="77" y="3" width="26" height="32" rx="10"/>
   <rect x="75"
          y="1"
          width="26"
          height="32"
          class="terminal"
          rx="10"/>
   <text class="terminal" x="85" y="21">)</text>
   <path class="line"
          d="m17 17 h2 m0 0 h10 m26 0 h10 m0 0 h10 m26 0 h10 m3 0 h-3"/>
   <polygon points="121 17 129 13 129 21"/>
   <polygon points="121 17 113 13 113 21"/>
</svg>