tools.cobbled-paths/static/db/jave/stroke/bigfig.svg

<svg xmlns="http://www.w3.org/2000/svg" width="47.52" height="42.24" class="svgbob">
  <style>.filled{
	fill: none !important;
}

text{
    font-family: monospace !important;
    font-weight: bold !important;
    fill: red !important;
    visibility: visible;
}
marker > *{
    stroke: darkorange !important;
    visibility: visible;
}
body.check-text text,
body.check-text marker > *{
    visibility: hidden;
}.svgbob line, .svgbob path, .svgbob circle, .svgbob rect, .svgbob polygon {
  stroke: black;
  stroke-width: 2;
  stroke-opacity: 1;
  fill-opacity: 1;
  stroke-linecap: round;
  stroke-linejoin: miter;
}

.svgbob text {
  white-space: pre;
  fill: black;
  font-family: Iosevka Fixed, monospace;
  font-size: 14px;
}

.svgbob rect.backdrop {
  stroke: none;
  fill: white;
}

.svgbob .broken {
  stroke-dasharray: 8;
}

.svgbob .filled {
  fill: black;
}

.svgbob .bg_filled {
  fill: white;
  stroke-width: 1;
}

.svgbob .nofill {
  fill: white;
}

.svgbob .end_marked_arrow {
  marker-end: url(#arrow);
}

.svgbob .start_marked_arrow {
  marker-start: url(#arrow);
}

.svgbob .end_marked_diamond {
  marker-end: url(#diamond);
}

.svgbob .start_marked_diamond {
  marker-start: url(#diamond);
}

.svgbob .end_marked_circle {
  marker-end: url(#circle);
}

.svgbob .start_marked_circle {
  marker-start: url(#circle);
}

.svgbob .end_marked_open_circle {
  marker-end: url(#open_circle);
}

.svgbob .start_marked_open_circle {
  marker-start: url(#open_circle);
}

.svgbob .end_marked_big_open_circle {
  marker-end: url(#big_open_circle);
}

.svgbob .start_marked_big_open_circle {
  marker-start: url(#big_open_circle);
}

</style>
  <defs>
    <marker id="arrow" viewBox="-2 -2 8 8" refX="4" refY="2" markerWidth="7" markerHeight="7" orient="auto-start-reverse">
      <polygon points="0,0 0,4 4,2 0,0"></polygon>
    </marker>
    <marker id="diamond" viewBox="-2 -2 8 8" refX="4" refY="2" markerWidth="7" markerHeight="7" orient="auto-start-reverse">
      <polygon points="0,2 2,0 4,2 2,4 0,2"></polygon>
    </marker>
    <marker id="circle" viewBox="0 0 8 8" refX="4" refY="4" markerWidth="7" markerHeight="7" orient="auto-start-reverse">
      <circle cx="4" cy="4" r="2" class="filled"></circle>
    </marker>
    <marker id="open_circle" viewBox="0 0 8 8" refX="4" refY="4" markerWidth="7" markerHeight="7" orient="auto-start-reverse">
      <circle cx="4" cy="4" r="2" class="bg_filled"></circle>
    </marker>
    <marker id="big_open_circle" viewBox="0 0 8 8" refX="4" refY="4" markerWidth="7" markerHeight="7" orient="auto-start-reverse">
      <circle cx="4" cy="4" r="3" class="bg_filled"></circle>
    </marker>
  </defs>
  <rect class="backdrop" x="0" y="0" width="47.52" height="42.24"></rect>
  <rect x="2.64" y="10.56" width="10.56" height="21.119999" class="solid nofill" rx="0"></rect>
  <g>
    <line x1="18.480001" y1="10.56" x2="18.480001" y2="31.68" class="solid"></line>
    <line x1="18.480001" y1="21.12" x2="26.400002" y2="21.12" class="solid"></line>
    <line x1="18.480001" y1="31.68" x2="26.400002" y2="31.68" class="solid"></line>
    <path d="M 26.400002,21.12 A 10.56,10.56 0,0,1 26.400002,31.68" class="nofill"></path>
  </g>
  <g>
    <line x1="36.960003" y1="21.12" x2="42.24" y2="21.12" class="solid"></line>
    <path d="M 36.960003,21.12 A 10.56,10.56 0,0,0 36.960003,31.68" class="nofill"></path>
    <line x1="36.960003" y1="31.68" x2="42.24" y2="31.68" class="solid"></line>
  </g>
</svg>