From 0642a9fc36a59e97d0fe4abeb862ba5fb097e02f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 19 Dec 2023 14:55:49 +0100
Subject: [PATCH] clean SVG files

---
 doc/eva/gui-images/RMB_click.svg       | Bin 2317 -> 1098 bytes
 doc/eva/gui-images/gui-callstacks.svg  | Bin 134620 -> 130153 bytes
 doc/eva/gui-images/gui-values.svg      | Bin 178259 -> 165907 bytes
 share/frama-c-icon.svg                 | Bin 11119 -> 3322 bytes
 share/theme/flat/considered_valid.svg  | Bin 1125 -> 619 bytes
 share/theme/flat/fold.svg              | Bin 717 -> 232 bytes
 share/theme/flat/inconsistent.svg      | Bin 1095 -> 589 bytes
 share/theme/flat/invalid_but_dead.svg  | Bin 1110 -> 623 bytes
 share/theme/flat/invalid_under_hyp.svg | Bin 1125 -> 619 bytes
 share/theme/flat/never_tried.svg       | Bin 711 -> 185 bytes
 share/theme/flat/surely_invalid.svg    | Bin 1064 -> 580 bytes
 share/theme/flat/surely_valid.svg      | Bin 1081 -> 597 bytes
 share/theme/flat/unfold.svg            | Bin 752 -> 271 bytes
 share/theme/flat/unknown.svg           | Bin 1064 -> 580 bytes
 share/theme/flat/unknown_but_dead.svg  | Bin 1110 -> 623 bytes
 share/theme/flat/valid_but_dead.svg    | Bin 1110 -> 623 bytes
 share/theme/flat/valid_under_hyp.svg   | Bin 1125 -> 619 bytes
 17 files changed, 0 insertions(+), 0 deletions(-)

diff --git a/doc/eva/gui-images/RMB_click.svg b/doc/eva/gui-images/RMB_click.svg
index cba0c2382de460a64d7b05c493b8d4e90308a22a..e471964fbd4690cb79de5628b7e8f7ad77863594 100644
GIT binary patch
literal 1098
zcmds0U2hXX4E!sr;{_hp@yB{?qo)6*v}qDZE>&_gh+mJ7rVa1_?<k72nwuSaJ)WD>
z^SW$S+x2Ez4rC70*mWr9?ZdQ51UpzlF_drn-FR9Kn`wIbxLBOeXE+NSj_U;@;v!{+
z+naTnj(6kf@o?NPho8sY-L!gNnG_;*tyE@E>#h5T<Uid_oAR(6_CgJ;v3j9Ad3Tq4
zEDgc9Q)L8EvQ|uzm5kaHns&D<!U}{+T=4Z{uOfh?_(t#bRbXblh+~wLH+1*f6|!)I
zm(=$xa|JH)QnD)rj4&xPrsf`3=<UMyp*(JPyXEliQ_R0%@yl!35D-;Ma|mZ@a!&!F
zsVv$;ig=dy7KI$75x1mD5|E;39w;!Z=A=5NXJzig*{UFr5KA!#ME2TR4uE?k;H`7)
z06S~#0oZyMyLKrit>fI~`qKD#7*|6%O~=ERRX!t4{@)FId28Km$JOV<c3cj}!`JcQ
zbq4hk3I5GWp|m5NN~=(yo2cDaHqdTq8l@r3XjKDx25V-4Y3^zDG#n)t9{*k--Gezf
zR9XN<Ly_lB;6l{xUsoM0VqPAHo~iTfjq+|5uDNh2N?N#qa$~N!&dS_`3U|Oc^>aoN
SK{NWZlFU<BtS|pe|LqS{nE=fI

literal 2317
zcmd^BU9Zzd5Pi?Dn3@-mcGvs;VUml~TtG<uK<b66k0y2!7hgNF7t-5b-&x-zH>y$)
zhzF!55Ahz4XLin>InMmqU$-rMtcS7byG14#&!FyBebscEMfT?A1@#$>vFxg{?YnxB
zb$#~iYBvAj`q$;nAFrRo_;CZT-~9N~t0iPK&wp3TJiorVhTq=41i?g}KmR3zY#ZaQ
z$n*Vv&-RM-!zO<@l)G)S8gmTHQy@N+V=^IF6{{?jpcIxvUB<eCeG|9vs(U}K%3TeQ
z&(bvqa7y|FD7~7^=9p&&0N7eL7Pwek*ns4mr-Ioj^0QHAG>Pf4eN)9Pvc@fQLd!6L
z+q&6oBcjeT1ihKirdniJO=4#N^QvBtsV+dm(@JNMPq(I>1H_^1#&tj3F0$#eMIIhg
zDGUpk(h({pGtO%3pG^7hGqvSiJ&36WR@s$tdtU_r%iMwznmH|vCjzg$^<KdWIMJLr
zX$4TpnKHs@;uHpA5KwKHHrBf{NE#-%5t8uJZA++9j0?jb9zpDsh7)=y!UJFx$G!K2
zTElP;A$Y(tUg&e=P(@)CyvajwiX_Z9@52N1kmBzH5%*N2=9Lxt1dj2pMFFpywk;mL
z3+ekbEoi?hS53St#M3bj{rkG;Q0a%`xWuA#oN;ap(Vhh_g-#@jz=F|+Bm#9%pgi{D
zbs)ksrG?Z6w89WB0x@_Y0uK%-9)snm6p|YA5)s9jP(mu=Sm0cGq*x=d(gsAlwlY8q
zxB)8-vK1KD)+&dG=$Q0E8n{G*`wtqFQ`+*cqv8K1CS=!N6jPGRQ96&%Rq%6I(#aqS
zd0e(lSEGX!?>@wMj{Vs;T`}|@y6TADHnASs27d~D#Qv>QT9xCr9ES34QtUA-q5XP2
z*0De{pG@VFij_bWqCiohTrumEaVTRd9W&OUkOk^cN{)&&fm!si6v&*x!3XM5?OdUc
z@Dn4+$kNP7FXah5pSf>D)5OfN*RP=I6O`bL;S3okhz?8y&6UErvVwUfgmtH`&RV@Z
zSKoW9KZCTMxe)N2(ZnpiNW6n3NMrF_gD^y*v3P6HSY%L4No5_83Z2Pd3}X29Knr)o
kGp&?GbG}55J%L}O19d#zPmaqs(!o66;D3$uN8oDq4?Ht$Pyhe`

diff --git a/doc/eva/gui-images/gui-callstacks.svg b/doc/eva/gui-images/gui-callstacks.svg
index 6fd115f4dcff7eb9e20e641881fbc40487afa369..7483038e3070c473c87c28bb5e1b90bfde5a3d84 100644
GIT binary patch
delta 1756
zcmcIl%Wl&^6jf5BR)Pf*Y>|fPf}$#uc|TAbsVrE61V4b=II)XkNA@%=MZya{p^Gf|
z2G)EAKhPgw&w>@=I!;Pm=nBP>CF@#q&$*9t=JNB-_n+Gj2jzT%;wYKKKER4vVidmk
z*nM;#ohBn62bfXa1fO+wFWz?cpAQGgG@L{?520BRl~FN|4$4_{<X?wA$pf6_S%hz<
z`Xsl%%I(g#9~JHo2R=IUXq;!hHx8#s`aZyAn3X-qm5g!oqfE}D085Hd8hIZTy>b>F
zCD|mv5IW6^Q7dp3V4(~VR&t9G<Wr0&!3<Lv(BNo>#z~q6c=wpnHN+bGW$ttI1_-pE
z1>h_xo~}A|n5QF*N?+vffY~lTr0`&LJM`l6S7*N(%t9ZdQGllkx~jS1h;c@o=1j*@
za6%o|e69^~ifZTL-c|4%7&NTM<C-*l_wu?89x8;XaVHr@z5wduyqE$+=!@iRk0FW(
zWsW*!D~X76&N8Dlgz3{w^<No51n0sn`_H5yiZN!Yn*-QD|8IfD!x#C{;_+7ZNwx0d
z=E1Fk&O_aJ7@~QYo<xJbFBc!~bnjl<1R({HLTV(rgb$caEVU+<GdCBENGX)Fun4Qz
z|LuX4%7QphRqp|%YQuXVv?N*y*X)4=Au?yE#lxyC#0`w%R%qCRlXCH8r@PnQgnx>;
z&EJA%m;AxD`n7Kj2b1<TwN(kD*V0_`iDjJ)P%llYEIQ7UEWky6l8rzc1sLa*uQE;v
zH<W3N3XnKc#7aRaU#IJ>3|bPdl~PwO%Q+_stPgq)cErI6xlvj)N`#!wXeVmn7h3?g
zIJnn+P&EjKSnv@l|3;|2v?j8?6PP2~Fbxra&`J_YP0b8=asf?}F!37UdOfhq)-h41
zU)96)@=)nt)i(O49tIu=X1zw^loBwkx&%Oz)DfoS3QaKZcEhcz;rbJJ;XWJw22+Ff
ARR910

delta 6226
zcmds5PjBqD5r@%3Q{M{Y(i<zIcnR`Ei4yhKyH1ln1PD;{@RFhh3KWqg?yh1<Tu5B6
zHy0tt9N)=@evW>QBKLlQ-ispXsY8mCwf4SX^X%6G6<~NZ9FoJ|%=~7ke|-1TzyIZ(
ze)i!_U7>5%b|r7-7QwECSd;UjY?gED_n&`a#}?{D))ZOA8#cEZZhd%hI{T$<qu;bF
z6RbenQmoLY%~h9YYlhxi39(KcXS?0vQVTI}m(Kghwl7XkXWjMk6d?rrHr*F#k<TqX
zW4&oBrCH<-t60q%(K!SY#~St1{7yZW+n3iY=XK4SPR(q(vx#zBEMBdDVY!~;c{aS*
z-L4VYjlHi0_PkoZ`|3|W`w49G>Z3FDulS(9+q45X*6=r4Y6Q6Bn>J?)I3B|d6V8jz
zUpQvac5xw!i8%(1ahV4YHCfHNb(XWvDSM5bTA(cE7T8Hi9I5w-!^ohZwbOCL#R)+z
z@gpx#8r!lEEAX%z#yA>8D^@O7Vr~WQD7r4$_G5lCx7;4NNGqd>f;nAU@LZZZx0ajI
z&a<k5D9Nun3})_I#BSES751X6*f7Ca@tQdhQmwNrg>zZ)rM+mgI<s>}Yy@x1tg`E#
zH$301SFH7&{VnXQX}FM~hu6*F&2EY{cq?%aTCy{P7vSPq%|upYB9rb$NCG`bdXZ6*
z_?A=xH3*;d<%>^-H+awU^bfqf8fHlisgPar4dAKgsCh-6LU`1fxG3vv$sB;^0|@<@
zb2l)qF$0;{t(g+^aymS6-Ifi3Hb%}gRf@bW<t*njQC8Kbau*9Z#!xU-u3CzU-3e!o
zHeVmknVfFsjOUl5vw|(U!9t0Rd;?gB-eER|gLG{nqi4`vgB3ZicssYw7V1&1K<JXU
z1#8VvsGhwc4)G7?nfKNZ*$DB=FIg@GuUMNkIYb;8{EE=Bg`hqp-;@PAG+<INmG+sP
zEVJC+Xy2`}f^X-Rr_CEjw`BtZwn?bOdoW*XnEWCn2+bmZ;RqF^bE4(lif`p<=GG#s
zItEhZ|8dW+IIkfoaS}#J;D!%u${}T`m*9xdXrKs)Wy1;i4o*P>Ok+X}sN<lvRi?bL
zQO)buEY)K$eShq3sLpQ6y8McP;SW~MH*E_XZdcikK^z$V8p3d<(qRY|gXDyo5TXXX
z3HczjhE!nfHT$SrLrlDc0>EWWY9wOteEscTzdiZeKYL`30(Pm5AZ7>7gTixn8g(#j
zk6<@qFbC2zRV+NW%yxRYPV6d(zXgX=so!ZMbGtfMlC7dsDe6aA2iT<4UEiEnWy9>@
zOeyh#Uk!5>SzT7Uw9A^#hJ%%h^NI<<T3Z?bH8_=1w~#Y?0^rgrJ#*D_E?;aN%PBeU
zM9cdt24*x&y<D*&R8s;=$x#qUW1w26mm49bvM+hrq(CREHPUfm4FRC%2NCvT>cv_F
zC<X)vK8c9NxK}(X5vAT3jw4mb&GqphY5)rBVkSV)4Dcf~YPOKub4%*$t(5of?~l-Z
z3kL4|VQ*b$P-hx($b*->DhBreTukJvJtgH*U;0IPU3>7^@3`RTGw|cHbNkOGyX+xU
zAXdvonagNx(mPG`F>LfqIdJgiVxeJA&%8_N-SOCx85Bk|3B%iO{&k}IlUWN%Fra1*
zt0H4y-2KRKq3U}HB_uI>Jd6-(y#9mn(eh1GocB7ERJ2q;0wNu!7a5Re+h)7HD7+s^
z@=Wpolmwpb>!WHepuUIQ#2bmukU<z>$$v>=g*sUw_@JW+y~uDP1OxF1Fr`Nf>$WP<
z)r8w$e}D3B|J;4<VwWUt62ugKCP@;LC=8|ieN)?>k`eX^q5rQl!agDNPs|8G<YV9S
zd{fP&3uuG`C^us<k^!s<!S0Q(#!P=KC)~F{al(BYfLR6t?_a~<Z<7<Il<*SD#}jfw
zl7z|a^Y2cct2>LVgCnko8T2q(aR4cC=dls3<H3Ts8fxI98FY%)@nH4tF$@}qp>>g=
z>#W+anWI?s0{%mAs)qLwoZ25MyCW+eL8_1BRH%DXQoTp1VTfaom>e~X>Jv<<A0(!l
z%K}e*OnqwD6SA3l6ePfqddUf)A^}}_C+|3O>-M+bpS+{VmC_)FN<EOP>js8g2ik5`
z7xorfuR7~>JNCb6y{=flSM*dpd%D&uq&N(GD1QTt(lyX~ktA}B|H^*Kw4QC+@{tlA
zOSS$z8x++}tS}c>(~%r*mfs%LesONU8G9T@9zk^b$A6zV$5QQKv|{L3CO-RrrCI_l
zEPOw7j-XfB?E-o4U1nSi)hMKq8=96?-FXzp_v#)qWEaI=7zDC2{t^A_6H;wF_MW<X
z^*j#;a6vL@YPgnoF7_gK>`Q?JJ-AGHQ4pH`SGG=|l|&(Yd(vDfWdV+<@4B98PW#uC
zsUM5u9*pu<M}W4EfU$4V;U4fv948ekj?H~X!w7d397Y7n^#Fu{F$!?d$I!7GgaF4d
zpxAXI0BB@J&xb6dBUj3rMIs!-HOQp~#y3W>himk`OPg-0DJF1lAvB4Pfboq{>|cAE
zierO;iAERhe(<5qpk-i$${#1h2QUW607dF1m;`i+qEFy%A9=C)e4=0s@Xx(af-Nif
KOn%h7IQ<Xm{C_n7

diff --git a/doc/eva/gui-images/gui-values.svg b/doc/eva/gui-images/gui-values.svg
index 6ae024c15c0650a04c7883ce0b8767e52bf85ce3..1de99bcb0eb3f27d0f1400ea61b11d6a6d55bb24 100644
GIT binary patch
delta 4042
zcmcgvJCEE{6xO;~X*(hzT60Gcgk|pD_ahpwlx{1EKo=!p*zt@Fv-WE2Og1U7L_l;r
zG(v6>bSNlv{DGBdkSOT*6|{7mYmaAkcGpONCsTQ@ukUxy>pS21{m;F{S9`AwviZc1
z!gvzp0aD6fsx((<@ytUv{KxSqj{-yq5!e#R(c<<_Z}I-l{?XweJ{eBJ)tAyp<e$#M
zES$~5JK1S?oZlVhaT=f`O+wV1q_jo;S%56V#u#bPv-920&v$ozKHv3TpBKn~5+K8?
zJ7|Fp4hN^hJn}~YI-!hXBNewkl?E%Jt&BKR*eJ^RTuV%tWrjul)#6j+kK^eyK)vyJ
zTtD~I)8TQP0|?eqFryqq9-ig?I8E~Yd*k6rJcYN}Fv<F0O6<OKZ?gDl7$8BAKMnId
zob@wzP%;S+EIm$Vqm2bHkiylpu!5rU#lm~FaE4K>u_2ms1fXz0(%g@b2B*2eJ87Q!
z@4_uM@EL$*`7Hei?$To)5cpNzT!USLIfAfGU1-Z+KJjio+zuWi5KL!Q`QTIU*0w;{
z(s$)wpLxAv8MHdQwfo@tLU^fFM4Jolsy5Zm>rdk({4kA^0L{`z$*9@YU#7dLoZ43e
zYpadYRaQzSvEouO7rdg19)!7d6Xex_ORNhSY!$Xj6KZ@39;3uq7BS7SvR0WnC6M+^
z3Lf=Wi>(=4w5D*AKpkW-A(#mRK7`bjP<>!Kp>^sO9p-Ke%)L9K`7k*SNB*M>h~_@H
z(>cAaoQK_&&IY_NwUs6R!rOn)S-EUrK*TFgmcM=Jy>Wj#7`C>f9DnWIdMUNSjl_~M
z!K-Xhz)KCqofS|eS6{E|qo&{ORkFi36#9hLroNtL3_~5VH4nQ=ZrgL|rm$5>f{B#`
zS{amv5E2VclwFy;>^e)vDX#K$+X0uLE}r9_{~Ns(E&OI6E2Xgp*bc1V72651wgL=o
z+p@mrsyz!Sfh~b`eIb=2N=_qA1(u?qdV}5SRak6gw{FR;xVAqF1vx;O1=ZqWs0{}3
zVAmP3;d`e58e;u-of%+?>v8Vg9nQk(6JWP+v`KEAaa(QUD~*v7I!t9``OUZ9&Cb|u
z)02|bo-Fsj^T@U^WNk?K>-Qdg8T4i)=AeopJzTOt+F+0c%U)PG9S612w&$8!kwjq-
zO~&|?1CwZBc*K;z3Y37HQ?L${tN|U+to>7^6xU1HCSCu(4v-Wi3RR$5o$*wH@j|i{
zPjsgDT5!sbfAD&pCDJ7j5aiC7^2T%T%`F+?)N$po^7)V6TiXHwbzFlSz3}{Pfi$5n
z|M<y!yXZ=}Y=(r@Aps)J@?jpHgh{?qeoH|;sgR+q_qrGUhl3eRuB)k5gKjWVLZhF#
z9tpxtTIiQ<PAJ@5EG$TR!&o&i7>lVUT-Nh~fc6SaQC3sz#-UL2)<_E5t{e(ya^+@P
h0fVDs6+tN$RMBOVwiYw^$6;*U8yrkv#(?Sl@NblaiYEX7

delta 16522
zcmeHOOOGQ*9T!F%7>Qf}2`L0R-b4!u{eJh@j!0G!5hCQx0fExfF3)tf-EDQZ$1@30
zu_%i;vf|)R!I2NZXW+~scMcr6!M|Spu-hKbc*c8RR*EvNs_v@(KY#y6{pHU`|M>S2
z9=v`rO{8;_7jc#j`?{j_C6q?lI8IN8{f|C;OZNIwQHJR_OtKUW`)SsHeRMQ<S(c?Y
za}<_nEG^>lOnN(gTtwjvNk2L(%UPhRi^W2T`Jj^Jr|OR-Ssoo74T|&ABT15A-?aE7
z7)QfCe_}Sz6S{I7sVG5Hl$M36E4tdR)(26&JR;l2=P1gi(=09MlWFmwu{a-3p1t>-
zhq~|ks%EH$A;XAVT&87sA-9*pp`N|>($`_5XFq>H|Chdo>un1l$PE6g&MF3!BAe$C
zn!pDlB}JwB=)*^<n3OeTT#g$D67;BEvqq#eoT6eDMyOC@%&A9T5RZp_IHYAb9{t^5
zna&pQ)j>6*DZVb{y6GA=U9pJA<r(l;(=5f;Y?BV2q4@Ny9QGZ@Q*_5Q9rpGZE#7$c
z()TF|#ODO#EF$L{_D|=rd>$rqR48z!_V(yvmgS{9i4(*Yt7q91sUShQdK#DNNs^t)
zlRTV;a-^2?GRxyIk%5C*bU8aixvAD~mvNY;SxKZ!nWfzuU5sbI7GLW;#if`W0WSwr
zREFcQ3<+N)iBMFGScYr$$r@M%G7`N1=q>sSlYuA-ewF2q*;8Z*SrMLOb08akh>Q-#
zQ2=r<4a-qH4Ns8@q<Iabe4y47)jP=I@^Xf%0sh(?F@fR|f>pJt72{|clc&@V$~Z~h
zCcE?{m7QB0p^VD})q?|-AD@4n+W5SID!!jg4#sFwu=5bokY5%yT!Zg0sKkJ<b$kvI
z!WPfq6j7FB`LO?BLjO@#NYY7`k5MkB9Qv;{m4Tqc_kc+9;q2s76qRL`pgc??5Hzea
zzDm+*4$@ms)Z_DbjJhU-t_9?LYdf`Oi?eW?ErxxAAETOF;5daDS!j-Lh~v~t*b1RW
zx^6QKV)9jy3It3%TAXDI@-@T$Buomly60zEHYJAGaD3Ory0tnVT@3rSW+;|zIO~%@
zOvBL>*Yd2j$pt$qJTH#2`W5hWdkW7`z#p527x6Uy48getyQ;^dd7gu{mXq)jffzLH
zlqAvbC0r`nUp$FRc^c-YaVnSDtlqgXo?tWqB@<_A%;d~!b<CV(AV5GtF-5j#k|?%k
z$}yly%0!s+*KvJLZNbiO+8(o=(zCz5_zk-F$yZOm`r6;V>b-o9CBYk@34I%IS#Tey
z>>G;bc{a1xk_5!{Olo7n)^I%&Hk%vGmMsGbTA8k_8T$e}$U$4!n~L%>0eu0hn*>}7
zkI4_2OMU<{VOxf0JN|J|=GkKuq~Oo_-%P**OZ-gY6oE4jPUdCV9Q!nj(;(00>6naS
zc#8}M3FQe$Mp-{T4nd>xJiKh}Ax=_B4^WMKfaQZ@7Tn^TFbzlX9NlC-N|FRWTwBo$
z-|(oW65|YH)(umE?=l7Nh&{1A#j#x97PhNI7o1RFkOS&qhy58CTa=#*4HP8IK#=L*
zaC)%j$?=4YEU2Gs4dDXRA+WUB#W5k6%nljohW#pgW)e>0<T5D2w2)z^cygSe638W!
z0|3AZ$fFCelC1&8Lyi7x^HAr!;AF*=kDPZpyoxba-pW17FR^l!C6t;DSP$P4Tq4wT
zUB%PfiW$Uo5rSe6cb7|Y<s8W7{PPHF>{s^`_0gb&*QHF#!I*F$22u#dVb~|z@g2A@
zw2x2KZuJA;HC$b~d3_!NCP~W{vpe};=BSL$TI;Ax7+1=~!*{YWlRf~+cz7%eJ(sDZ
z6*CmYlQ;r!o25a$@F&tcR30B56XMHZ@=1J}27t};@_3QQB?uJ2s4)tXTrN-eqBJ_o
za=xe*tjR=3(gWj!2wFu#%3DHk%XhTpZ!dZpg@6QHG)ccJ<qdFDP0_gl<#CtlfutXb
z@&G}LHPYWP<(>X00?`B+FQnyvE_y%Mj|oOwfA5*FgZS$nFabQURGuN}<K^!!d*35W
z80_y!wpf>wEEzM`(Iw!_-<ZU<P(#7pOKl-`HYL&<u+c;6T!IHg|G^-vpamWD-}NlB
zG8CGI={oLYsH3i3{#Kt;A%^_`0|xgb6L9Oho+BI&_$S-2700xl3chpy1Q^)pZ}A_i
zMy$4dHF%~@g>Q=MU8!5C_XRvQP>E#FIO?uY89oG&2@xnN^E?5lI3_c&YbuWK^8`c<
z%5)82tzlaNtP$wzD8A!rdIS5Cm_^q-UvMc0&Ox$?Mz6bR72fK!I~?>a<1@?=TkS_R
zt*tgI0PU9X8Q@(4&@@dkEU!sf0Kg#qnt*HqpAmQ_3#L@w`{n=*(*$3@W0fixxrT<V
zAD=5y`vW#OC|rT@Ehe;y*}IJB9{3ESYXY=eMhV|0D6DCuG}&IxKkrF9ql32SFxp#Q
zOL#WWek<v5m+l=7p@sP12o17gqn{>8wkV_`o-Y6UdGCjNF##-VQ-klBumeK#Aov_*
z6KOh6%6OJ6|Ma`wi+eG_zt;o^C2Q}tOO)vOdVe&@vnj>N#qwKU^k~swH;=y6p>Hwr
z_c*zkyj#uUP@HUfwqhGb1<C+zIaQorAp{RnWY_TD4d>$v0L~C{b32lkgMWO-Ha0#)
z_=IT!Z$pCM0O1q9glua^{B)@B3G)zbRW3;Q<mr%CbzM)uLST|>7z#jjLkv~I;hQ%L
zpRnbdBE!w3V|7<59QD4pEF#?*qr>HDF)3;VcN+^(x;nO|Xuhq9Kn<8_S+;^LQ**>v
z#Z4Lv$fhhNwgd#%um~VitEZ4KQGIfd<~eQxX*jIhZtW?cZ)r6qN%vdIiZE3QwxmgI
ziv+Qa@V~@+7aMNu`Y17QiyF5`jH^>b)Wiw<^Bht{AdVj7sTAAuJz;`C7)_crvMeF{
zl~VYm?7z9fusK8ISA{;Ri5^5&)t=1%wYF_b$Xz9fczy_9QMcPK3rA=t5=6290itZD
zTZ(OA-4)phQMc<z5m~kknLKcly!JqBhV76<o+%O;*G~~qK#BXTjzWI4YBOD7>K(WR
z4Eb4Fhb5WS!={L+Fk;IAkFFbl?O552kk<7SD4Y6gPF}bLk(S%y7TC)~u}b8D)@#<c
zk|$dI1_~KgzoOfz;JRwN#gN`zq6nHMo@=6r*&k}-SS1g1Z1n5*!yF}-(!4<9-+;Fw
zGuN<uU|2gjVngn?DOZFen6)D8Ra@OBb%$@Ewz^O1?v<-R1Ej)@rSYWq>aOXEZqge}
zrK{TQ^^4m7Z;3k~Jox)ZaWR8VCG}_V^6yW2uk6PJo5}w@6RJYu4$=?ysKJC^{())2
zea?uH?q=Os`=L6LGxBZ4gbv^eBLHjw6rn(|b*;2y1FpFdaE1p3(x6yH?1=?1VX1*?
z+d~0oyi3E|ek87dGxWQ0b0I3Lj)fHmN~;2}Rj?VX3v{~)Gz~nmHAjJ_nraAmq??ch
zfQC==TE*0r)GK~2NVx{e&|B~vkg}~qMO$~EvyD3eLQWe*9-3>{V#Nw6%i3*LRasFL
zat5?*{)Sc6`a?vcT*sGmqh$t`F+pq31uZkMjG^ap*S@!Xu-PW(^aAM_A($8-f+uUs
zcfagC*cBLb6Cau;n_{$$_#0^7oyR;}UG?CdZ?<Op{n1ASlHM%y<hA8LzhuQET280}
zQ|O9Y&C3wOSgCSD14#SfJrf$)h#g9Lzyz~Dg6332Zuo@D=;`jY?QSMO`{6wkuFV7}
zZbPg1v{0c<efh7az3=X2j*Jzrc5jZZ?l1sNfa)l30gdL%$A9d-ydM*oPpF~peZ;=W
zA6M?!Aq@u5<X+PIpo8U$U-VueOxSeyh2Y4Yx>@(A#$tB=<#xgW+o_7NJRHz1AG#;K
zDoPO1fD5%-&juICg%G@+=PSCanYPHo1M0J&6al$)C`&O%NRsHJyU6xUzrwUD7mL<&
zxZSOO5RDPi;|&FjL(ra(o?m>~|LPIYUW8ntg5i*hM^<(HMbI8%EZ?(rMrYQDY3aIR
z=}vV+kI>oo6$6HZhTj40C(v|;-_NouuQQQwlPo4{t-2y3OiuHnSa;fCGkNjK)h>P?
ziM6{{T?f?TZN7g-uPL=Jlo5q$^*FOS4k^(9x^r!4e5ZG1Fu7=cRf?UrxD#yM(I`*f
z+)-a%Eg1o6)-IZy<M#a^b{(gA(}s;C8v~WK`(ltwp}az;aOXz=*ouR6)Y3hYav`c$
zIU&{#N~>`?yAwyDvIJN1=~ZtRu8C^8&&8I_35oV0YhZd1)K;lWnvk)<_}F?~mLm_5
zSQ45<Ot4h+Ht;V7YJFOE@^{0WU#n(kBJ*SnPE9JTbUpda|0F^Qf5Ju4(b4|^<y56n

diff --git a/share/frama-c-icon.svg b/share/frama-c-icon.svg
index aa2484f04ab2501032e88239c25d97e563871032..4ce60915a2952ad4f826f30add29f7f1395d8c48 100644
GIT binary patch
literal 3322
zcmeHK+j84B5d9SlGt-fr62ko=S?)~QndGT`X!6wQ11*sfZHiP$>f+?*djMS`CvGxL
z+_#P`c>yf2XLrvo;OlO?Aj`a5Ec<EVSVDH?yk8!~{i>?FX|nA5^>{Se?RIo0Y11x7
zf-yG2#)L$b@xChS`==DS_kI*tlbdTO<yrf>&E{oZ_oSRplPn>N<M>@&_As{T^7i+2
zHp_pj-*q_*@M$6))l3U1tY%DLPJBN106orxqs%L<mD4(CK0woJL%G*najCR*0Mhl%
znlwex<?tCUhjBV<s-~SLFA8DiQYWKN)cB`r)?2B9+UT)gH`lAIyN}-8CM3vDdv<f(
z=Chs@WmUoIoJl<clrT)&O_fiRe4E$Je4d=MV-W_+l`siuAK(`?N;qxLDZ5zTPm`2W
zDFl-t3Q)F+GAEshhy$vdYuM`ZHX@yUw8AO3P7C;ZWCG4{UTTTB<5YxF84CzFG{uo#
z7><w@`Ri=cb!Aq+sx~bmI{zi#mRVmm^)wMwE2NLdsE!V1pQHnv{TFnQPtf5s7wC|3
zL%sH%3jh}Wzy_<S^jvvsjMD-6m&s5R$GkV-WZA=MsswlT>jar`Ejf}C$#ve%o@C4=
z6N+H+i!@+VXyxUR296pbxWAym$8{u3Q6m*o$R4n3iV9IG()PmUrmY4qvf($H?c1#G
zil$vnlPFeMpAQ&Gy%kgf8_qp4$^J7kZ!Pk|j1TcyJgSX|ZvL(4y1s4hQB5z3Vs@K>
z1c!<AoDpiRb_P{)TsUH-9=%H-Y+uKI8Px^32*)bx+j2jk#!IBjIA%3r_(>nlNTkSl
zkVQH!h-B0YAyBVQ3O58n*IB<L=#?vMU8WAzxaCy&Wt0r)sAi0Cjy!t;ax+VWq)r;b
zaWHqMk%prZ#>2K$p^Oibqbf|Nf(oh8GqjUfmDb=}8Gn=owO&C>A}pM6l$Acpl3IZk
zq9~XJ`yd#RlpAxDHRVEJ9bLp5SV8|H=m$JlF<PHxWpTVk?}1KOjUpG+DZfp*Mo{>Y
zGdQF%4DP3=k%S3v5DqvJ*BllFPPZxq3Zvli`vbcp5sFB%P-N(TxN-vhXCT-|PKf{G
z{$Is?gz7$hveWe!n_jq;j@h_HHa;(;z;P|S<ls|a)M<ozl2Tbu(DAvaidh~Cr_c92
zs`?>ZrbSctX;;3_$7&MgU3~J4@t~Mgc@G|>UFh)jV$3GHrk!65Lo*(ue-wwEMYbxd
zhw<BLw|M)o&UbBz-SKinRWYuG#$Z*A!+Eg0ZgV_ows^{*0po=N4&&Yq@SsqWGq7ob
zhJFEUn%p)OF2vZwPv<^9qU&+N&Pa*J)SgTUpTOHVQ#JL1tY-WV_a}aTgeVT;<a!j%
zevfsB>JAQ+1sRlhv<=Az;BGMh1~wrj`Jw73#6f!ba!9`4A`1KvvS{V*VCC*?<t|wH
z@C<fT=v%?FqF=2!%nSxF2A_uHC&H*EBhvlV_GBO^rp94vNUq4N>7a=@$R&9RUSjo%
z+~M=~&2aJz!1ReT0hj==2=G}>J|%Mmu*;n6@~R^Db+Ze^Y*(8qqj7$f?MZgqHPxoi
z$u_Gtc})2sP+2{Xhy*FS5EM$TM$h22Ij23Q;|lrUG3k+BzrOmJ4?m^z=e1&wISudh
O&=2q@!w3Jn-24r~G>GT`

literal 11119
zcmeHNTaVi|7JkpK;5yjFOk-V0-F-=cBuKYFcNf^E*oVbFXe4?@8Ch~AdF)C5{C=cF
zO19-0r!CqBXp+f@<RN+Zox^jJ7GLkzIeFk!ot4FMLQQ)@c#)K8R@^QpKYVy^gcDLX
zagoM(S@7kgC?{XPezEwAVUV{Kj~kwnUDn)@Z;Sgni8q{F-8Ic-W?8%4&dj<_v#f5d
zYhoC$U%Xh<54SG}A=tO5XKAvWbQ3n)Dwl+5V)2}>dC}AsHK{e}$&;Qu5xZv(JSo@f
zvZ&?EqJB9buF{oWTyV2<BoU3G$g-Kmm;nl-ek_`JZyZhqk7HArZQB;c`b{pQn(cEy
zF-9wyk)!>Zvl{Sk@S`WF4zn(|Rl-+*lbZ!^tal&YS!&R*&9q4e%P92qGAAM_;x(@~
zal&g$5zG0zEN$+VlhBr}JD%O%HM*Il%Ly=Ga%`YERCcI!W_rXn-O!|@iUPk~Pcb}8
z%S3RnoUE#N9UF<6#CdjODuDG;e7`BH##m)JZ|SYOa?Pz(b8mfLu9{t3q0ueTRNLa-
zs_%w<SyGytqLte5qWg3MoTHYr<H1KY_!=s>NcpN3sz``{K(yS67{Cz3%j4>sDo!(~
zZA;XW9geuR&AK_5RX62E(YDm02Q;pPQmjl!xmwj6=(ilUeRcDg12#czBxPP!vzIIR
zXD+)+h%{>+XF#6OFz_bCYWaL>&v0bVR-|Y5OsMD3;Aqde-fdwW9{w}2asqIEhVL-|
zn4db{Av1J7a;PDYQkQ`u_6juLCn$~W7DR#LUa;E`!ohBl-tF^H>I~`(QqOq;wTSaw
z{8;N_N>ehst2j*G%R~4jo=V*WE62lO&+DEpCr)U3Ug(FBUi=Zg)OKt$2&2At&qis{
z8+o?r1d-$D6>hs5@<Wj|^>VVUdG)=pKmRIzsQC%ihbk^=7`ydyvW}Z7+h5sc7`f28
zz@OUUZ{KuHn+2icc~ffprfWxGblqcocvKC-FGSM_G|S_78onlY3Q@{T$BVq4_AH{*
z_Lvz2ertTi#e5o3b@4AYP(n#?tk1Z1e!$qx1sCDmwKJYDPa_v^%;t<<^In;I(~8qY
zkcmcR+(514`d+Dscz#-0h2#a5Ydf^Zt-|G0YY-yFMd(!YIu53k_I2(}JDYyqG0B0m
zYR&R7$%&JMcYsSeag@f}xVk9|gV~hY`0vnVYImyKX1iJSh)ZqyE(<-sS8YN>cYqrh
zI^nQ;znmD<bQl9Py>=6#0*U|@CZH}G&gnvru_1x9z!gaM7KI=>mCg_c&u1@F+wl^6
zE*ge%gS2f{+nmq%124)ng}zqhJ)cRD^y(nw)Ojha(C|u$LZf`n?h4-8DX#1HXB7z8
zCXHM_@SWbnc83HuVdQwM9{`Y`x5J3}wjcFjfI<x6a1eTos=x!TYQ?{aw{@Mx#hZMq
z86K$DIhF--={x?AA&eHWKQleoV~3KG$2!;m$Ll@i!fMa_v}ad(evXkRe3pop21Zn{
zb7;z4+ouD9r>&uq=6PEj1(8Wz*BMCgXV~H~zZC^E3IkX9E!~7f;bjr>O^wKP%_w9Z
zd){%4;2?oIW48rvDzqFpt=}-X9Nl$jqAxV{_RkG3f1wg;-+Zcqo;|qmmnop48dH>K
z0vz9)8lmr*5w7aB=IRNJb|ce;Iq9)JAFuV%MQailmPm4hPAzoKCK9mpA>+IDG6^_t
zVja6};#(x-a5;!R+l-`R@usX&Ua28p{y7-xjCEUr=+;&;6RYZRn8$9SHp*fg8DCoN
zV8xCHKb0loM+d2pkHArxR6RF=iKa9(88A|IxF3W)W{w%!NDmZ%dJx&`Run0WZ5zyP
z_QzW%+e-LeBaa_B5RtzW1NB|GyR8I#t2o#A>BV<hf#Vp;Q8?P&9#bgK5V&gPV+tJb
z1hH;;alCWW*6}`DXP-DYq+P_cSo0=M<0kH9uX<F-xIjr|_V0J^wINE9*?-DP$5Vs|
zg7~J~B6rc@5)>>=W+Kv$o7dSI;uKYuS11ud1@%C?D<Tm=+&pf$?m(Ydw&HDlL>D}U
zC8ac3BPZT)>-z@5!M9=)9SDl(MlPB)IalETx~z`-&c9iM!!0azba_8yNo(MAZ>w^<
zS(hoYbSZYF8bDLFm4ng3%HtcJFDGx}<X+4z+Cq+wZqlsYVB#z*g#YV+TMVPjkr-1i
zelEg1COC;Nj|t%J4@)q=UUVs9%h2>0qfwwPv5YJ|WOktor`%zP(&2LAn!e-OuG3TM
zi(s3~b0en@Dpg2%G9YeW8&G<Iq3(f(9A`y9+0|7<<I;d~ek3eqOm9aur4#&j!bXr2
zBlDadsR>P=D$B<lmDwvBF-3sf5}+zq(Ye_p4m<rGs?#v4Mq&2qq?i!W>(2|b)ooR%
zvnW)zfS`sfD~`d5jLwU7R12U)Q4p9;gz#DG%eZR&hPr*c)wB2PBo`dq?x)r1IfYSb
zu30+JKXsihR+9l=TE5C{|7mqlLqFAMrT?z&_4T7?uA7K4FTZXuTFFfubxCd;M4%WP
z;bjBzJ4f}a{22AT0EIqgN8^?Yj<9oYZ6)OvIbeUe29`$`=>q22ZpebJNT-`3lwvNW
z-ZU_S2z3EQuXPa6Z$ik}qLCNak?k<KD6(YTcA4qp#Y`AX9co54bv<91JK@*`-nW$Y
zb$6U+6E}BCUnPyw*`zEAlo-m&K=AeuH`@vxT!l}9vRzNir^v#GYYavBtlL20;S;aQ
zgF3`;G4Q-5C~y)ZM3Df$?I}eZPjm}4PUezC^i%l4h<K)B2U8KPIzFNBk2F**4+3_u
zhMa7;s7G{<q3H$=mN1yf9FL$_<Au%?6ezF~{DPcy3w6iH6%090BnoaK4>Q_^V+LTx
zp1LMHH8_F8o;oJ={qET_DP!^oPK1RSa%?t5y@5Jn7av7i-Eg5a#0XI55L`)$wt*sP
z2mo@yE=B&sD4{k^=}B<FItGnlkAq#Yn>?eY2|>iLWgw0sF-1=Y>UZd{$)`b7xUi(p
z7E&K-XD8|Y{xIPQQ7)QEPuV_;I?#z4I)2cHF~5eIx1L)vc&yWZs?hJJLc^>4tJ(!&
z%!Ht!NPX}m#IODN84EVdYC5Ivv|Ii9+!RK|3VP=*l6Z@(r!$P*(Z{3BE{kjpYV5!l
zXmi>|74kBPM^ReuuhIyfdg7_y5XRACkwc~1=v#0gzT>#CX)tlrr>K(H!O$Bud_Sn*
z>-vXCzr-tZ`F#Xs-e2|J?Love2Q}J3H)2vzVmEyh&IjExex)|`m^ZWu>Ubpz2Q~8V
znY-D~SF$Av-6&ZjOU~P#hqyxBw>jwB$+z`0&qfuzomKHBxl=TPf1?emXM+8C&Kp=R
zqdU{g#%?<lYYsY|N`(fM^mfBlyw38+*@t|0`vLj(uFA0f+)!#_v|Md?lC82t)}D`O
z$v=3SZP!Dn*7;0+rvT+glFzFLq`->?UB&RGodLQ_7*C<@Bqo-D$ogPR+$SyYsuZu<
zW!631>qJbx5>qFDn=(&7>(p;BVe%T^+B8{$>)en%SrR%IU*Cuxe13CF)(QP@_&@xc
z;*qtF^Mxgm7y(3B3ppm<!Vd71c{Owr-(?)?<P%W+UVvmPa+RUNc1?aFs1Tt6SnN5;
z$lvm2PC`7rdUcIj%_Sfl%2?_P!i1xX`3D3+9{gi_@Q?c7AH~6cy71_I#4glZ9^Dl&
z+JQ~_BObk3ZzxWFb%pao^4H{RVw)bZNd05gkSk`QYbLs`$yX#PYfz#O&l!0|@IjmC
z{)nFsf4`nzf)$Gfui`aU_>|!bP!nLqfYnN1cIjb9?u7Rx7zPU>z2juZ^PJol<*pFs
zVZF^`Q}&~NP2!un%(o3E4{^Tb(tJp02)<{OATg5FLUl~?m35(RjNBu<j`=clgOaas
zk*G8v(t7^$&0Cc5F0!42?|}5B2)+OVg1{H&LsZrkIjvZhVcX13WpyeznLSrNQ(jb0
X=z`w&op(Koc=h)M3-LnZ^^5-l&wk^H

diff --git a/share/theme/flat/considered_valid.svg b/share/theme/flat/considered_valid.svg
index 846c87a876dfc3ef4dbe1da89e89ee1aca1ddfdf..53b54b93609c1ef06ddf4ab20b0d190f4ccb8b08 100644
GIT binary patch
delta 190
zcmaFL@tQ@{rnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JA6RlU<m!SZxXt
zOEM<+G38I*$Sk2|l4fq2Vy2`}Qk0lioR(jdYpYb0Uy@jos-bIXpsA#92T^Xv9KfNg
wX8;0*lOHn40QJgCW6=cFlRo($vlP(2tIV2A`gW6LS>yzOCh4a`G0@F+0AJ8L82|tP

literal 1125
zcmb_b$&TAF487+oSmiQ7A<6RYz|H_|F~D5Apl6RPFNkdgva<E-E7?xs!xROI-YD{s
ze2*g2=S$bZNvNTbeTEou5Qv`3qUoy){rLWZWAwaRr5`Yc&r0N46mV{I4X^!v;Q2wo
zQ?2!3OX>N1Ce7?5QdM*V7@N%DRGExI*QR<zVlV1C1hr_YS}#2d3Jk%i5$8|xk|75i
z7}LVUO>UNF5QcU?WN6X+?2T<*$8o4>IzzUc-%;EOXikF5u9N*R!uw%;LlzI@;i%d%
zTyQE{(TQFUlo3X6SXGqwvR3)roFz#@9hbT;HV8aid!1jf?Xg=y+6kQ(xz3FZsflmD
zetEGrq?~VmO0@^;%-`hEjK*fzP{FsQR9&ujO_x`~O8aQUr}PoH1NGH>h^?W-AdiZR
zJIAG<f_IHY(r>zH+gDo^(MLDk=vGYcl+MIP#`Hlsr3)=-1zP3(U}<J(G+VPMPdJW=
z8@hm*?+`cGjEd4jZnkHES5lAQ#MvMyGSnG3BT)cJL|B|h#Ak5;5%HohGRt7r0kB6R
zCvhPpUL5--_6}rrI`2p40(h!WPvBn&N;8lQt^G0zif|grp9tUivLGZug8vI$%mfbq
ziE`|{m3}!>=8fX50B#Owq=kTA&9V6jVG#nAp-J#fZ!dd+V9-kL&Bm<F0WGE5KN+jQ
V^f4#q+cW-4a!M<6{B~P+tKVn)H_re7

diff --git a/share/theme/flat/fold.svg b/share/theme/flat/fold.svg
index 83c9db304791dacbf85d6ab52ffef6371626092e..c0d637c9f6401bc216045a653e1abc9447f1b8a5 100644
GIT binary patch
delta 67
zcmX@h`hro^rnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JA6RlM9)ACc81I
NbLiXI=mRy{0RZBF6utle

literal 717
zcmYjPO>g5M5WVMDu=LVu1=yrbYzwE-?y6F+`=LFvKx`BP5s*0j_X}>E_%_VEnfKl>
z?Db*>a8^EOXIog}0s>`)liGGI{PX(_Rq%DUVqXvf-@W2dNigczgLiuff*%!l>|;DO
zgpA{e^)-o|@5mECD0PN&mpWwZ)ATK_)>~sB=#}pJxXdghln|V?8o#+q3ky(ysclo!
zdXCl!k!0J@!Ug%bo@i-N6eN*eA&n3>l*k73SqW#1vtfeU@Gv9g9eF(YVJb^O)S!&A
zF_03MWX5{Azm3h#ujFN2*QB6?Qj`!VeAvh@D0A#qfEg9J<dLTsuvBk;{&>qVU_vy1
zoj-t_<p10$ttNNmk`&F}dBfvQ8{VmG?Q1g6$h~j_#*g$Nd4^ZPoxD&tjY~sP7@d*i
zSJcDso~J@`XNx)x>hsOWRoJAM+$A%z@WMI}J+~ptY~d6R=};a~RbjfJ0F}=LrY}#E
zBX;EJdSnYtP4T+gfbzM<<+iW!OI58Q*e6LXw9YCBLiFyCJUpZ?onL6aB}^yLjCAS9
I@>X`M|1av>LjV8(

diff --git a/share/theme/flat/inconsistent.svg b/share/theme/flat/inconsistent.svg
index 8c6e8e20bbff4a116444364234141e6d31e82994..376a92c7a06f6c13f714585358ac13b59dc26e0b 100644
GIT binary patch
delta 207
zcmX@kah65YrnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JA6RlU<m!SZxXt
zOEM<+G3D#)n&}x^SeRs(>zNo@m{ut%loTcA6{qDF<=QG0<(DLuq-y9|8fYr%+d=f`
zGY4?!>KTB5;pB%*GTKBK0M(y9`2n*O&;i?-HJSA7CjV!a69Ag3pAN-9PuKwfT#P+S

literal 1095
zcmb_bO>f&U488YPaO$POAjz^5e*|_4Y(s%wyA3;gvSJIdr9f8VWWRoroev*63>bE!
z$Vc)$ip-x+T?<EHdZ|@`7zq#v#dRfBU7+vZUT}(@HxKy-jN!8pr4<zn(l+p_c0Dim
z0-hRc_iIXrVIcD2B-+$;0T{c?{#d(=$~LZgLeePdIs}c7bz|qA83l&mD8=wep9&N}
z0ApI5h1u1L9Kz97eSv1phiGgY20=hw(+gzH`3=Rr0C^N#cb!)K2v_~%6<OVp`-5r6
zaK));MJJT)DI<(tv8LMI%6jFO<}AxH8iX_qu|wegtZaG0zQ^VP@=n;YDsAa($X$H>
z_T|OfkaNENq0J7wv;3(KZZtl_hbq3_YSWc=BfGK|UfM?|KBxD<4QS8qLwpS*dVMfl
z+&In!RlJiPNxxdzwy(Y_qW5lA+Ez^OoL-2HjOm?nPG?&38muW*?`aljG+VbQPdH6U
z7>9t_G9ck<F)GUUrQ4nv-e^05vtWUsDp2R(j3g__62j6lAxoC7AR$o_CvF+sIslGH
z5@aF7Budkzi@gK6ID_}2mjZaI&`jW8(-i*1@J5iWVzSEcf8mFj!0|tD<kIj~0Cy)c
z@<71P?wpnxVF?0Lph*&ft^48vDXj#8-Wt7gJMrjFWUkdueXIi0=#Oma5A`p}Ij!A!
J`+eLz{05DrFN^>H

diff --git a/share/theme/flat/invalid_but_dead.svg b/share/theme/flat/invalid_but_dead.svg
index 22aabae68dfb4456274747f3226be74fc955bf98..213778c2518ae09009fb9aabb5ce17a0045c816e 100644
GIT binary patch
delta 243
zcmcb{@t#H0rnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JA6RlU<m!SZxXt
zOEM<+G39INn&}x^SeRs(>zNo@m{ut%loTcA6{qDF<=QG0<(DLuq-y9|8fYr%+f5c`
zwt{NRVGiKX)iVGA!^sbsWG3Hdme0VV6Qa>3IkPA^CsiT2!dA)BT+h%#Ng=rs=qeLS
xJwtOPg|y6^99yNl{Jc~pg(6!eh(nYVic5;}vr}!Al!2B2ZMV@+2V$T{?EpQyN3Z|@

literal 1110
zcmb_bO^=%}5WVMDOr6U{m2C_pKm=K-tybFWwpGv6I0OZ7WSp=5`i_AlNL{I_)Y~xg
zX6C)&Ieoq~HJp^`D&1y8Fpq$0r7o(r%*gj|FEl34n_2pSQuu6CZdC#2%I@H`-FGrS
zD0tdgdsuURKA%}NCYd%RUjU`p*_}%4DC`cWM=TDarXjFXRk^d%%!Gm<aH`b#lfGoc
z0}uMPRpKYNC_n_#Zo7<3mY;)ut?zjr$E71=E#)00oq+13q;4ABc0Ii9<~L;VKpu{!
z?#qSbs#c9^ZN~)@{Dw8f_CD4rAD4?HNx0{8-=~P6-L<v(g}NP^8KjM}d6C;3V@R>S
ze*5y`Vo0T2|IlU+E}8$-M?8(|aHT@7x7swh-Be9pDktqDick5Ya0l8e{t!3As7@b^
zRCkV3L4|B8hvZ*vRoAa>D&dc9wz9PvzEeID>lyP0<&;mfq$OCBx1FPzkv^=^C{Hww
znZNRZiqK>Ja?vYF4>`JLf;Zas;KW-HC^FI@T(D>fNyJ2)M=TWa5+W8vs|d}2b^sc%
z$V+@!u^^5^ti1ynlivH)aR41A>;~|!;R*vo$E0Tf1D%ryop}jt@n#umb*l(;*62MR
zd5)f&HvcK_u1+jhY?;viB9010SN|k%WItC$D3@}iEGr{x1rncIPm6%O;?oQhCQz@*
S$Z(#&NKbi*uie>mGy4rnYcuZv

diff --git a/share/theme/flat/invalid_under_hyp.svg b/share/theme/flat/invalid_under_hyp.svg
index f2a6d38864f5f660c2b122ff7365d53d7a8c2703..c054562a40e25c142ee1a55f1853796c0d2cb196 100644
GIT binary patch
delta 190
zcmaFL@tQ@{rnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JA6RlU<m!SZxXt
zOEM<+G38I*$Sk3jmX>N}l&YjqQk0lioR(jdYpYb0Uy@jos-bIXpsA#92T^Xv9KfNg
wX8;0*lOHn40QJgCW6=cFlRo($vlP(2tIV2A`gW6LS>yzOCh4a`G0@F+0E@gjcK`qY

literal 1125
zcmb_bO^=%}5WVMDOr6U{m2J#75oD#dT4}G_Ry|YW01Dv9I3ek;uMH&OuvMk1xADxI
znfE+1>GP#+;4D;M%PvEVI0!_?Wl?u!hQ5D$!7+N?t<nz|!)GOOEeaTFUBPR2=y`q=
z@KkAi+)_FW1F2^xk*cH{z}RH==h9>px-!)x5_?hGBB(@NR(k1KP+$nowHQ9hONJb9
zU`z`WH@R7!K^WRypP@zb!5iDUj^j|%bcSp>zoWPnP@e^tZ7aKegm?Y=hAbY)<4HAR
zxZqSYq7|L)DI<*Du&UVK%Ub1gbCx6tbzJJY*dTC!?R0*@w#RM-X)API<T^Jtq$a+7
z`|@IKNIBpBkm>-|ng5h0^EEcZh6=vjOV#FjSGRd7thA3td`cgIJ5XQEKx_>qdU;Y@
z+&L}<6}+u2l77{7)4bZMh(5aMS~p^Pr*tMZGNup8DP3quOVBFsdP_4yquH26dBSl_
z+|UKge22KfW>l0ObF)1QypnnZC(Z^zk)hVW8HoZ&BEsT4B0h@)h=>=3ky!?_4uCxp
zIf)A)@#5Gwv3DS|(|JES7r;}6Y6Aa4us0u)q4j<*LU;a@KM}t3WkE=S1pgPhm<b&I
z6J=5OJmAwDQ(i0H2;k;`Mp_8?)f}6j5Eda&8JYy&^mein2zssL!EDUh9MD{6oRyu)
YSOuoRoSARW_%F#REzR-UZQZSY1N`ndSO5S3

diff --git a/share/theme/flat/never_tried.svg b/share/theme/flat/never_tried.svg
index 9135b30ba1196013874a86ef1479e59c057551d1..9430a47d7ec170e0805c2021690ffe6eb8e27901 100644
GIT binary patch
delta 126
zcmX@kx|31VrnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JB-@Hp!Vq$vLSC
z$rZLr7J8P37D@`qm0+fkl0sT$PL8coUVdJxl0uQKlDVFVp@pfELUBn^es-#@lCnvf
QxoL`-lD?gdKG04(0GX5}Hvj+t

literal 711
zcmYjP$&TY75WVLsYUoS1S_a!$ya=bInNdr9oke~20I^XFL_p%??+4sjd@HJ6)qAff
z`gT?WoP>4K=muptMIbaYT<WetfB(EEC3@Q~=(i++A6B$pa2TcU;Y05oYYzgRd+!f5
zA>%k=c}-$tJMsca5<1<f3mx3|VS0hfWuX*;UdXQZ^UO>_hTtT{_}!cvltKzq+osB^
zTeJ*_AX~cz&B({)M4P8+N&@K>QZsf(v1mY^1T#t*?IyT(Pd6lgAP+}7Ol8i97=#kq
zJCfmy+_0AK?qj3#D|uE`6-jfF=Se^$?xKBrP9n#40aOX!^47N@1{&)1ub=NR2Fh6d
zY3v?ivi)a{VKuQMmN=_-#;VqDrD{77t-S{GlspP|pudC<i8HKl=4hF?Yn&V6Ov#8O
zzr7rWk2n>P2b-6E5MOUfuEHk8<RO`onHSoDx2<+jW`m}12#4~VlqJqLIV9OC#rgVW
zazvT5Y!JZ0=T-&IN(Af@4q;W{tUzEJRNz%st`Y2lxCUvX1p?=-*#|dIt6j0?n@KJu
LT{y3}kL}_=`a#&(

diff --git a/share/theme/flat/surely_invalid.svg b/share/theme/flat/surely_invalid.svg
index 13932815d17e1e6c5f7c718c87de5c5bb8accb39..4a04e4ace0b8d129832a3d17b43f5a6762df5680 100644
GIT binary patch
delta 200
zcmZ3%afC(GrnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JA6RlU<m!SZxXt
zOEM<+G38I*$Sg0fP*RkbSDcn#lxwS0lwXoqlB%I=X`rd3ZwFCl#~i?+t7iZLhLayM
z$$&ITV$lTAGx;jByg^!KPL8coUVdJxl0uQKlDVFVp@pfELUBn^es-#@k}}XJkn#HI
JKn!%f9RRCjJv0CS

literal 1064
zcmb`GO^=%}5QgvjE2hq6qslfW;VXiy)K)9)wIAx)H4az-92qAh{q?m8NjPjz?QQTp
zGxNS?oWGpg22RrSN_PcfBtRfLp-a_O1^V&*6{qNB`;>pc7(N@xtt??swuZNE-wS?_
z@LXGa*ibqQ15wi<(WatHz}Qvxr^;27wszeUlCF}rMNmss)pmX|lfV$1lpH?kbAbW~
zU@VKXFuO%7M>yGCU!d9WVKt5ogCL-8=!9&9xKqL#P$wyL+v=_#@vdLo$nrrRj;0yY
zrJ%Brt?X=18DaFsnsRq<>zz--S(arq2x%B%N8tX_S$@WT#`X#FR$5+i%Uuk)%WuAZ
zdG#^mLTr9&vj>03f9a#U8eid4rP%DWX}R61mRHhS`{>N)^pUuO_Tqks?_p%Gk4DJ5
z#<`(Vw91q8n^jHo=DQ;Lm}Zr2<n=qJldw@SeMrvf%u8N@HN5M+%mR&J;}+!^rzr{J
z5HMQ@B#f4$qx`_#_RM&r?FeVV5<yv@*5QmK5o8HrDNo3nr4b}#mBfi#2Dc7?S0o9t
z5Mr`Q)3wXJgG`6P``M`hzILdu@NWb=cOeB@$Z{<ralMqk3BK!PQB0x?{};KKNgV&X
zWTA{`BnbC_Mp+2N#XYulMp%Nt6zFRB=C{+GM9^EK_iker?g5R~b6UCg>lbeO^aowd
BC|Upj

diff --git a/share/theme/flat/surely_valid.svg b/share/theme/flat/surely_valid.svg
index 75ee7577e43ef635c4e4d9e98bdcf4b153cd80d2..a8c65017dde7481beec7d2ed1f9243b74097131a 100644
GIT binary patch
delta 199
zcmdnVag{~XrnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JA6RlU<m!SZxXt
zOEM<+G38JG$7CR{P*RkbSDcn#lxwS0lwXoqlB%I=X`rd3ZwFE5&m6#^t7iZLhLayM
z$pAGeNMP!LXqo(sS>7NmGbhJZDK9@SRY{@9R>@q?#L&W2Nuju;C_g*ZR!JFX63BG@
KbRY&g-VOlhzCHl}

literal 1081
zcmb`GO^=%}5QgvjE2iGdMwM+02_F$;rM6mWuiI8Vv&I1{U`NIYNq>E9LJ|(!Q+qQr
zk7wR@80XKYu7#s8z0|5ej06aT;<}QmF3`^(FE~Zdn}_@p#_-jM(uxWOX&ZP|yPlVO
z0Z)y!`!%J*Fc3Kfi8eJ|0LJcSf2`e&$~LZgLeePdIs}c7bz|p|nFNO5D8=wap9&N}
z0OPed3$yDfa)gtu`U1_G57F2*41$2VrW3N}{6=waKpq9xU8hw);;MhVlGUBuA51%@
zD^5i#I-zV&8DaFwnreG1>zz-{S(arq2x%B%N8tXfY<a@I$L0a@PS~<4ZRyUCyZrj?
z+lxO#&iVS6Haqaa@?9U?X#5SIs`z@VO;_5D?8;hrYoDF@oZb^R(4O57@imO-^}%p)
z(>OO&@lJY@ez&r1Uwu_X@7=7lt+;&WbP_fyrgzCXoq5S?u%=YKmsz0k*t$h|!f8sv
zI0Vd=0SQ-&(NVrH-S*6QqwNT1!2&^5pw8ipBrC`g!qPG!OO~!6AyE=1ZW-J<0FFo!
zWFf>PO4FsweSl2C;N$F60ADIJ7x*`Vts6*z9@FT3yWAq^t<gI-#A{%j%HJH^46s#9
zRvG>;`Y{tY{ud7y$y^%V3gGTVjj|B%vwMBZjIacODbQsC*8wQ4#LT^WQR9N-v~~~L
IZ{X(P4=vR#EdT%j

diff --git a/share/theme/flat/unfold.svg b/share/theme/flat/unfold.svg
index c6a52d6c3fde411fbea5d9406372991bdf42d959..180a7eb4d5f2f406013dfed939918f82c1fc184d 100644
GIT binary patch
delta 109
zcmeys+Rr3vQ(Ts=kdd01o>5|}WN5BuVQik8J8`NCe|cs~Nd}V8b`@qjoAk-KOuCcZ
znA92VCeLG1)Uqi^EXhzvu~o{oG}kk<P%tzx(KEIvv(z)SurOBAx3ket2V$TVb^sZk
BA2|R3

literal 752
zcmYk4O>g5M5Qgvh6)e59ssP(b6WhY6w7aU*>wc(b7Kn{vAOd2i|9-)Z6W<2rnR(xV
zp|2O+gF!m4tZ875GYF*NRw&ap@b8~DRKnN&ihe@~{BV*5DZr>g2j0!mb9R#8u?yi;
z6Ecn?R@X~xT}z$-Lb1{hZLAQXi`{p)T<^4opp&ZY!t!QeA%|d4a{O*D4a`6Wrm}5S
zRCBbBM6_*u0~g}sdXg=&EF)3$iqxFnD4qsTgXC6gYy5;8|1gu{PM*%LpVER8*-I@=
z@Fd4MnOP?ex3+2Wt9V{j70C)x6etqNf11E9C~53hfNB|-V1dOL(3r1({d`L?pq$qq
z)*V5*WdH0rK254fDZ%T5b()2}(yWzfwC6ZHCHKS)44?5sQV%D+Jv%OM9+v|Nu2mw*
z@1XkrJ#~fTt`=12<=2^#tFg&3xm%`WF$--$aLo8*vw>6C$3=NWWr>Sz0Z_ilaPjg4
z!6E83&{!iO@WI(*H24tzYd)cQQE)MhPfskanrNV|3cN12Am3Ct-*pv!Da-Yj=>@aH
Uc^Q#SM27`JNgMYtJ=}ivA3w0;V*mgE

diff --git a/share/theme/flat/unknown.svg b/share/theme/flat/unknown.svg
index 026cb619c059c0f90c2c2b3ebbc72bb811394192..5a91544a10851fac14d712620fcb141769effb9f 100644
GIT binary patch
delta 200
zcmZ3%afC(GrnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JA6RlU<m!SZxXt
zOEM<+G38I*$Sg0fP*RkbSDcn#lxwS0lwXoqlB%I=X`rd3ZwFCl#~i?+t7iZLhLayM
z$$&ITV$lTAGx;jByg^!KPL8coUVdJxl0uQKlDVFVp@pfELUBn^es-#@k}}XJkn#HI
JKn!%f9RRCjJv0CS

literal 1064
zcmb_bO^=%}5WVlOm^zn@D%%(mJ|f6UZMD)~`=Oqxali`Lk#R!OUtgP$gv0jK-iDbs
zGw+!<`OCR$;Ur8iwJH!J0Ro}8uB569^yB+0PSMNuDgS^md^V!AqJlx%2Hw=Z=jB1b
zb7SpcL+LOKL{3SfO-+}8vFq$lwd<&C<EAGhjgqcI&<I&KcAlA0U<gi944?G5Kmi0W
zw#8YP-J-}L9BtJXXtsQa#<gJ(1k^2^AREr_DDDNwli<4RwCYE=>K8X;^*|nurX9-_
zr=k^|P`0OxFnYt9YIh&&l~2oAmSr>uX&7RM!2Lzp@{IkC?Gxmkuw_-+(#4Rw`sVAG
zS06*p`R1oKd+^Efmp;0u@g2TY@y$+~uC!a(m9_BFK05I^eH89MdvQO+&oH9bN5jRP
z<6Kb1JL!@1o0V<*=BFb1*k+||#q~R<6S0voeNfKnOiNyaHKpo3%>s>K>x}Y@)0Bj9
z2$-z`60Vn{qWn-g_ssA{+Yy`vO9WMcItOPYSwof(mX--wv2+ayiIO;RW^i@@9FZi*
zLWoI}rYl!_2Qnpt_p8$Ye4Wr-!M_pg+=CQovD=9_oF3(GgztRWIwtE3{};NL2^{}B
zWiAbG1#ovjBP|5{;*M>V5tbk@1-c5p=~Y?@1idwS?;Nvm2Q>O2r?tCZZ@BH#A7;HM
AW&i*H

diff --git a/share/theme/flat/unknown_but_dead.svg b/share/theme/flat/unknown_but_dead.svg
index 06a2a560a2885a3f23cf2325148d63ba265ba00e..1402f0cba1163e1d8692a8e163865910176a664f 100644
GIT binary patch
delta 248
zcmcb{@t#H0rnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JA6RlU<m!CKobU
zvDy?QmSjvm&6KaNYo=#xVPTSCu4iIsVOpi6P*RkbSDcn#lxwS0lwXoqlB%I=X`rd3
zZwJwn!yLe&t7iZLhLf1Z*o^he4J?f&-)EN3z@inZGdZ&;IVV*ixx!Y-(p=BbLP;UH
z66iD&OFct#C55!ioE%%Fy!^aWC50keC5TIu6pBlV^0QNIm6U;2fvne02V$Ua?EsD)
BNSpuw

literal 1110
zcmb_bOOKl{5WeSEOr6U{m2FH2j|j3-TdlO$ZL6NCaR3EyWSm!jeaD0(99FF=^=3TZ
zd=F-vKA+nLj>`14?lK~nM?iH_7j;)=<omZ58k6VEEd4+!d^Re#s(@2%D|qd8z0CIt
zo+@kiYtB!n6RXEdrcKEgKq+?i#}YdVTOoVI;$_sf1S(aRm7U&9EC>R}TAe=Wb4EPy
zU}y^yKe?Tjh(Oz2pOK09X*tOHp678C9U*He?<na4)JG+C+v=_#;9WnzA&Uoce=yBZ
zE+kitYE@@@E|}mqtSPp4T9<qj7fF(E&*#2R5kdP)XY(_48k-rUt+IKM+Z@l3VtxJg
z<;9&Lm2&+<n;p2z{HH$PuW=o&RLJ#Kn>M$by3I@FqJ6~hDSs61KzqS~I1ZzFeK1np
zJx&7^vaKDGf3<bfygF9GA8NL?jk<oPd^9#V<`2s$pJYi(uqN+%XEP(ivB5=oqH)ap
z&<834kNK;`kSN{fxIINi+9YBk1`!Art&Spat3hCkjxy5eP7&y>(L0PV$BAAIUYjRk
zM%zIt@fKttMJ>k%19={?K*TGE*fI(u+$7v3pi35ci4P%L#&LkPcOc`X_kMLGpjU?K
z3jXzHhj)Ww6|z-A|BF8=6b=8$<M@B)+pP-yaq6k8jcgQ1d~Sm+0`h`SGf0@giI|LB
R6aHm5DKGK0yY<}6egp8^GxY!f

diff --git a/share/theme/flat/valid_but_dead.svg b/share/theme/flat/valid_but_dead.svg
index d46e56ae406121b3f02f9b92fc90fd1729fb73dd..783a93c9b094f02ef34501e3ab0d4c0b3f4a3ac7 100644
GIT binary patch
delta 248
zcmcb{@t#H0rnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JA6RlU<m!CKobU
zvDy?QmSjvm&6KaNYo=#xVPTSCu4iIsVOpi6P*RkbSDcn#lxwS0lwXoqlB%I=X`rd3
zZwJwn!yLe&t7iZLhLf1Z*o^he4J?f&-)EN3z@inZGdZ&;IVV*ixx!Y-(p=BbLP;UH
z66iD&OFct#C55!ioE%%Fy!^aWC50keC5TIu6pBlV^0QNIm6U;2fvne02V$Ua?EsD)
BNSpuw

literal 1110
zcmb_bOOKl{5WeSEOr6U{m2C_pKm=K-tybD=AL^Mk4nYAN87CzD^&JCw99FF=^)`6E
z`5t(jKA)Q!PRewZZZjg7M?kew7gbwk<j40H8k6VEEd4+!d^Re#s(`+-J9usPoy-pk
zo_5wA)|~f!&#LK=X;bnAP>Pe?sl<uG?vOoVaS$~Pft{+#oqarcupkJWD%F3|=ZtvZ
z!7#Q;{N!2%h(OzImyrkYJ{V+u&+|BnPLQ>fH<WY%s*{qsX>{8S@V1*@k;NT(IGTEB
z7m}-5HLA587fkRg))d<ttxG<MizG?7=X2kuh@jo2wfUJkjm-?wM%lc`ZH_gh*k6DB
z^5SYprCk5iW)JQ#f73_&HEzPS3c22D)8uwjHF>FAw2v4*<@d%7XfJpnj>D)<AB|Ku
zkB@;0*;Ee6zuBs;UmYvqcQsqtT8-Z+pNtKT`Q38LAF`w+Sd+J%vzd{htZ`AEXdE+t
z<pUL=$Nc4DNR%FO+@2yMO%gE?g9rtSmM0Oq)gZ7%M;U2#s|a+~=siZ5<Bg66$KeMt
zqwS!ScndO+qL$->fjo~`DB>kVEQnSSZW8Vi(11l=;=_ssaU5dr9msU(z2BV(=*X}e
z!N30O@McgfS8SQk|Kg7dMOXjiar(dWIC$HJ+sU%5jI0$%d~Sm+0`h`SGfbGk8!;If
R6aM9LQeNU~ck8*C{RZAhGsFM@

diff --git a/share/theme/flat/valid_under_hyp.svg b/share/theme/flat/valid_under_hyp.svg
index 3d601acb951d464d0904c0f2c2718b6fd27b723f..0f700d11144025c2126dcb4020e980425d5350c2 100644
GIT binary patch
delta 190
zcmaFL@tQ@{rnoF!AtN<2J)^`{$<SQS!q_}Fcj8nP{_@O}k_;rF?JA6RlU<m!SZxXt
zOEM<+G38I*$Sk3jmX>N}l&YjqQk0lioR(jdYpYb0Uy@jos-bIXpsA#92T^Xv9KfNg
wX8;0*lOHn40QJgCW6=cFlRo($vlP(2tIV2A`gW6LS>yzOCh4a`G0@F+0E@gjcK`qY

literal 1125
zcmb_bOOKl{5WeSEOr6U{m2C`!M+8}^tybD=AL^Mk=Ai(Nj1!Xn`r1Ge4qH{KdK=Gt
zGxL3(ndJG>HgFcIuVt4aMjQm9<1(+iGDSbWzu*Wx?^nqOjN!8qnHD(=wXWc`JM=s|
z3V5otKJF+ThJn<xlSoz44Pb0C`*UeBa$T9~A&I=OZ4p$WE-StCEGRGp=UNP(<RwK8
zI54IKu^Znk&mau#u20dT`QVLhUB_{#X*xr8oZnI03aHP5%eIwWKf=3yeM9CC<ng4M
zF`RQM8qtbQ_mmMvZ&;NV_p(;`+?>U6OdXfHE;b0<Upt*$u<fy5LDCAH<(bZm4T*{G
zzJ7VJHYA+yeoA!!>&)Kd$$X8?u%Vpq3aQ#m@9Q=zg_ZWvh)?Jva0lwE8HlZ+L@!T@
zi#x}qpq#h0MbdA&ZkktH712jGUF$|n?}X08M#l6(IiU+JNeNnIU2kcoXfzwMC{H+w
zh#R<onePyHyBQTF$INWc0<WYV!LhSJkf*3Ma7Mx{#35l(780LDTL_642BBF7vkrhg
z5<0O90r8^9H?emhv(tG$Iv2oGg=zx-LQt3wNzu9}MBvV!@+ZP~zHA$iZH)g5UCaay
z{)uwry%l~j%`xG%;*9`q4rru>fM3nA`7vQ30+pgk@J(+gJAt6rN*>I{tjz(<b;eoQ
ZnT%Cn8qAsb_Kg3MoY2x7zungT>NnzhI4uAG

-- 
GitLab