Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / Logo.attachments / mlton.svg
CommitLineData
7f918cf1
CE
1<?xml version="1.0" standalone="no"?>
2<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
3 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
4<svg width="2048px" height="2048px" viewBox="0 0 64 64"
5 xmlns="http://www.w3.org/2000/svg" version="1.1"
6 xmlns:xlink="http://www.w3.org/1999/xlink">
7
8 <defs>
9 <symbol id="background">
10 <rect stroke="none"
11 x="0" y="0" width="64" height="64" />
12 </symbol>
13 <symbol id="M_stroke">
14 <polyline fill="none"
15 stroke-linecap="round" stroke-linejoin="round"
16 points="05,59 05,05 16,31 27,05 27,59" />
17 </symbol>
18 <symbol id="L_stroke">
19 <polyline fill="none"
20 stroke-linecap="round" stroke-linejoin="round"
21 points="37,05 37,59 59,59" />
22 </symbol>
23 <symbol id="t_stroke">
24 <polyline fill="none"
25 stroke-linecap="round" stroke-linejoin="round"
26 points="44,40 44,52" />
27 <polyline fill="none"
28 stroke-linecap="round" stroke-linejoin="round"
29 points="44,46 60,46" />
30 </symbol>
31 <symbol id="o_stroke">
32 <ellipse fill="none"
33 cx="52" cy="29" rx="8" ry="7" />
34 </symbol>
35 <symbol id="n_stroke">
36 <polyline fill="none"
37 stroke-linecap="round" stroke-linejoin="round"
38 points="60,16 44,16 60,04 44,04" />
39 </symbol>
40 </defs>
41
42 <g fill="white">
43 <!-- <use xlink:href="#background" /> -->
44 <rect stroke="none"
45 x="0" y="0" width="64" height="64" />
46 </g>
47
48 <g stroke="black" stroke-width="6">
49 <!-- <use xlink:href="#M_stroke" /> -->
50 <polyline fill="none"
51 stroke-linecap="round" stroke-linejoin="round"
52 points="05,59 05,05 16,31 27,05 27,59" />
53 <!-- <use xlink:href="#L_stroke" /> -->
54 <polyline fill="none"
55 stroke-linecap="round" stroke-linejoin="round"
56 points="37,05 37,59 59,59" />
57 </g>
58 <g stroke="black" stroke-width="4">
59 <!-- <use xlink:href="#t_stroke" /> -->
60 <polyline fill="none"
61 stroke-linecap="round" stroke-linejoin="round"
62 points="44,40 44,52" />
63 <polyline fill="none"
64 stroke-linecap="round" stroke-linejoin="round"
65 points="44,46 60,46" />
66 <!-- <use xlink:href="#o_stroke" /> -->
67 <ellipse fill="none"
68 cx="52" cy="29" rx="8" ry="7" />
69 <!-- <use xlink:href="#n_stroke" /> -->
70 <polyline fill="none"
71 stroke-linecap="round" stroke-linejoin="round"
72 points="60,16 44,16 60,04 44,04" />
73 </g>
74
75</svg>