diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-11 11:06:41 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-11 11:06:41 +0000 |
commit | 59bbabf3ced20622ee884cd46a546e431ceeb2b8 (patch) | |
tree | 5e8fd46327cd4ff765b336a994248306c5a264df | |
parent | 53750e3bc1d8bcc24ecb1fe5763818b706716824 (diff) |
New files.
-rw-r--r-- | images/new-next-plus-scanned-path-junk.svg | 193 | ||||
-rw-r--r-- | images/new-pg-context.svg | 183 | ||||
-rw-r--r-- | images/new-pg-find.svg | 950 | ||||
-rw-r--r-- | images/new-pg-goto.svg | 218 | ||||
-rw-r--r-- | images/new-pg-help.svg | 214 | ||||
-rw-r--r-- | images/new-pg-interrupt.svg | 221 | ||||
-rw-r--r-- | images/new-pg-next.svg | 179 | ||||
-rw-r--r-- | images/new-pg-restart.svg | 240 | ||||
-rw-r--r-- | images/new-pg-retract.svg | 188 | ||||
-rw-r--r-- | images/new-pg-undo.svg | 180 | ||||
-rw-r--r-- | images/new-pg-use.svg | 186 |
11 files changed, 2952 insertions, 0 deletions
diff --git a/images/new-next-plus-scanned-path-junk.svg b/images/new-next-plus-scanned-path-junk.svg new file mode 100644 index 00000000..9f312fbf --- /dev/null +++ b/images/new-next-plus-scanned-path-junk.svg @@ -0,0 +1,193 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://web.resource.org/cc/" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="24" + height="24" + id="svg2" + sodipodi:version="0.32" + inkscape:version="0.45.1" + version="1.0" + sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" + sodipodi:docname="next-plus-scanned-path-junk.svg" + inkscape:output_extension="org.inkscape.output.svg.inkscape"> + <defs + id="defs4"> + <linearGradient + inkscape:collect="always" + id="linearGradient5376"> + <stop + style="stop-color:#084208;stop-opacity:1;" + offset="0" + id="stop5378" /> + <stop + style="stop-color:#084208;stop-opacity:0;" + offset="1" + id="stop5380" /> + </linearGradient> + <marker + inkscape:stockid="Arrow1Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Send" + style="overflow:visible;"> + <path + id="path3152" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" + transform="scale(0.2) rotate(180) translate(6,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Lstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Lstart" + style="overflow:visible"> + <path + id="path3137" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.8) translate(12.5,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Mstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Mstart" + style="overflow:visible"> + <path + id="path3143" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.4) translate(10,0)" /> + </marker> + <marker + inkscape:stockid="TriangleOutS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleOutS" + style="overflow:visible"> + <path + id="path3241" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleInS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleInS" + style="overflow:visible"> + <path + id="path3232" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(-0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleOutM" + orient="auto" + refY="0" + refX="0" + id="TriangleOutM" + style="overflow:visible"> + <path + id="path3238" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.4,0.4)" /> + </marker> + <marker + inkscape:stockid="TriangleOutL" + orient="auto" + refY="0" + refX="0" + id="TriangleOutL" + style="overflow:visible"> + <path + id="path3235" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.8,0.8)" /> + </marker> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient5376" + id="linearGradient5382" + x1="224.71429" + y1="115.6479" + x2="244.68138" + y2="115.6479" + gradientUnits="userSpaceOnUse" /> + </defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + gridtolerance="10000" + guidetolerance="10" + objecttolerance="10" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="16.458333" + inkscape:cx="12" + inkscape:cy="12" + inkscape:document-units="px" + inkscape:current-layer="layer1" + width="24px" + height="24px" + showgrid="true" + inkscape:window-width="822" + inkscape:window-height="581" + inkscape:window-x="12" + inkscape:window-y="0" /> + <metadata + id="metadata7"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-220.71429,-104.1479)"> + <path + style="fill:url(#linearGradient5382);fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;fill-opacity:1.0" + d="M 225.21429,107.6479 L 225.21429,123.6479 L 240.17125,115.6479 L 225.21429,107.6479 z " + id="path4343" + sodipodi:nodetypes="cccc" /> + <image + y="108.1479" + x="205.71429" + id="image5339" + height="16" + width="16" + sodipodi:absref="/home/da/icons/fwd.gif" + xlink:href="/home/da/icons/fwd.gif" + style="fill:#375d37;fill-opacity:0.20731447" /> + <path + style="fill:#000000" + d="M 246.21563,118.01071 C 246.21563,110.99568 246.21563,110.99568 251.19766,114.25336 C 257.22483,118.19445 257.22685,117.7738 251.16153,121.76839 C 246.21563,125.02573 246.21563,125.02573 246.21563,118.01071 z M 250.01563,120.81105 C 251.79101,119.03567 251.47624,116.55688 249.21563,114.51105 C 247.24284,112.7257 247.21563,112.76442 247.21563,117.35606 C 247.21563,122.1091 247.88797,122.93871 250.01563,120.81105 z " + id="path5342" /> + </g> +</svg> diff --git a/images/new-pg-context.svg b/images/new-pg-context.svg new file mode 100644 index 00000000..c60efd2a --- /dev/null +++ b/images/new-pg-context.svg @@ -0,0 +1,183 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://web.resource.org/cc/" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="24" + height="24" + id="svg2" + sodipodi:version="0.32" + inkscape:version="0.45.1" + version="1.0" + sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" + sodipodi:docname="pg-context.svg" + inkscape:output_extension="org.inkscape.output.svg.inkscape"> + <defs + id="defs4"> + <linearGradient + id="linearGradient5376"> + <stop + style="stop-color:#084208;stop-opacity:1;" + offset="0" + id="stop5378" /> + <stop + style="stop-color:#c8c8c8;stop-opacity:1;" + offset="1" + id="stop5380" /> + </linearGradient> + <marker + inkscape:stockid="Arrow1Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Send" + style="overflow:visible;"> + <path + id="path3152" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" + transform="scale(0.2) rotate(180) translate(6,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Lstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Lstart" + style="overflow:visible"> + <path + id="path3137" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.8) translate(12.5,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Mstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Mstart" + style="overflow:visible"> + <path + id="path3143" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.4) translate(10,0)" /> + </marker> + <marker + inkscape:stockid="TriangleOutS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleOutS" + style="overflow:visible"> + <path + id="path3241" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleInS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleInS" + style="overflow:visible"> + <path + id="path3232" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(-0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleOutM" + orient="auto" + refY="0" + refX="0" + id="TriangleOutM" + style="overflow:visible"> + <path + id="path3238" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.4,0.4)" /> + </marker> + <marker + inkscape:stockid="TriangleOutL" + orient="auto" + refY="0" + refX="0" + id="TriangleOutL" + style="overflow:visible"> + <path + id="path3235" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.8,0.8)" /> + </marker> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient5376" + id="linearGradient5382" + x1="224.71429" + y1="115.6479" + x2="233.07632" + y2="115.6479" + gradientUnits="userSpaceOnUse" /> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient5376" + id="linearGradient3279" + gradientUnits="userSpaceOnUse" + x1="224.71429" + y1="115.6479" + x2="233.07632" + y2="115.6479" + gradientTransform="matrix(-1,0,0,1,465.45389,8e-7)" /> + </defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + gridtolerance="10000" + guidetolerance="10" + objecttolerance="10" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="16.458333" + inkscape:cx="12" + inkscape:cy="12" + inkscape:document-units="px" + inkscape:current-layer="layer1" + width="24px" + height="24px" + showgrid="true" + inkscape:window-width="822" + inkscape:window-height="581" + inkscape:window-x="193" + inkscape:window-y="67" /> + <metadata + id="metadata7"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-220.71429,-104.1479)" /> +</svg> diff --git a/images/new-pg-find.svg b/images/new-pg-find.svg new file mode 100644 index 00000000..9805429f --- /dev/null +++ b/images/new-pg-find.svg @@ -0,0 +1,950 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://web.resource.org/cc/" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="24" + height="24" + id="svg2" + sodipodi:version="0.32" + inkscape:version="0.45.1" + version="1.0" + sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" + sodipodi:docname="pg-find.svg" + inkscape:output_extension="org.inkscape.output.svg.inkscape"> + <defs + id="defs4"><linearGradient + id="linearGradient5376"> + <stop + style="stop-color:#084208;stop-opacity:1;" + offset="0" + id="stop5378" /> + <stop + style="stop-color:#c8c8c8;stop-opacity:1;" + offset="1" + id="stop5380" /> +</linearGradient> +<marker + inkscape:stockid="Arrow1Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Send" + style="overflow:visible;"> + <path + id="path3152" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" + transform="scale(0.2) rotate(180) translate(6,0)" /> +</marker> +<marker + inkscape:stockid="Arrow1Lstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Lstart" + style="overflow:visible"> + <path + id="path3137" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.8) translate(12.5,0)" /> +</marker> +<marker + inkscape:stockid="Arrow1Mstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Mstart" + style="overflow:visible"> + <path + id="path3143" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.4) translate(10,0)" /> +</marker> +<marker + inkscape:stockid="TriangleOutS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleOutS" + style="overflow:visible"> + <path + id="path3241" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.2)" /> +</marker> +<marker + inkscape:stockid="TriangleInS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleInS" + style="overflow:visible"> + <path + id="path3232" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(-0.2)" /> +</marker> +<marker + inkscape:stockid="TriangleOutM" + orient="auto" + refY="0" + refX="0" + id="TriangleOutM" + style="overflow:visible"> + <path + id="path3238" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.4,0.4)" /> +</marker> +<marker + inkscape:stockid="TriangleOutL" + orient="auto" + refY="0" + refX="0" + id="TriangleOutL" + style="overflow:visible"> + <path + id="path3235" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.8,0.8)" /> +</marker> +<linearGradient + y2="135.627" + x2="189.6787" + y1="135.627" + x1="98.557602" + gradientUnits="userSpaceOnUse" + id="linearGradient2326" + xlink:href="#XMLID_3_" + inkscape:collect="always" /> +<linearGradient + y2="208.0907" + x2="223.1826" + y1="220.91991" + x1="211.957" + gradientTransform="matrix(0.9999,1.2e-2,-1.2e-2,0.9999,2.579,-2.6)" + gradientUnits="userSpaceOnUse" + id="linearGradient2324" + xlink:href="#XMLID_2_" + inkscape:collect="always" /> + + + + + + <linearGradient + y2="135.627" + x2="189.6787" + y1="135.627" + x1="98.557602" + gradientUnits="userSpaceOnUse" + id="XMLID_3_"> + <stop + id="stop184" + style="stop-color:#FFFFFF" + offset="0" /> + + + + <stop + id="stop185" + style="stop-color:#CBD5E8" + offset="1" /> + + + + </linearGradient> + + + + + + + + + <linearGradient + gradientTransform="matrix(0.9999,1.2e-2,-1.2e-2,0.9999,2.579,-2.6)" + y2="208.0907" + x2="223.1826" + y1="220.91991" + x1="211.957" + gradientUnits="userSpaceOnUse" + id="XMLID_2_"> + <stop + id="stop173" + style="stop-color:#ff5800;stop-opacity:1.0000000;" + offset="0.0000000" /> + + + + <stop + id="stop174" + style="stop-color:#ffcc31;stop-opacity:1.0000000;" + offset="1.0000000" /> + + + + </linearGradient> + + + + + + + + + + <linearGradient + y2="312.2099" + x2="312.32861" + y1="86.276398" + x1="86.394997" + gradientUnits="userSpaceOnUse" + id="XMLID_1_"> + <stop + id="stop161" + style="stop-color:#FFFFFF" + offset="0" /> + + + + <stop + id="stop162" + style="stop-color:#99CCFF" + offset="1" /> + + + + </linearGradient> + + + + + + + <linearGradient + y2="12.737786" + x2="148.01166" + y1="5.295383" + x1="154.70367" + gradientTransform="matrix(0.57735,0,0,1.732051,0,-5)" + gradientUnits="userSpaceOnUse" + id="linearGradient1280" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + +<linearGradient + y2="64.408142" + x2="61.494499" + y1="57.359093" + x1="68.409271" + gradientTransform="scale(1.732051,0.57735)" + gradientUnits="userSpaceOnUse" + id="linearGradient1279" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + +<linearGradient + y2="22.21875" + x2="101.95312" + y1="17.296875" + x1="106.875" + gradientUnits="userSpaceOnUse" + id="linearGradient1278" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + +<linearGradient + y2="66.19474" + x2="76.51638" + y1="197.54245" + x1="-59.549145" + gradientTransform="scale(0.960547,1.041074)" + gradientUnits="userSpaceOnUse" + id="linearGradient1277" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + +<linearGradient + y2="51.599213" + x2="74.86158" + y1="11.005426" + x1="118.16164" + gradientTransform="scale(0.962223,1.03926)" + gradientUnits="userSpaceOnUse" + id="linearGradient1276" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> +</defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + gridtolerance="10000" + guidetolerance="10" + objecttolerance="10" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="16.458333" + inkscape:cx="12" + inkscape:cy="11.277498" + inkscape:document-units="px" + inkscape:current-layer="layer1" + width="24px" + height="24px" + showgrid="true" + inkscape:window-width="822" + inkscape:window-height="581" + inkscape:window-x="37" + inkscape:window-y="0" /> + <metadata + id="metadata7"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:groupmode="layer" + id="layer2" + inkscape:label="Bottom" /> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-220.71429,-104.1479)"> + <text + xml:space="preserve" + style="font-size:7.48321962px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;fill:#004a00;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans" + x="185.89714" + y="153.90065" + id="text3501" + sodipodi:linespacing="125%" + transform="scale(1.265197,0.7903907)"><tspan + sodipodi:role="line" + id="tspan3503" + x="185.89714" + y="153.90065">ϕ</tspan></text> + <text + xml:space="preserve" + style="font-size:7.71500158px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;fill:#004a00;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans" + x="193.35237" + y="144.01877" + id="text3497" + sodipodi:linespacing="125%" + transform="scale(1.2319194,0.8117414)"><tspan + sodipodi:role="line" + id="tspan3499" + x="193.35237" + y="144.01877">ϕ</tspan></text> + <g + style="overflow:visible" + id="g3424" + transform="matrix(-0.1132813,0,0,0.1132813,249.71429,98.147892)"> + <g + transform="translate(2.016911,2.016928)" + id="g1124"><metadata + id="metadata1"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + + + + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + + + + </cc:Work> + + + + </rdf:RDF> + + + +</metadata> + + + + + <defs + id="defs181"> + <linearGradient + inkscape:collect="always" + xlink:href="#XMLID_1_" + id="linearGradient32" + gradientUnits="userSpaceOnUse" + x1="86.394997" + y1="86.276398" + x2="312.32861" + y2="312.2099" /> + + + + <linearGradient + inkscape:collect="always" + xlink:href="#XMLID_2_" + id="linearGradient33" + gradientUnits="userSpaceOnUse" + x1="121.918" + y1="185.75" + x2="249.582" + y2="185.75" /> + + + + <linearGradient + y2="12.737786" + x2="148.01166" + y1="5.295383" + x1="154.70367" + gradientTransform="matrix(0.57735,0,0,1.732051,0,-5)" + gradientUnits="userSpaceOnUse" + id="linearGradient135" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + y2="64.408142" + x2="61.494499" + y1="57.359093" + x1="68.409271" + gradientTransform="scale(1.732051,0.57735)" + gradientUnits="userSpaceOnUse" + id="linearGradient134" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + y2="22.21875" + x2="101.95312" + y1="17.296875" + x1="106.875" + gradientUnits="userSpaceOnUse" + id="linearGradient133" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + y2="66.19474" + x2="76.51638" + y1="197.54245" + x1="-59.549145" + gradientTransform="scale(0.960547,1.041074)" + gradientUnits="userSpaceOnUse" + id="linearGradient132" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + y2="51.599213" + x2="74.86158" + y1="11.005426" + x1="118.16164" + gradientTransform="scale(0.962223,1.03926)" + gradientUnits="userSpaceOnUse" + id="linearGradient131" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + y2="12.737786" + x2="148.01166" + y1="5.295383" + x1="154.70367" + gradientTransform="matrix(0.57735,0,0,1.732051,0,-5)" + gradientUnits="userSpaceOnUse" + id="linearGradient130" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + y2="64.408142" + x2="61.494499" + y1="57.359093" + x1="68.409271" + gradientTransform="scale(1.732051,0.57735)" + gradientUnits="userSpaceOnUse" + id="linearGradient129" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + y2="22.21875" + x2="101.95312" + y1="17.296875" + x1="106.875" + gradientUnits="userSpaceOnUse" + id="linearGradient128" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + y2="66.19474" + x2="76.51638" + y1="197.54245" + x1="-59.549145" + gradientTransform="scale(0.960547,1.041074)" + gradientUnits="userSpaceOnUse" + id="linearGradient127" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + y2="51.599213" + x2="74.86158" + y1="11.005426" + x1="118.16164" + gradientTransform="scale(0.962223,1.03926)" + gradientUnits="userSpaceOnUse" + id="linearGradient126" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + gradientUnits="userSpaceOnUse" + y2="64.408142" + x2="61.494499" + y1="57.359093" + x1="68.409271" + gradientTransform="scale(1.732051,0.57735)" + id="linearGradient447" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + gradientUnits="userSpaceOnUse" + y2="22.21875" + x2="101.95312" + y1="17.296875" + x1="106.875" + id="linearGradient443" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + y2="66.19474" + x2="76.51638" + y1="197.54245" + x1="-59.549145" + gradientTransform="scale(0.960547,1.041074)" + gradientUnits="userSpaceOnUse" + id="linearGradient439" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + gradientUnits="userSpaceOnUse" + y2="51.599213" + x2="74.86158" + y1="11.005426" + x1="118.16164" + gradientTransform="scale(0.962223,1.03926)" + id="linearGradient437" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + gradientUnits="userSpaceOnUse" + y2="12.737786" + x2="148.01166" + y1="5.295383" + x1="154.70367" + gradientTransform="matrix(0.57735,0,0,1.732051,0,-5)" + id="linearGradient432" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + y2="84.253471" + x2="77.756599" + y1="156.12636" + x1="31.319887" + gradientTransform="scale(0.952353,1.050031)" + gradientUnits="userSpaceOnUse" + id="linearGradient105" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + id="MaterialSoftShadow"> + <stop + id="stop2619" + offset="0.0000000" + style="stop-color:#000000;stop-opacity:0.21568628;" /> + + + + <stop + id="stop2621" + offset="0.50000000" + style="stop-color:#000000;stop-opacity:0.098;" /> + + + + <stop + id="stop2620" + offset="1" + style="stop-color:#000000;stop-opacity:0;" /> + + + + </linearGradient> + + + + <linearGradient + gradientUnits="userSpaceOnUse" + y2="51.599213" + x2="74.86158" + y1="11.005426" + x1="118.16164" + gradientTransform="scale(0.962223,1.03926)" + id="linearGradient93" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + id="linearGradient94"> + <stop + id="stop95" + offset="0.0000000" + style="stop-color:#000000;stop-opacity:0.21568628;" /> + + + + <stop + id="stop96" + offset="0.50000000" + style="stop-color:#000000;stop-opacity:0.098;" /> + + + + <stop + id="stop97" + offset="1" + style="stop-color:#000000;stop-opacity:0;" /> + + + + </linearGradient> + + + + <linearGradient + y2="66.19474" + x2="76.51638" + y1="197.54245" + x1="-59.549145" + gradientTransform="scale(0.960547,1.041074)" + gradientUnits="userSpaceOnUse" + id="linearGradient98" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + id="linearGradient99"> + <stop + id="stop100" + offset="0.0000000" + style="stop-color:#000000;stop-opacity:0.21568628;" /> + + + + <stop + id="stop101" + offset="0.50000000" + style="stop-color:#000000;stop-opacity:0.098;" /> + + + + <stop + id="stop102" + offset="1" + style="stop-color:#000000;stop-opacity:0;" /> + + + + </linearGradient> + + + + <linearGradient + gradientUnits="userSpaceOnUse" + y2="22.21875" + x2="101.95312" + y1="17.296875" + x1="106.875" + id="linearGradient103" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + id="linearGradient104"> + <stop + id="stop105" + offset="0.0000000" + style="stop-color:#000000;stop-opacity:0.21568628;" /> + + + + <stop + id="stop106" + offset="0.50000000" + style="stop-color:#000000;stop-opacity:0.098;" /> + + + + <stop + id="stop107" + offset="1" + style="stop-color:#000000;stop-opacity:0;" /> + + + + </linearGradient> + + + + <linearGradient + gradientUnits="userSpaceOnUse" + y2="64.408142" + x2="61.494499" + y1="57.359093" + x1="68.409271" + gradientTransform="scale(1.732051,0.57735)" + id="linearGradient108" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + id="linearGradient109"> + <stop + id="stop110" + offset="0.0000000" + style="stop-color:#000000;stop-opacity:0.21568628;" /> + + + + <stop + id="stop111" + offset="0.50000000" + style="stop-color:#000000;stop-opacity:0.098;" /> + + + + <stop + id="stop112" + offset="1" + style="stop-color:#000000;stop-opacity:0;" /> + + + + </linearGradient> + + + + <linearGradient + gradientUnits="userSpaceOnUse" + y2="12.737786" + x2="148.01166" + y1="5.295383" + x1="154.70367" + gradientTransform="matrix(0.57735,0,0,1.732051,0,-5)" + id="linearGradient113" + xlink:href="#MaterialSoftShadow" + inkscape:collect="always" /> + + + + <linearGradient + id="linearGradient114"> + <stop + id="stop115" + offset="0.0000000" + style="stop-color:#000000;stop-opacity:0.21568628;" /> + + + + <stop + id="stop116" + offset="0.50000000" + style="stop-color:#000000;stop-opacity:0.098;" /> + + + + <stop + id="stop117" + offset="1" + style="stop-color:#000000;stop-opacity:0;" /> + + + + </linearGradient> + + + + + + + + +</defs> + + + + + <sodipodi:namedview + id="namedview1252" + inkscape:zoom="5.9833333" + inkscape:cx="36.183844" + inkscape:cy="30.885792" + inkscape:window-width="640" + inkscape:window-height="538" + inkscape:window-x="632" + inkscape:window-y="208" + inkscape:current-layer="svg153" /> + + + + + + + + + + + + +</g> + <g + style="stroke:#000000" + id="Layer_2"> + <path + style="fill:none;stroke:none" + id="path155" + d="M 256,256 L 0,256 L 0,0 L 256,0 L 256,256 z " /> + + + + </g> + <path + style="opacity:0.2;stroke:none" + id="path169" + d="M 249.922,236.827 L 201.161,188.067 C 198.656,185.562 194.595,185.562 192.09,188.067 L 191.523,188.634 L 185.088,182.199 C 195.407,171.779 201.785,157.448 201.785,141.625 C 201.785,109.777 175.967,83.958 144.117,83.958 C 112.269,83.958 86.451,109.776 86.451,141.625 C 86.451,173.474 112.269,199.292 144.117,199.292 C 157.832,199.292 170.421,194.496 180.319,186.501 L 186.987,193.169 L 186.419,193.736 C 183.914,196.241 183.914,200.302 186.419,202.806 L 235.18,251.568 C 237.686,254.072 241.746,254.072 244.251,251.568 L 249.922,245.898 C 252.427,243.394 252.427,239.332 249.922,236.827 z " /> + <path + style="stroke:none" + id="path170" + d="M 147.865,148.048 L 195.491,195.674 L 200.027,191.14 L 152.401,143.514 L 147.865,148.048 z " /> + <path + style="fill:#000000;fill-opacity:1;stroke:none" + id="path171" + d="M 186.419,187.737 C 183.914,190.242 183.914,194.303 186.419,196.807 L 235.18,245.569 C 237.686,248.073 241.746,248.073 244.251,245.569 L 249.922,239.899 C 252.427,237.393 252.427,233.332 249.922,230.827 L 201.161,182.067 C 198.656,179.562 194.595,179.562 192.09,182.067 L 186.419,187.737 z " /> + <path + style="fill:url(#linearGradient2324);stroke:none" + id="path178" + d="M 199.248,184.105 C 198.013,182.84 195.977,182.816 194.713,184.051 L 188.975,189.654 C 187.71,190.888 187.686,192.924 188.92,194.188 L 237.093,243.529 C 238.328,244.796 240.364,244.82 241.628,243.584 L 247.365,237.983 C 248.632,236.748 248.656,234.712 247.42,233.448 L 199.248,184.105 z " /> + <path + style="fill:#333333;stroke:none" + id="path179" + d="M 86.451,135.626 C 86.451,167.475 112.269,193.293 144.117,193.293 C 175.967,193.293 201.785,167.475 201.785,135.626 C 201.785,103.778 175.967,77.959 144.117,77.959 C 112.27,77.959 86.451,103.778 86.451,135.626 z " /> + <path + style="fill:#cccccc;stroke:none" + id="path180" + d="M 90.54,135.626 C 90.54,165.169 114.576,189.204 144.118,189.204 C 173.662,189.204 197.697,165.169 197.697,135.626 C 197.697,106.083 173.662,82.048 144.118,82.048 C 114.575,82.048 90.54,106.083 90.54,135.626 z " /> + <path + style="fill:#ffffff;stroke:none" + id="path181" + d="M 92.143,136.428 C 92.143,106.886 116.179,82.85 145.722,82.85 C 153.897,82.85 161.647,84.698 168.586,87.986 C 161.244,84.201 152.931,82.049 144.117,82.049 C 114.575,82.049 90.539,106.084 90.539,135.627 C 90.539,156.996 103.116,175.475 121.254,184.069 C 103.986,175.164 92.143,157.158 92.143,136.428 z " /> + <path + style="fill:#003366;stroke:none" + id="path182" + d="M 95.351,135.626 C 95.351,162.518 117.228,184.393 144.118,184.393 C 171.009,184.393 192.886,162.518 192.886,135.626 C 192.886,108.736 171.009,86.859 144.118,86.859 C 117.228,86.859 95.351,108.736 95.351,135.626 z " /> + <path + style="fill:url(#linearGradient2326);stroke:none" + id="path189" + d="M 98.558,135.626 C 98.558,160.748 118.996,181.187 144.118,181.187 C 169.241,181.187 189.68,160.749 189.68,135.626 C 189.68,110.505 169.242,90.066 144.118,90.066 C 118.996,90.066 98.558,110.505 98.558,135.626 z " /> + <path + style="fill:#ffffff;stroke:none" + id="path190" + d="M 100.558,135.626 C 100.558,142.025 101.956,148.1 104.445,153.578 C 106.086,153.003 107.623,152.181 109,151 C 131.087,136.059 149.378,113.525 171.82,102.034 C 164.285,95.81 154.63,92.066 144.117,92.066 C 120.098,92.066 100.558,111.607 100.558,135.626 z " /> + </g> + <text + xml:space="preserve" + style="font-size:10.28180504px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;fill:#004a00;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans" + x="184.9283" + y="143.57057" + id="text3493" + sodipodi:linespacing="125%" + transform="scale(1.243806,0.8039839)"><tspan + sodipodi:role="line" + id="tspan3495" + x="184.9283" + y="143.57057">ϕ</tspan></text> + </g> +</svg> diff --git a/images/new-pg-goto.svg b/images/new-pg-goto.svg new file mode 100644 index 00000000..92f21a76 --- /dev/null +++ b/images/new-pg-goto.svg @@ -0,0 +1,218 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://web.resource.org/cc/" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="24" + height="24" + id="svg2" + sodipodi:version="0.32" + inkscape:version="0.45.1" + version="1.0" + sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" + sodipodi:docname="pg-goto.svg" + inkscape:output_extension="org.inkscape.output.svg.inkscape"> + <defs + id="defs4"> + <linearGradient + id="linearGradient5376"> + <stop + style="stop-color:#084208;stop-opacity:1;" + offset="0" + id="stop5378" /> + <stop + style="stop-color:#c8c8c8;stop-opacity:1;" + offset="1" + id="stop5380" /> + </linearGradient> + <marker + inkscape:stockid="Arrow1Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Send" + style="overflow:visible;"> + <path + id="path3152" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" + transform="scale(0.2) rotate(180) translate(6,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Lstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Lstart" + style="overflow:visible"> + <path + id="path3137" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.8) translate(12.5,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Mstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Mstart" + style="overflow:visible"> + <path + id="path3143" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.4) translate(10,0)" /> + </marker> + <marker + inkscape:stockid="TriangleOutS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleOutS" + style="overflow:visible"> + <path + id="path3241" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleInS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleInS" + style="overflow:visible"> + <path + id="path3232" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(-0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleOutM" + orient="auto" + refY="0" + refX="0" + id="TriangleOutM" + style="overflow:visible"> + <path + id="path3238" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.4,0.4)" /> + </marker> + <marker + inkscape:stockid="TriangleOutL" + orient="auto" + refY="0" + refX="0" + id="TriangleOutL" + style="overflow:visible"> + <path + id="path3235" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.8,0.8)" /> + </marker> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient5376" + id="linearGradient5382" + x1="224.71429" + y1="114.61499" + x2="232.73132" + y2="114.61499" + gradientUnits="userSpaceOnUse" + gradientTransform="translate(0,1.000001)" /> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient5376" + id="linearGradient3279" + gradientUnits="userSpaceOnUse" + x1="224.71429" + y1="115.6479" + x2="233.07632" + y2="115.6479" + gradientTransform="matrix(-1,0,0,1,465.39313,8e-7)" /> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient5376" + id="linearGradient3961" + gradientUnits="userSpaceOnUse" + gradientTransform="matrix(-1,0,0,1,465.42858,1.0329094)" + x1="224.71429" + y1="114.61499" + x2="232.73132" + y2="114.61499" /> + </defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + gridtolerance="10000" + guidetolerance="10" + objecttolerance="10" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="16.458333" + inkscape:cx="12" + inkscape:cy="12" + inkscape:document-units="px" + inkscape:current-layer="layer1" + width="24px" + height="24px" + showgrid="true" + inkscape:window-width="822" + inkscape:window-height="581" + inkscape:window-x="62" + inkscape:window-y="52" /> + <metadata + id="metadata7"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-220.71429,-104.1479)"> + <path + style="fill:url(#linearGradient5382);fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="M 225.21429,107.61499 L 225.21429,123.61499 L 232.65665,115.63279 L 225.21429,107.61499 z " + id="path4343" + sodipodi:nodetypes="cccc" /> + <path + style="fill:url(#linearGradient3961);fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="M 240.21429,107.6479 L 240.21429,123.6479 L 232.77193,115.6657 L 240.21429,107.6479 z " + id="path3959" + sodipodi:nodetypes="cccc" /> + <path + sodipodi:type="arc" + style="fill:#004f00;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:0;stroke-dasharray:none;stroke-opacity:1" + id="path3305" + sodipodi:cx="11.027848" + sodipodi:cy="10.010126" + sodipodi:rx="2.0962026" + sodipodi:ry="2.0962026" + d="M 13.124045,10.00502 A 2.0962026,2.0962026 0 1 1 13.123378,9.9570065" + transform="translate(222.09024,105.73398)" + sodipodi:start="6.2807495" + sodipodi:end="12.541027" + sodipodi:open="true" /> + </g> +</svg> diff --git a/images/new-pg-help.svg b/images/new-pg-help.svg new file mode 100644 index 00000000..aed4ab00 --- /dev/null +++ b/images/new-pg-help.svg @@ -0,0 +1,214 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://web.resource.org/cc/" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="24" + height="24" + id="svg2" + sodipodi:version="0.32" + inkscape:version="0.45.1" + version="1.0" + sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" + sodipodi:docname="pg-help.svg" + inkscape:output_extension="org.inkscape.output.svg.inkscape"> + <defs + id="defs4"> + <linearGradient + id="linearGradient7950"> + <stop + style="stop-color:#850f0f;stop-opacity:1;" + offset="0" + id="stop7952" /> + <stop + style="stop-color:#c8c8c8;stop-opacity:1;" + offset="1" + id="stop7954" /> + </linearGradient> + <marker + inkscape:stockid="Arrow2Mend" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow2Mend" + style="overflow:visible;"> + <path + id="path3202" + style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" + d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " + transform="scale(0.6) rotate(180) translate(0,0)" /> + </marker> + <marker + inkscape:stockid="Arrow2Sstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow2Sstart" + style="overflow:visible"> + <path + id="path3205" + style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round" + d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " + transform="scale(0.3) translate(-2.3,0)" /> + </marker> + <marker + inkscape:stockid="Arrow2Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow2Send" + style="overflow:visible;"> + <path + id="path3208" + style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" + d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " + transform="scale(0.3) rotate(180) translate(-2.3,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Send" + style="overflow:visible;"> + <path + id="path3152" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" + transform="scale(0.2) rotate(180) translate(6,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Lstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Lstart" + style="overflow:visible"> + <path + id="path3137" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.8) translate(12.5,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Mstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Mstart" + style="overflow:visible"> + <path + id="path3143" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.4) translate(10,0)" /> + </marker> + <marker + inkscape:stockid="TriangleOutS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleOutS" + style="overflow:visible"> + <path + id="path3241" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleInS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleInS" + style="overflow:visible"> + <path + id="path3232" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(-0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleOutM" + orient="auto" + refY="0" + refX="0" + id="TriangleOutM" + style="overflow:visible"> + <path + id="path3238" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.4,0.4)" /> + </marker> + <marker + inkscape:stockid="TriangleOutL" + orient="auto" + refY="0" + refX="0" + id="TriangleOutL" + style="overflow:visible"> + <path + id="path3235" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.8,0.8)" /> + </marker> + </defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + gridtolerance="10000" + guidetolerance="10" + objecttolerance="10" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="16.458333" + inkscape:cx="13.132561" + inkscape:cy="11.523411" + inkscape:document-units="px" + inkscape:current-layer="layer1" + width="24px" + height="24px" + showgrid="true" + inkscape:window-width="822" + inkscape:window-height="635" + inkscape:window-x="47" + inkscape:window-y="188" /> + <metadata + id="metadata7"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-220.71429,-104.1479)"> + <text + xml:space="preserve" + style="font-size:28px;font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#0b0059;fill-opacity:1;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Liberation Serif" + x="224.44672" + y="125.18697" + id="text3963" + sodipodi:linespacing="100%"><tspan + sodipodi:role="line" + id="tspan4031" + x="224.44672" + y="125.18697">?</tspan></text> + </g> +</svg> diff --git a/images/new-pg-interrupt.svg b/images/new-pg-interrupt.svg new file mode 100644 index 00000000..44053af8 --- /dev/null +++ b/images/new-pg-interrupt.svg @@ -0,0 +1,221 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://web.resource.org/cc/" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="24" + height="24" + id="svg2" + sodipodi:version="0.32" + inkscape:version="0.45.1" + version="1.0" + sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" + sodipodi:docname="pg-interrupt.svg" + inkscape:output_extension="org.inkscape.output.svg.inkscape"> + <defs + id="defs4"> + <linearGradient + id="linearGradient7950"> + <stop + style="stop-color:#850f0f;stop-opacity:1;" + offset="0" + id="stop7952" /> + <stop + style="stop-color:#c8c8c8;stop-opacity:1;" + offset="1" + id="stop7954" /> + </linearGradient> + <marker + inkscape:stockid="Arrow2Mend" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow2Mend" + style="overflow:visible;"> + <path + id="path3202" + style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" + d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " + transform="scale(0.6) rotate(180) translate(0,0)" /> + </marker> + <marker + inkscape:stockid="Arrow2Sstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow2Sstart" + style="overflow:visible"> + <path + id="path3205" + style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round" + d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " + transform="scale(0.3) translate(-2.3,0)" /> + </marker> + <marker + inkscape:stockid="Arrow2Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow2Send" + style="overflow:visible;"> + <path + id="path3208" + style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" + d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " + transform="scale(0.3) rotate(180) translate(-2.3,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Send" + style="overflow:visible;"> + <path + id="path3152" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" + transform="scale(0.2) rotate(180) translate(6,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Lstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Lstart" + style="overflow:visible"> + <path + id="path3137" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.8) translate(12.5,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Mstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Mstart" + style="overflow:visible"> + <path + id="path3143" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.4) translate(10,0)" /> + </marker> + <marker + inkscape:stockid="TriangleOutS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleOutS" + style="overflow:visible"> + <path + id="path3241" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleInS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleInS" + style="overflow:visible"> + <path + id="path3232" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(-0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleOutM" + orient="auto" + refY="0" + refX="0" + id="TriangleOutM" + style="overflow:visible"> + <path + id="path3238" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.4,0.4)" /> + </marker> + <marker + inkscape:stockid="TriangleOutL" + orient="auto" + refY="0" + refX="0" + id="TriangleOutL" + style="overflow:visible"> + <path + id="path3235" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.8,0.8)" /> + </marker> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient7950" + id="linearGradient7956" + x1="232.82144" + y1="118.45053" + x2="232.82144" + y2="105.26572" + gradientUnits="userSpaceOnUse" + gradientTransform="translate(-0.57142,-1.3521034)" /> + </defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + gridtolerance="10000" + guidetolerance="10" + objecttolerance="10" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="16.458333" + inkscape:cx="13.132561" + inkscape:cy="11.523411" + inkscape:document-units="px" + inkscape:current-layer="layer1" + width="24px" + height="24px" + showgrid="true" + inkscape:window-width="822" + inkscape:window-height="635" + inkscape:window-x="53" + inkscape:window-y="77" /> + <metadata + id="metadata7"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-220.71429,-104.1479)"> + <rect + style="fill:url(#linearGradient7956);fill-opacity:1;stroke:#000000;stroke-width:1;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4.80000019;stroke-dasharray:none;stroke-opacity:1" + id="rect7864" + width="13.428589" + height="12.647903" + x="226.21429" + y="110" /> + </g> +</svg> diff --git a/images/new-pg-next.svg b/images/new-pg-next.svg new file mode 100644 index 00000000..04d5f802 --- /dev/null +++ b/images/new-pg-next.svg @@ -0,0 +1,179 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://web.resource.org/cc/" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="24" + height="24" + id="svg2" + sodipodi:version="0.32" + inkscape:version="0.45.1" + version="1.0" + sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" + sodipodi:docname="pg-next.svg" + inkscape:output_extension="org.inkscape.output.svg.inkscape"> + <defs + id="defs4"> + <linearGradient + id="linearGradient5376"> + <stop + style="stop-color:#084208;stop-opacity:1;" + offset="0" + id="stop5378" /> + <stop + style="stop-color:#c8c8c8;stop-opacity:1;" + offset="1" + id="stop5380" /> + </linearGradient> + <marker + inkscape:stockid="Arrow1Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Send" + style="overflow:visible;"> + <path + id="path3152" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" + transform="scale(0.2) rotate(180) translate(6,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Lstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Lstart" + style="overflow:visible"> + <path + id="path3137" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.8) translate(12.5,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Mstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Mstart" + style="overflow:visible"> + <path + id="path3143" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.4) translate(10,0)" /> + </marker> + <marker + inkscape:stockid="TriangleOutS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleOutS" + style="overflow:visible"> + <path + id="path3241" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleInS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleInS" + style="overflow:visible"> + <path + id="path3232" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(-0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleOutM" + orient="auto" + refY="0" + refX="0" + id="TriangleOutM" + style="overflow:visible"> + <path + id="path3238" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.4,0.4)" /> + </marker> + <marker + inkscape:stockid="TriangleOutL" + orient="auto" + refY="0" + refX="0" + id="TriangleOutL" + style="overflow:visible"> + <path + id="path3235" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.8,0.8)" /> + </marker> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient5376" + id="linearGradient5382" + x1="224.71429" + y1="115.6479" + x2="244.68138" + y2="115.6479" + gradientUnits="userSpaceOnUse" /> + </defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + gridtolerance="10000" + guidetolerance="10" + objecttolerance="10" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="16.458333" + inkscape:cx="12" + inkscape:cy="12" + inkscape:document-units="px" + inkscape:current-layer="layer1" + width="24px" + height="24px" + showgrid="true" + inkscape:window-width="822" + inkscape:window-height="581" + inkscape:window-x="53" + inkscape:window-y="89" /> + <metadata + id="metadata7"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-220.71429,-104.1479)"> + <path + style="fill:url(#linearGradient5382);fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;fill-opacity:1.0" + d="M 225.21429,107.6479 L 225.21429,123.6479 L 240.17125,115.6479 L 225.21429,107.6479 z " + id="path4343" + sodipodi:nodetypes="cccc" /> + </g> +</svg> diff --git a/images/new-pg-restart.svg b/images/new-pg-restart.svg new file mode 100644 index 00000000..5bd0c195 --- /dev/null +++ b/images/new-pg-restart.svg @@ -0,0 +1,240 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://web.resource.org/cc/" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="24" + height="24" + id="svg2" + sodipodi:version="0.32" + inkscape:version="0.45.1" + version="1.0" + sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" + sodipodi:docname="pg-restart.svg" + inkscape:output_extension="org.inkscape.output.svg.inkscape"> + <defs + id="defs4"> + <linearGradient + id="linearGradient10266"> + <stop + id="stop10268" + offset="0" + style="stop-color:#850f0f;stop-opacity:1;" /> + <stop + id="stop10270" + offset="1" + style="stop-color:#dcdcdc;stop-opacity:1;" /> + </linearGradient> + <linearGradient + id="linearGradient7856"> + <stop + style="stop-color:#004700;stop-opacity:1;" + offset="0" + id="stop7858" /> + <stop + style="stop-color:#dcdcdc;stop-opacity:1;" + offset="1" + id="stop7860" /> + </linearGradient> + <marker + inkscape:stockid="Arrow2Mend" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow2Mend" + style="overflow:visible;"> + <path + id="path3202" + style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" + d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " + transform="scale(0.6) rotate(180) translate(0,0)" /> + </marker> + <marker + inkscape:stockid="Arrow2Sstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow2Sstart" + style="overflow:visible"> + <path + id="path3205" + style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round" + d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " + transform="scale(0.3) translate(-2.3,0)" /> + </marker> + <marker + inkscape:stockid="Arrow2Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow2Send" + style="overflow:visible;"> + <path + id="path3208" + style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" + d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " + transform="scale(0.3) rotate(180) translate(-2.3,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Send" + style="overflow:visible;"> + <path + id="path3152" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" + transform="scale(0.2) rotate(180) translate(6,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Lstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Lstart" + style="overflow:visible"> + <path + id="path3137" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.8) translate(12.5,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Mstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Mstart" + style="overflow:visible"> + <path + id="path3143" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.4) translate(10,0)" /> + </marker> + <marker + inkscape:stockid="TriangleOutS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleOutS" + style="overflow:visible"> + <path + id="path3241" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleInS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleInS" + style="overflow:visible"> + <path + id="path3232" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(-0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleOutM" + orient="auto" + refY="0" + refX="0" + id="TriangleOutM" + style="overflow:visible"> + <path + id="path3238" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.4,0.4)" /> + </marker> + <marker + inkscape:stockid="TriangleOutL" + orient="auto" + refY="0" + refX="0" + id="TriangleOutL" + style="overflow:visible"> + <path + id="path3235" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.8,0.8)" /> + </marker> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient7856" + id="linearGradient7862" + x1="7.2352862" + y1="-3.8060107" + x2="15.597629" + y2="27.606647" + gradientUnits="userSpaceOnUse" /> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient10266" + id="linearGradient10264" + gradientUnits="userSpaceOnUse" + x1="7.2352862" + y1="-3.8060107" + x2="15.597629" + y2="27.606647" + gradientTransform="translate(10.39494,10.02025)" /> + </defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + gridtolerance="10000" + guidetolerance="10" + objecttolerance="10" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="16.458333" + inkscape:cx="22.924146" + inkscape:cy="13.643434" + inkscape:document-units="px" + inkscape:current-layer="layer1" + width="24px" + height="24px" + showgrid="true" + inkscape:window-width="822" + inkscape:window-height="583" + inkscape:window-x="73" + inkscape:window-y="47" /> + <metadata + id="metadata7"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-220.71429,-104.1479)"> + <path + style="fill:url(#linearGradient10264);fill-opacity:1.0;stroke:#000000;stroke-width:0.6;stroke-linecap:square;stroke-linejoin:round;stroke-miterlimit:4.80000019;stroke-opacity:1;stroke-dasharray:none" + d="M 11.625,1.84375 C 6.0885896,2.11081 1.76419,6.86984 2.03125,12.40625 C 2.3108801,18.20332 8.12002,21.89408 13.5625,20.9375 L 15.53125,20.5625 L 14.84375,16.625 L 12.875,16.96875 C 9.6494396,17.53568 6.18146,15.33276 6.03125,12.21875 C 5.8684701,8.8440797 8.43783,6.00653 11.8125,5.84375 C 13.31245,5.7714002 14.660862,6.0533 15.630222,6.625 C 16.599582,7.1967002 17.039832,7.82316 17.3125,9.28125 L 16.949684,10.663212 C 16.205388,10.545885 14.626632,10.709853 14.194541,10.592009 L 18.152848,15.032991 L 22.4375,10.84375 C 22.101734,10.943572 20.837267,10.771504 20.463608,10.819462 L 20.704905,8.7014241 C 20.649906,5.9945338 20.123737,4.9855244 18.451345,3.4912974 C 16.793075,2.0096885 13.71572,1.7429 11.625,1.84375 z " + transform="translate(220.71429,104.1479)" + id="path3170" + sodipodi:nodetypes="csccccssscccccccsc" /> + </g> +</svg> diff --git a/images/new-pg-retract.svg b/images/new-pg-retract.svg new file mode 100644 index 00000000..6a91cc8f --- /dev/null +++ b/images/new-pg-retract.svg @@ -0,0 +1,188 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://web.resource.org/cc/" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="24" + height="24" + id="svg2" + sodipodi:version="0.32" + inkscape:version="0.45.1" + version="1.0" + sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" + sodipodi:docname="pg-retract.svg" + inkscape:output_extension="org.inkscape.output.svg.inkscape"> + <defs + id="defs4"> + <linearGradient + id="linearGradient5376"> + <stop + style="stop-color:#084208;stop-opacity:1;" + offset="0" + id="stop5378" /> + <stop + style="stop-color:#dcdcdc;stop-opacity:1;" + offset="1" + id="stop5380" /> + </linearGradient> + <marker + inkscape:stockid="Arrow1Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Send" + style="overflow:visible;"> + <path + id="path3152" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" + transform="scale(0.2) rotate(180) translate(6,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Lstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Lstart" + style="overflow:visible"> + <path + id="path3137" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.8) translate(12.5,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Mstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Mstart" + style="overflow:visible"> + <path + id="path3143" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.4) translate(10,0)" /> + </marker> + <marker + inkscape:stockid="TriangleOutS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleOutS" + style="overflow:visible"> + <path + id="path3241" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleInS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleInS" + style="overflow:visible"> + <path + id="path3232" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(-0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleOutM" + orient="auto" + refY="0" + refX="0" + id="TriangleOutM" + style="overflow:visible"> + <path + id="path3238" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.4,0.4)" /> + </marker> + <marker + inkscape:stockid="TriangleOutL" + orient="auto" + refY="0" + refX="0" + id="TriangleOutL" + style="overflow:visible"> + <path + id="path3235" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.8,0.8)" /> + </marker> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient5376" + id="linearGradient5382" + x1="224.71429" + y1="115.6479" + x2="244.68138" + y2="115.6479" + gradientUnits="userSpaceOnUse" + gradientTransform="matrix(-1,0,0,1,467.17858,0)" /> + </defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + gridtolerance="10000" + guidetolerance="10" + objecttolerance="10" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="16.458333" + inkscape:cx="12" + inkscape:cy="12" + inkscape:document-units="px" + inkscape:current-layer="layer1" + width="24px" + height="24px" + showgrid="true" + inkscape:window-width="822" + inkscape:window-height="581" + inkscape:window-x="1" + inkscape:window-y="17" /> + <metadata + id="metadata7"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-220.71429,-104.1479)"> + <path + style="fill:url(#linearGradient5382);fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="M 241.96429,107.6479 L 241.96429,123.6479 L 227.00733,115.6479 L 241.96429,107.6479 z " + id="path4343" + sodipodi:nodetypes="cccc" /> + <rect + style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:square;stroke-linejoin:round;stroke-miterlimit:4.80000019;stroke-dasharray:none;stroke-opacity:1" + id="rect2178" + width="0.4173584" + height="12.852097" + x="-226.13165" + y="109.3979" + transform="scale(-1,1)" /> + </g> +</svg> diff --git a/images/new-pg-undo.svg b/images/new-pg-undo.svg new file mode 100644 index 00000000..336493ce --- /dev/null +++ b/images/new-pg-undo.svg @@ -0,0 +1,180 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://web.resource.org/cc/" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="24" + height="24" + id="svg2" + sodipodi:version="0.32" + inkscape:version="0.45.1" + version="1.0" + sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" + sodipodi:docname="pg-undo.svg" + inkscape:output_extension="org.inkscape.output.svg.inkscape"> + <defs + id="defs4"> + <linearGradient + id="linearGradient5376"> + <stop + style="stop-color:#084208;stop-opacity:1;" + offset="0" + id="stop5378" /> + <stop + style="stop-color:#dcdcdc;stop-opacity:1;" + offset="1" + id="stop5380" /> + </linearGradient> + <marker + inkscape:stockid="Arrow1Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Send" + style="overflow:visible;"> + <path + id="path3152" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" + transform="scale(0.2) rotate(180) translate(6,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Lstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Lstart" + style="overflow:visible"> + <path + id="path3137" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.8) translate(12.5,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Mstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Mstart" + style="overflow:visible"> + <path + id="path3143" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.4) translate(10,0)" /> + </marker> + <marker + inkscape:stockid="TriangleOutS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleOutS" + style="overflow:visible"> + <path + id="path3241" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleInS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleInS" + style="overflow:visible"> + <path + id="path3232" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(-0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleOutM" + orient="auto" + refY="0" + refX="0" + id="TriangleOutM" + style="overflow:visible"> + <path + id="path3238" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.4,0.4)" /> + </marker> + <marker + inkscape:stockid="TriangleOutL" + orient="auto" + refY="0" + refX="0" + id="TriangleOutL" + style="overflow:visible"> + <path + id="path3235" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.8,0.8)" /> + </marker> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient5376" + id="linearGradient5382" + x1="224.71429" + y1="115.6479" + x2="244.68138" + y2="115.6479" + gradientUnits="userSpaceOnUse" + gradientTransform="matrix(-1,0,0,1,465.38554,0)" /> + </defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + gridtolerance="10000" + guidetolerance="10" + objecttolerance="10" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="16.458333" + inkscape:cx="11.513924" + inkscape:cy="12.486076" + inkscape:document-units="px" + inkscape:current-layer="layer1" + width="24px" + height="24px" + showgrid="true" + inkscape:window-width="822" + inkscape:window-height="581" + inkscape:window-x="39" + inkscape:window-y="129" /> + <metadata + id="metadata7"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-220.71429,-104.1479)"> + <path + style="fill:url(#linearGradient5382);fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="M 240.17125,107.6479 L 240.17125,123.6479 L 225.21429,115.6479 L 240.17125,107.6479 z " + id="path4343" + sodipodi:nodetypes="cccc" /> + </g> +</svg> diff --git a/images/new-pg-use.svg b/images/new-pg-use.svg new file mode 100644 index 00000000..d2e571ea --- /dev/null +++ b/images/new-pg-use.svg @@ -0,0 +1,186 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://web.resource.org/cc/" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="24" + height="24" + id="svg2" + sodipodi:version="0.32" + inkscape:version="0.45.1" + version="1.0" + sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" + sodipodi:docname="pg-use.svg" + inkscape:output_extension="org.inkscape.output.svg.inkscape"> + <defs + id="defs4"> + <linearGradient + id="linearGradient5376"> + <stop + style="stop-color:#084208;stop-opacity:1;" + offset="0" + id="stop5378" /> + <stop + style="stop-color:#dcdcdc;stop-opacity:1;" + offset="1" + id="stop5380" /> + </linearGradient> + <marker + inkscape:stockid="Arrow1Send" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Send" + style="overflow:visible;"> + <path + id="path3152" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" + transform="scale(0.2) rotate(180) translate(6,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Lstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Lstart" + style="overflow:visible"> + <path + id="path3137" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.8) translate(12.5,0)" /> + </marker> + <marker + inkscape:stockid="Arrow1Mstart" + orient="auto" + refY="0.0" + refX="0.0" + id="Arrow1Mstart" + style="overflow:visible"> + <path + id="path3143" + d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.4) translate(10,0)" /> + </marker> + <marker + inkscape:stockid="TriangleOutS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleOutS" + style="overflow:visible"> + <path + id="path3241" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleInS" + orient="auto" + refY="0.0" + refX="0.0" + id="TriangleInS" + style="overflow:visible"> + <path + id="path3232" + d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" + transform="scale(-0.2)" /> + </marker> + <marker + inkscape:stockid="TriangleOutM" + orient="auto" + refY="0" + refX="0" + id="TriangleOutM" + style="overflow:visible"> + <path + id="path3238" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.4,0.4)" /> + </marker> + <marker + inkscape:stockid="TriangleOutL" + orient="auto" + refY="0" + refX="0" + id="TriangleOutL" + style="overflow:visible"> + <path + id="path3235" + d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " + style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" + transform="scale(0.8,0.8)" /> + </marker> + <linearGradient + inkscape:collect="always" + xlink:href="#linearGradient5376" + id="linearGradient5382" + x1="224.71429" + y1="115.6479" + x2="244.68138" + y2="115.6479" + gradientUnits="userSpaceOnUse" /> + </defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + gridtolerance="10000" + guidetolerance="10" + objecttolerance="10" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="16.458333" + inkscape:cx="12" + inkscape:cy="12" + inkscape:document-units="px" + inkscape:current-layer="layer1" + width="24px" + height="24px" + showgrid="true" + inkscape:window-width="822" + inkscape:window-height="581" + inkscape:window-x="1" + inkscape:window-y="17" /> + <metadata + id="metadata7"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-220.71429,-104.1479)"> + <path + style="fill:url(#linearGradient5382);fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;fill-opacity:1.0" + d="M 225.21429,107.6479 L 225.21429,123.6479 L 240.17125,115.6479 L 225.21429,107.6479 z " + id="path4343" + sodipodi:nodetypes="cccc" /> + <rect + style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:square;stroke-linejoin:round;stroke-miterlimit:4.80000019;stroke-dasharray:none;stroke-opacity:1" + id="rect2178" + width="0.4173584" + height="12.852097" + x="241.04694" + y="109.3979" /> + </g> +</svg> |