mirror of
https://gitlab.constantvzw.org/osp/tools.cobbled-paths.git
synced 2024-12-23 13:01:25 +01:00
118 lines
3.4 KiB
XML
118 lines
3.4 KiB
XML
<svg xmlns="http://www.w3.org/2000/svg" width="63.36" height="73.920006" class="svgbob">
|
|
<style>.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="63.36" height="73.920006"></rect>
|
|
<line x1="18.480001" y1="10.56" x2="2.64" y2="26.400002" class="broken"></line>
|
|
<text x="17.16" y="18.480001" >'</text>
|
|
<line x1="26.400002" y1="14.52" x2="31.68" y2="14.52" class="solid"></line>
|
|
<line x1="26.400002" y1="17.16" x2="31.68" y2="17.16" class="solid"></line>
|
|
<text x="38.280003" y="18.480001" >`</text>
|
|
<line x1="39.600002" y1="10.56" x2="55.440002" y2="26.400002" class="broken"></line>
|
|
<line x1="26.400002" y1="35.640003" x2="31.68" y2="35.640003" class="solid"></line>
|
|
<line x1="26.400002" y1="38.280003" x2="31.68" y2="38.280003" class="solid"></line>
|
|
<g>
|
|
<line x1="23.76" y1="10.56" x2="23.76" y2="63.36" class="solid"></line>
|
|
<line x1="2.64" y1="29.04" x2="2.64" y2="63.36" class="solid"></line>
|
|
<line x1="2.64" y1="63.36" x2="23.76" y2="63.36" class="solid"></line>
|
|
</g>
|
|
<g>
|
|
<line x1="34.32" y1="10.56" x2="34.32" y2="63.36" class="solid"></line>
|
|
<line x1="55.440002" y1="29.04" x2="55.440002" y2="63.36" class="solid"></line>
|
|
<line x1="34.32" y1="63.36" x2="55.440002" y2="63.36" class="solid"></line>
|
|
</g>
|
|
</svg>
|