From 19849608a5bf22dc233abf5030745f3ea0fcd4c9 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 9 Jun 2006 14:31:34 +0000 Subject: [PATCH] added css and image for bugzilla --- helm/www/matita/bugzilla.css | 11 +++++++++++ helm/www/matita/images/matita-bugs.png | Bin 0 -> 10238 bytes 2 files changed, 11 insertions(+) create mode 100644 helm/www/matita/bugzilla.css create mode 100644 helm/www/matita/images/matita-bugs.png diff --git a/helm/www/matita/bugzilla.css b/helm/www/matita/bugzilla.css new file mode 100644 index 000000000..781c603b1 --- /dev/null +++ b/helm/www/matita/bugzilla.css @@ -0,0 +1,11 @@ +div#page-index .intro +{ + width: 225px; + height: 225px; + + margin-top: 2.3em; + margin-right: 2.3em; + float: right; + + background: transparent no-repeat url(http://matita.cs.unibo.it/images/matita-bugs.png); +} diff --git a/helm/www/matita/images/matita-bugs.png b/helm/www/matita/images/matita-bugs.png new file mode 100644 index 0000000000000000000000000000000000000000..b91dfa986343ad5319ea2fe7a45087c01f25a384 GIT binary patch literal 10238 zcmXYX1yt1U^EKT_=h6*Q(hbsxbVx`_iIjqLDvhWhp-4!#bV=725d;D0Mgi&WdWYZt zJsjYi-TmxSGk5O2^F(QDs^H^L;~*g+;j5`C>caoU+g~gU_$yO2>^rnn&#WS2FGxzM@nZwA&TsCaDBU;EnUQsjRO?ZsS|>HQs7mUqNhqos6u;4Mp2rAT zNM6J6$LoK;c7B3768u3f!J8JvOA)z=AQk;weD_;G@R}UD8}0-K9$A^f!q-qF(O`R8 zHy+pG(;vY*!4DaTcL~exFKiF(qAt98={=znxAXK1X#x5*jv`X}(jG1vIZA0~hivu1 z$sA^XrE-hOv%k0$OC(s=WZ0*K^=O9<5jz{vtds84zmQEs_}kQ_977fc-c;bMG>G`C zXmL*tIDSD^?_m8d@s|t>&8r==&4(L1!7uGV1GA{4bAX#0n?6MDSG0o>=H-RibyMBT ziNfUzC;QMyf0X+hI!Hkk1Iy<(uTJf(dp+kmDi`=F(@^e9E)vY3rQbx|Y=p5+7gj{` zk!WM@VWVxuu#;10j5-gMBlr;o)ps5VBC|40Pco`5y*oukGtFM~ZyEFynM-opd(mk> z%yqA3MQ{g&AZlJ|DY-&;_^5enegNslZDjR1RZMAFZnjbZ64&|B#;T~>g52b`VgATa zv!53!&Ka@O(b3W2<|K()yv;KOGc($g`JmR$os0F+V#-)$QXF(19-bMm`2ajxu6K1) zP9oXk8*7tQ`A$2FQ#H?K>Yx7+B7YQjX5MpDYW=%FCnqQ8yXT07{~r2lOoF^;<6kRl z7CXXlrS`uwdwYLhz5BJW(5nCAy*niSwzjOfxw)$Giq_Ul%qnkL`1syUO_{K1q;v(G z%&zX*|N8yA>ybr3_wHh+tslX~@z$UJViBe1B}Vx~GX{SpeGfT4i@L7-%2Wsq50C%+ zSv@dN#<3=4C|hOZ_isftwJ2|+(tbB=G}$QgGL`J1FGCImrKPqVq1fE!O&=#FjJ|p8 zxZH@-)6@U=hN`nrFF!Ie^0fU1Taksd8s&9++uolZpVc%kF^_+Q*Vosiq@>!~+H#JL z>#dOw<5|)J&!3u@n27o8=XeJ*5#vk|pZ)mpL+tqynudmkqN3vNkGo}r^z=6|*yaEJ zImE}u-+s-5T-~IG%*fDJn$oM1o|}|AEf>5>N=nD#7CJgaQBhG|i6KcWQOkYFxATAg zyu!NxzIhwNw6-cI2d&v$%fmzHV0F-bsVmCcXST6dDOWcxCFRFrX9PArey-Qf+!7-$ z5zaPCOLR02Oa>OqDkGEbbFdQk{{62!R(iE~@3ZCP$<`oQ>e%qpQ}4aX*ubKK>pM;(gX9OHmF)}h9u8pWjc{9p~IHwz$m^=sw zkiK{CUeoDPOjlP|^~H-<$;lKk6nu6&bIl3K$s`mM?B>CQnHR$o6OqcO8xy?{|>E$qN-}-N5nM>ljM3<=Rmf~yZtd!R~>zQcpb~{ zWIMN@AQEEg4%x!i&@UT-%pr#^T%x#N0R?4cD#fF^y1MdudL%kJI^0I(!3hbZ5f`S+ zOiZe3YMJHbgt@wFZXX&5GutvJD$}TAG14@9La|9cin`LNsi}Fa4J)O;U0&;L@;Tt( z=7up8Z61VSnThVFiMxk)bjZ8Rep7n(W)E{!ua_3G}68a z_y~~+igsLF+_S?GE$lmYJWY^MI7o4l_$=NIIgk!%D|QTsuZ}p@kWx@Q;irsz^Twt( zp7k~vO?3a5V-patv$BQ_%3QoDFXyjt;ZXc{30nf`CnO>w5P0dmGMKURUbyA0^<<^( z=5*b=;bC23V&X1!awZS+y{9!MKl=I#A)pu;L(UFX;e1zrD-1L;a&y0_t`?HHI@FU_ zPzcM{kNnl}Yt17eG4aasQD>G?Ok`~A*5Oi>myniL61Q>3T(ckN-Mb_k;qsvaAwP}G z;OrofDk>_P4u{p>(96y}O`@72$<6)1Q=>5R{)X9m3iz}M! zt|7lw2bz?$*-0WCVOVzzMV0HkOvSu*q&A(?T^2|Ck`-0JFtygat7>}=zDH^$!H-b(U2NzYuwT<4^YcjmR8 zKIMG={CS#VgHmMq2OU#Wbz9rqStD8s3VS|g#^j1AD(&J?7(vI#DDpw>i;Evl@}aas zo7IVN1;xe8aIO^Q-XR}9QYQC$)(TVeLVRk;oP{neS=VJCaENM|eVfzcsEBid#g-`!SvqJN&lF3ZT)GV5umKCO?Yv#V?UTK&BD%( zi+ru$qsQUB7)HVW`KQYc1XwvfY}kv#e>%}IG54rr3q~EyeU`~|X8!R;MMql$bU<+Z zD)pMLGYN%J{Q(dvg)gBfAXR#E9{EZq^I0etk6QCnQcC*@y_3BbgFI16<+-@HHfaaO$CGXQk}`D*ZA@+G`7MzMq*>-Odu3!~ z4*w0kzW*AdriivP9RDH&%XB0^B_-w8#!=;QPwio+;Ry{NAD^*a-)y7TYRkp8dnDGz z`uZ)7H8rJv`zAq5LSkHQi42*OlbhRnj;PnlkinxCQmx%M*`ECjdA<1O&&awbx7oJ@ z2nzS@nFhnH^483tlO+1Hx+*?>K*m&<%KGX9hhmiO-?H#9WB#>Xs& zdon@rA0B$ZLQc0Ece+xwcbhA|)z?q7e7_!6=Odz}ElF;TpKKg4vqoRH~K zr=#1hM1&GgQAMT7x*G>hduG6V#X+BoY;A3gl$`wA>>XTmLX`TNnA(<>bf}5D$J4Iv zn-ljsIy*UGhoRO%pkO0Qa8UC;t|zRTd5)!Bs%8#lNWsc&|x`)0z3mV~796*{i! z!-pPgJW2!6rQ|mM(vfWA@)|$D|Q|5&HeR>I--G z-oZh@2_-D;uaTCsR+-uy9Gslbix>Y%%28O>O5#bzL`P2mT(;UsvTLUP8Y{+;F%x(EV#HrT6XzmxdnWEE@cEF(uZCMhW? zqiP4Dc$S9Pe0}7PAty+DmU+cdJ20bT<_k@-NL_ZA*eJG9+6Pk?rnO!U{PC2d}Q8k$zQJ|R2@~` z%_UzVznP$!0>KdtYp8xo(({g9rPT04a&k`yDkcCGS#u+aRk2>tsH54Ol6&Js3(~bL zKQ86)Czp<-Eq{P^aVXiqFU%S}b+onH0NQmpLM6)tD?Qe9AvQU9cwVkuG)Ys;cbs6S zh_?k9-TW-<_B!62q^B&V;C;;TL$w|&Gcz+MKi_?K;XbTz@A%mBOw}PKoE|j@>0I(4 zwXCQp`kl;qWM>3Hwr=4>qZi+8w6U^cBY%4kT5h=I;^dT5Qqs>8o?Yv3`t@jMHMO*& z)@ikIrzOU)SgBAS$`VHs^^A>+_r@4cGX2}BdXy$tvPH=@;ReLyuV0p;hKN|@|K8DS zy?7zuzB)jL8B;H2Zf<^DH2c*zYa~s898nr{<0_7@@AGUq7?4aAdyZ0Lq5(mVNkFHV zs~Z&>^ZAQzp{lxiHq3%Gdoj&-PuP-#AC+?DpYrI~n6AElSH{hyy=JP|eJEs&o?F&H z2V4vU%y+M5+~%5mROA1~OL7Me6kduXajyxAIYcNqJM);7CRJ7nKrsZU>HjSH4wzX* z+xCj0vT}TCYCn_=s9j!#MYFP^>5Vv-RDJQ?yKkKop>9B2t-L0X`2sl#)$(|Iwr?O! zQcY8n9EEgYaj_jTK%0ZK(lFV*8q2gqL6?u4H^oz>Y%;;t#fXTAXvExtfd~^L5O<%g$=zRN z_&?qwL>=2_^I(UqCkTB)9wCtX^5shanU5NuMJB7#e0+QW3~*qSbmJC(ag5jPwx09z z8nl?xcVeE7IhI!|AD2X)&GjJ{9*|TT2xe4Ssub|+2%lDRN9VnKSi@odfvXoC3@AZCxO^l zY6iH4a;%rHX(jL}GAhcdJDLnQ0i9aBq85<{2UlV=tVs_t4?xf?P}AX0h7tKLSu(HL z(yZ6~^55PM0IKk|oRt+LP*eF}lpaMwEv?3wl^=%%R~Oyz<~8x?)v(=W6SmVvj^(xg~i40r$-uW zB<=0(4nov)fu~lJ0=ZDpXnE!77wU{WX9!TKzrEZTd-5|y805&07b8%7(9qF)eY^JS z<^$D%i3$pSfZQ++&j8-JaDB0pER1toCe53Dd$~HcXB+#@@j%kN1tu=- zcbrg48y6RMdVZcY>iCJ@>J|4;IZp(}>{HDNRCV%0(p?E{ye`Yhu^jaNbR2YXad9Z- zCJ!~y_Sr;8aRRS4ESS}ZZxQ}5>eEH3P8qQgDh;N-kw8{raPRT!MP}t+IU^O%|0ws{ zRsF+8F^-Civ;=BV`BP(BA@r)8yCWId6-gyTo7;A8(3&&x1~vR>LnXRZ*4WrMRoq?q z5GAC$>U{wcoKJgrFM8^J6-FXDjQ@DU%EL_bN+8jevcGda%bKdPGl`*yH9D+sY|JWzDkut( ziV@X4+VZrc&}fX-W>k}+qEdrTes*o)%*vGWbh0-Ra~E=3h2OSoc+t4ui)XS*45sOuADJl}n1P?<%Kp-?926>Ph4{Qc#e%i3!6l1=V%;q13 z_ze2V$w}*3?FCW@(ce#tJ-s4tpM0K6JeWidPj&?=glxi&9!xxWr(_r@aVTKZ9+BFO6s_GAAKcl zmSd0vXyDY#(>63*5&ATIhhkCt8Ba=@q?axvv2Tdnal_(Px~@Hc0te0WxV51n%0u7V zHODA3NG>ief+ivx1^ny%s$iI>xP)prjNA15aizUY;H79UlJuU8uLsC=Uwy zK`D8KW%ZWo3LVZBL@Y?>o@8W5v?815}2*OWF=Asj{yB= zki38YzNc2)lnRwc3v#_s=xAo4#zZf-iwu6L;j)l9WUa z0?|e~qr9*%DvE^thv(JCc$xe14>BeuCM;ZB7z^Oh+s}^#ftW5D?CI&zgRcP|8u{*B zzUzF;$tA5br~j-YY!o(u(uQ&sGbTRM+<0vYyuJs z`0U$Mo0N7+=i)TDoHNqX>t0^<4h)d5B5-Va$nlXuC($}`=zRD2Gm@3%AVO(WWf$u< zgk`e|wCL?)(FB9g*UimpxOm`BX?Z_DuY59XwdkN#D8G%!pe9rLpxFbSl#&qXcTI0^ zF%ou7#q1%m63xO*CYq%!4M$4`U_rz~kUv9i5WwE>ng6}1uS%??tZ3=rKq$$Lrg>jc zF;w9M!Iiq07jd-FlhYdGu8L!Dtp1wJx(vkK>Fk>^<-(b1tqAe2U3LiBFQ zriR8AAw}#+w3}Oo%rPywNvYxO8i(AjFVDPvd}UMSv9qTFdx;31n{<5r88FVU2AE)S25jZLHj$NRM4V5GpKVhbGu zgYH;_=+ybk^ymS%k`A@DCy z%TV%zWs!o=J3?;sJ@ODi4@&cjBQVQa&Wmp03Q}{iqKEFHp=g$vpYT++&DfH+oC*sm z3HecQk|t|M=Ge>5)KnTUqQ1Y)&u7P_;8o1jzC4wq?3LKO)cP{a)gp^}ZMbLF{X*`O z?c2#o7k^(5A-2~cThn#86tQxiz$Vqy)jJ)8rn*kbh4<5t(lKPp??_r;T%UcgcG>FY zo3Fp0`EbMY2?oA=@o44K5jH4cY}2^E9BaTPRyaPuKJsmL8khCiXL6=0E0 zk_ecCGB=m*lLIO=_pH%Cl2FF}XC)UW{KFaf8pZ#)-|xnek4NS@NMxPoM+XRDw=Yrz zvz80LS2GSk5d)K-lvn_eqY`stzzOq5jfU-rZhwv0=Xuqa%y%&Q$l{*w;XlK)jd41# zvt8zzdV`TsX#%&vetipD;0BOoYLqAk{FY8AlAVdk#^)a>YmdFdzkla% zG(j@8w6s)K{{h{{k@&!vc@YdhO4-0Br}6nZSNfi}w10ZpGi<=vuB--?7m|`f4LM5V z`4c$gT+mGb7_vzJMvIeq#1C?X&u6b@Dr;i@1>IbsfvG;-ce6k3Dt>gfN+ap{CO;$4 zB+0=8Bpeenv#oUD3Ai(0<4k@HS{r6{baceR!g_y{V@^Qu?oQAhnBn7Z9#P}wez5?Y zco?Y2$jFLHN;&|w;Mtf2`;1xrGo#2^^N6BCp!%M$1#TMMQUZb8S9gF5e1gf@{Y>cw z3;%n6zs=@Eh1AK6`@>HHVS!iYlbY+zDBe$c!F*!Wyw-Yol zFpxUv7lf^-b)F8-$e;%bZMXlo7Xbg}l=)>_M4Mn6Lox-Uk>-WQ{=pM4@3S21zL-U% z!Grzj(uf+9pYY)B(UC2<@3$jfUtQeH^o*kh1XFzudGbA z1T;s4TBX0<#q_JKid||rE)iq*3w~HEZ z{+^Cf6?z`a%gc9OYGI`!Olt+1nLAxBPYw+U(M11Z@q&wEH zq0TlRgn)vIb;&SIMN6w;Xh;q^q{d#7c0srlxiTaO^Zc7XOSMYp7lzyVdiO4~kdXeN zq9~b#k`g*X)P+Sg2^{GQl;MU77ZzOzZeNxDCkb1OJW+p+5g10sPjx;Ffd3aci zwaDkfk`kMNRB-?iKx`^uM^g8denx5O*-119X4JlKi`?L&yt1`DoKJZ04F&olBnFLU z4im;YI_;a2RbZ(y-Mx!zVPTQ(yUv;L0QxO512dO*jXaGmWAgPEi}*GdL8Me~my7uw zm;7r_d+ZN~)t@39148a1umu(>;aHg2yb|ter8e-;9hYbd6igzEVW|nL?+f-jn}! zFAoOmZmn%G``GY7>shPCwRJwv$U4!dAt8U4mvzj|HQn6G|7~e{7V{zY(RA1CWcEhQ+|Y{u>;8 z2S}F!n!Yg$$@N|MbjeV8YrbUD=KW?rL2G9bvFF&Ej*reYy z#I%i|;$xr!v!#&arU?dRmzNj5Hj+<5P5lEF?tM6)h-(hLk3C1RksM%)r+GN2-Ws?~X9Ja|F8yHrC*qZa(X*L{Gr$!*2Iyk&P z(ub9>fouD>m%F-pcRATY7ivbjw4Z~E%YWnJ6p0UP>yoHAOVKLf8iC>MT>#o&DsPmT z**^3#j-NN^1a~TVH-CK_efN<~-2jlF%gVX+Tvjp-5X=;$bv zGL11tXAO;5?t_w|A}(N7p!Vd-#sz&39h76KmB1w&+Bmv|eRMN2g)u~3X5PP?1mqal zWAXtFhgEPGJ4Gj(9Q3)v44#|O%p_1{hhbA^Or%SI(roS2y zH1p`0=;$!AvB@g9y9?%PW!OzsKYfD`eY?5o1T??rU{LnmgWN0-(o2jr$aS@`4-Jar z`t1zM%z318y$CaYP8R|hsd$13y6t$~HsJh_h(K+i>&;#M0xwrKO!Nx-LApiGE1izp z%&vJhUg^H730>sflM|I(-K*hAe-y@!F{Msv6CQ+!lVx8LkINQkO=8?c{c~o}5giUf zOFKL7bPGwBNSHPk92{n?bU^ba4gIPuwt}G9oNN9Z9*%*6in{fmV+f&D1QYP$&Sx%R})fFszMP2|DGHMPGF~&`Knt{Rum0x*WO|T{kNQ3UN9Lu3hoZ{@}V#|)|gNh zhhZ(-PdFPiQt+7k)s^H1%0Na&2GqIyNza|eQ}7wXDomhVcq*DZ92nl6#A7OPMMYj` zFX^>8VP)Y+IH}1fpWkhm?*Yu=w#|HcapC2-=R8p!($pjcF$`HyjVMN!57qqXYQO~{ zzJI<^_Tkf~$+am9Fe1Qm`926h7DuR#FCUub;vzOQp8?cYGeageBf}y;(tmXz?aA_w z#M|%?_=JUnBVTGblCMP{w?)dd=?~}1Sx{gJ@7vhfNjS5Me0q4RnxBs3#U&<&$!DIn z>%NwYEFamI%aF-2mCm)bwFRjuVQ_I<`AbSzn3-P#XU^8u5SWGHWU@LaPGH%lnAk)b^Z_Xftq zGoX+DQ*{2e{Jw6N1F!m5%$xl*=1G&Fko|u(N$w$X@dU07L zL~vuYKX|{(U>Gp7vtw3GI*A&_2oOUa8d?@BefXTLVr)D~8#G`e@O-78YOKUq!P8TO zj*bqd22B760qKuLh98QD%I$tq=V_*$zrLw5D5*`1gU$okVkC5Qyeqd!eQYgPW-die z+%bQBEb1Q+09}gz;2zDWWAFFxmJo@m@ir%((YY9qwV1m$HY{f*JkV`m;N^V_4S@={ z1OYvyuv0WI^=AU8IA5&$Q3+1Nqz>OZ;kO!^s?VoO@5N_Q>fyTmoe^&tTl+Uva~IkP zV3G(}cVR^&-+_i*Udb{}>)8t8R{borzrMY`!|e=EuMC%fiXZV!rgy@%lLp_T^`{Jk z{9e^qtd&Yw9%7WoEE2GhJE zdb_6y&)@mV2X0HhyWTM7FbAA#kynh9Es2XUzcX?$S zN$attSm?6l+;*fKVy(wZhFrz@Kl-Ul;aB5`DoAODENn-lDZnkPosxqVTe%>UjH3Xm z`Y_fQE<&vBU=;5zt`^r)g~4SxKhn*^+Q50`y^rXxGT!=Um$#8xF}1V?d4xL6!5`lR#_jx