Closed ice1000 closed 5 years ago
Yeah, that was my concern, but I went with it because I liked the design and we can still recognize it. We can't make it bigger than that because of the width.
AG DA
I can do that if you can provide me a logo to replace it.
Ok, will do later.
Can you provide the current svg source coed?
I used potrace
to generate SVG version after changing it to grayscale.
convert -colorspace gray logo.png agda.png
convert agda.png agda.pnm
potrace agda.pnm -s -o agda.svg
<?xml version="1.0" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 20010904//EN"
"http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd">
<svg version="1.0" xmlns="http://www.w3.org/2000/svg"
width="512.000000pt" height="512.000000pt" viewBox="0 0 512.000000 512.000000"
preserveAspectRatio="xMidYMid meet">
<metadata>
Created by potrace 1.15, written by Peter Selinger 2001-2017
</metadata>
<g transform="translate(0.000000,512.000000) scale(0.100000,-0.100000)"
fill="#000000" stroke="none">
<path d="M931 3289 c-123 -24 -252 -120 -311 -230 -55 -104 -60 -137 -60 -426
l0 -263 90 0 90 0 0 255 c0 302 6 331 91 410 65 61 108 78 194 79 83 0 141
-24 199 -82 75 -73 81 -95 84 -299 l4 -183 -96 0 -95 0 -3 108 -3 107 -90 0
-90 0 -3 -197 -3 -198 280 0 281 0 0 263 c0 144 -5 282 -11 306 -55 240 -303
398 -548 350z"/>
<path d="M4000 3289 c-166 -32 -321 -183 -359 -350 -6 -24 -11 -162 -11 -306
l0 -263 280 0 280 0 -2 198 -3 197 -90 0 -90 0 -3 -107 -3 -108 -95 0 -96 0 4
183 c3 204 9 226 84 299 58 58 116 82 199 82 86 -1 129 -18 194 -79 85 -79 91
-108 91 -410 l0 -255 90 0 90 0 0 263 c0 189 -4 276 -14 313 -64 241 -302 390
-546 343z"/>
<path d="M1879 3226 c-125 -44 -206 -118 -267 -244 -30 -63 -36 -86 -40 -166
-8 -151 35 -262 139 -361 64 -62 155 -109 238 -125 30 -5 166 -10 302 -10
l249 0 0 280 0 280 -200 0 -200 0 0 -90 0 -90 110 0 110 0 0 -101 0 -101 -177
4 c-139 3 -186 8 -216 21 -68 30 -115 75 -148 142 -29 59 -31 71 -27 139 6 84
33 142 93 194 76 67 73 67 378 70 l277 3 0 90 0 89 -277 0 c-265 0 -281 -1
-344 -24z"/>
<path d="M2610 2975 l0 -275 203 0 202 0 -3 90 -3 89 -107 3 -107 3 0 90 0 90
174 3 c164 2 176 1 225 -21 148 -68 212 -239 142 -381 -31 -62 -79 -109 -145
-140 -43 -19 -66 -21 -313 -24 l-268 -3 0 -90 0 -90 283 3 c263 3 286 5 342
26 319 119 414 514 183 758 -62 65 -115 99 -199 125 -53 17 -94 19 -335 19
l-274 0 0 -275z"/>
</g>
</svg>
This should be the original SVG data I used to create the icon. So if you can modify this, I'll import it into the icon app we use.
<?xml version="1.0" encoding="UTF-8"?>
<svg xmlns="http://www.w3.org/2000/svg"
width="512.000000pt"
height="512.000000pt"
viewBox="0 0 512.000000 512.000000">
<g transform="matrix(0.1,0,0,-0.1,4.9698728e-8,381.60472)"
style="fill:#000000;stroke:none">
<path d="M 1304.8619,3202.8216 C 1077.0947,3158.3792 838.21666,2980.6095 728.9624,2776.9151 627.11517,2584.3313 617.85633,2523.223 617.85633,1988.0622 v -487.0149 h 166.6591 166.6591 v 472.2007 c 0,559.2338 11.11058,612.935 168.51067,759.2246 120.3649,112.9579 199.9909,144.4379 359.2429,146.2897 153.6967,0 261.0992,-44.4424 368.5016,-151.845 138.8827,-135.179 149.9932,-175.9179 155.5485,-553.6784 l 7.4071,-338.8735 h -177.7696 -175.9179 l -5.5553,199.9909 -5.5554,198.1391 h -166.659 -166.6591 l -5.5553,-364.7981 -5.5553,-366.65 h 518.4949 520.3466 v 487.0149 c 0,266.6544 -9.2588,522.1984 -20.3695,566.6407 -101.8471,444.4243 -561.0855,737.0035 -1014.7685,648.1187 z"
style="stroke-width:1.85176754"/>
<path d="m 3310.2669,3170.2315 c -236.46,-81.0642 -389.6859,-217.3993 -505.0783,-449.5375 -56.7504,-116.0691 -68.1005,-158.4436 -75.6673,-305.8328 -15.1333,-278.1974 66.2088,-482.7002 262.9435,-665.0944 121.0675,-114.2268 293.2102,-200.818 450.2196,-230.2959 56.7504,-9.2118 314.0189,-18.4236 571.2872,-18.4236 h 471.0283 v 515.8625 515.8629 h -378.336 -378.3359 v -165.813 -165.8131 h 208.0847 208.0849 v -186.079 -186.0791 l -334.8273,7.3695 c -262.9434,5.5271 -351.8524,14.7389 -408.6027,38.6897 -128.6343,55.271 -217.5432,138.1775 -279.9685,261.6161 -54.8589,108.6995 -58.6422,130.8081 -51.0755,256.0889 11.3501,154.7589 62.4254,261.6161 175.9262,357.4192 143.7675,123.4385 138.0925,123.4385 715.0547,128.9657 l 523.9954,5.5271 v 165.8129 163.9707 h -523.9954 c -501.295,0 -531.5618,-1.8424 -650.7376,-44.2168 z"
style="stroke-width:1.86686027"/>
<path style="fill:#000000;stroke:none;stroke-width:1.86804187"
d="m 3438.8964,1093.452 c -310.0949,-59.7773 -599.6414,-341.85174 -670.627,-653.81471 -11.2083,-44.833 -20.5484,-302.62279 -20.5484,-571.6208 v -491.29502 h 523.0516 523.052 l -3.7363,369.8723 -5.6041,368.00423 h -168.1238 -168.1237 l -5.6041,-199.88046 -5.6042,-201.74852 h -177.464 -179.332 l 7.4722,341.851643 c 5.6041,381.080527 16.8124,422.177447 156.9156,558.544507 108.3463,108.34643 216.6928,153.17943 371.7402,153.17943 160.6518,-1.86804 240.9774,-33.62475 362.4001,-147.5753 158.7836,-147.57531 169.9918,-201.74851 169.9918,-765.89715 v -476.35068 h 168.1238 168.1238 v 491.29502 c 0,353.0599 -7.4722,515.57954 -26.1524,584.69708 -119.5549,450.19809 -564.1486,728.53623 -1019.9511,640.73843 z"/>
<path style="fill:#000000;stroke:none;stroke-width:1.83886564"
d="M 620.25933,555.09985 V 49.411804 H 993.549 1365 l -5.5167,165.497906 -5.5166,163.65905 -196.7585,5.51658 -196.75873,5.5166 v 165.49791 165.49794 l 319.96273,5.5166 c 301.5739,3.67773 323.6402,1.83887 413.7447,-38.61618 272.1521,-125.0429 389.8397,-439.48891 261.1189,-700.607835 -57.0048,-114.009665 -145.2704,-200.436355 -266.6355,-257.441185 -79.0712,-34.93845 -121.3651,-38.61617 -575.5649,-44.13277 l -492.81607,-5.5166 v -165.49791 -165.4979 l 520.39897,5.51659 c 483.6218,5.5166 525.9156,9.19434 628.8921,47.81051 586.5981,218.82482 761.2903,945.17693 336.5126,1393.86026 -114.0099,119.52624 -211.4697,182.04758 -365.9345,229.85803 -97.4598,31.2608 -172.8533,34.9385 -616.0199,34.9385 H 620.25933 Z"/>
</g>
</svg>
@kazk ping
I woke up not too long ago. No need to ping me if it's within 24 hours.
Thanks, it'll look something like this:
Deployed
Can we have a bigger one, or simply make it
instead of