From 0cfc7d276475775f5765092f5628edf73a26e5c9 Mon Sep 17 00:00:00 2001 From: Olivier Nicole Date: Fri, 21 May 2021 22:29:55 +0200 Subject: [PATCH] Add paper award --- css/default.css | 10 ++++++++++ index.en.html | 3 ++- index.eo.html | 3 ++- index.fr.html | 3 ++- site.hs | 4 ++++ templates/default.en.html | 3 ++- templates/default.eo.html | 3 ++- templates/default.fr.html | 3 ++- vendor/img/medal.png | Bin 0 -> 4054 bytes 9 files changed, 26 insertions(+), 6 deletions(-) create mode 100644 vendor/img/medal.png diff --git a/css/default.css b/css/default.css index ceef042..9645aeb 100644 --- a/css/default.css +++ b/css/default.css @@ -130,3 +130,13 @@ p .sourceCode, p code { .pronunciation::after { content: "/"; } + +.award { + font-weight: bold; +} + +.award img { + height: 6mm; + padding-top: 1mm; + vertical-align: text-top; +} diff --git a/index.en.html b/index.en.html index 8a1b5d7..ba6b589 100644 --- a/index.en.html +++ b/index.en.html @@ -25,7 +25,8 @@

Publications

(artifact)
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
- RTAS 2021 (IEEE Real-Time and Embedded Technology and Applications Symposium) + RTAS 2021 (IEEE Real-Time and Embedded Technology and Applications Symposium)
+ Badge iconBest Paper Award
  • Automatically Proving Microkernel Security diff --git a/index.eo.html b/index.eo.html index 553ead2..a94e471 100644 --- a/index.eo.html +++ b/index.eo.html @@ -24,7 +24,8 @@

    Eldonaĵoj

    (reproduktilo)
    Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
    - RTAS 2021 (IEEE Real-Time and Embedded Technology and Applications Symposium) + RTAS 2021 (IEEE Real-Time and Embedded Technology and Applications Symposium)
    + Medala piktogramoBest Paper Award
  • Automatically Proving Microkernel Security diff --git a/index.fr.html b/index.fr.html index 408074d..070ab7c 100644 --- a/index.fr.html +++ b/index.fr.html @@ -21,7 +21,8 @@

    Publications

    (artefact)
    Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
    - RTAS 2021 (IEEE Real-Time and Embedded Technology and Applications Symposium) + RTAS 2021 (IEEE Real-Time and Embedded Technology and Applications Symposium)
    + Icône de médailleBest Paper Award
  • Automatically Proving Microkernel Security diff --git a/site.hs b/site.hs index 4419317..07b94ac 100644 --- a/site.hs +++ b/site.hs @@ -23,6 +23,10 @@ main = hakyll $ do route idRoute compile copyFileCompiler + match "vendor/img/*.png" $ do + route idRoute + compile copyFileCompiler + match "papers/*.pdf" $ do route idRoute compile copyFileCompiler diff --git a/templates/default.en.html b/templates/default.en.html index 883c0b2..0bde0a1 100644 --- a/templates/default.en.html +++ b/templates/default.en.html @@ -40,7 +40,8 @@

    $title$

    title="RSS feed" /> Generated by - Hakyll + Hakyll – + Icons made by Freepik from www.flaticon.com diff --git a/templates/default.eo.html b/templates/default.eo.html index 52a7d82..b3b0b94 100644 --- a/templates/default.eo.html +++ b/templates/default.eo.html @@ -39,7 +39,8 @@

    $title$

    RSS-piktogramo - Generita de Hakyll + Generita de Hakyll – + Piktogramoj de Freepik el www.flaticon.com diff --git a/templates/default.fr.html b/templates/default.fr.html index 6d7fd95..6d689aa 100644 --- a/templates/default.fr.html +++ b/templates/default.fr.html @@ -39,7 +39,8 @@

    $title$

    Icône d'RSS - Généré par Hakyll + Généré par Hakyll – + Icônes par Freepik de www.flaticon.com diff --git a/vendor/img/medal.png b/vendor/img/medal.png new file mode 100644 index 0000000000000000000000000000000000000000..3e435c610d271aa98deb41804f6322f660057495 GIT binary patch literal 4054 zcmV;{4=M18P) z{efajp)EcBapslRyYKrvGtV>g%-nnVCX;*L_nl|XnKS1(^XtqRQB@`*L_~luxsQLV zlT;AXax;(vB60-qbzp`2>I4y4sj3GvvXuog*%V(yW&t+?myY@A2f!7oy03e#@?lab zfQZZmZUL4I$#M^{OjUPv$5mcT8U+xMlYxH&POHiKE8r4UeIz|s`7tFo16@Ew&IInJ zzVUH+?sm^icuaT&5RnUjyMU7d9yCxxDZ&Ch{biloeXZ|6Y=Bw*pk*7 zN>hLffFI}PBQajDs{fIji5^ND0}NZBnMf$Aj-@F;QT<~g6jjI46riZLBN2+KV=-d@ z5jh@sA~zo$;l--DGdB}ZmIWy4%}9)5>ROTlblo>T3Eb<_lO5A8W*ktGLrAK(Vk@u# z+YEXPcpP|4RiEk4BqAf&9>6^J_qD*=fm0IjREz~EX$-Ivm>a3Mp8})6237qV%A8@uFTi`Tz59?+^ImMA7eZ?$HhudBuq%MpF89oGU}hlAa~-cCb=&S_BAvHK z$Bn-f^Suw9G9AWDzAv2-;O~Gv4QP!`dt6x~0rW3-JcrV{2Ut4c6aZKV+|Z&CKJ7_o zDzFmR7NOzCrfsh5sh+%ix&^HpfQ92;0WcH18rauD7&m#+ngiUCpy9`+JAgT!Jl)iS z&ORr*pf0Eg1;G0GcSm>=e+JC(pmzrFPzR0QOAi5Oc`(BV={_ogazb-N2Hf6#!U6v%$}xH0nX`Ou|RpG1Fe)ObQiW@_5ibr?E?C`fi{)g56r8f@v#CLeQf$z4bSsj-P+KI zYW`Cxz)8S?7M0vkQ~t4pt?G4^c44P}s(9bfqWlBENwM22`eu--J_ZD@)%Rhv=J!uw zbNb9p<|u^c`m2jaqrX^!FU`9SGSD~%Ked(X>_FY2l$5u&(xX7s3#aVLZVIQY!xLtdW7 zNUi{?`ULPTkF0e<35oNU8+E+;D8RRz?2@7@xA3hVd7iEL{m2-Mbc8xy>*@-AGHZ?G z3gAMsU+Iyx&TKv&ft{{U$E#0wcBPYDQgmSf-i3uxt3#dHoJb1b)1A%7WS10OD8N;o z`ChO9{~x}xYmB4{AR=$THimpKQ$(s_`i`gY?L&EWb)4y0&RI@|$&lItd?GM^m1+Dz z8%8=t6|bSQnNS%9A(;Y*$RetjLGZy&nt0P#V7OcpC^; zr?<5z|9DKcago3a=ziM2O;^>>IT5=sBKKS0OTPt9tl{~p2z2fzvUgBy1$b*Df$j#5 ztD&_N8yw|s{AZ{M>Hr+)>J)?CTTAW&R@7(l!i%Um8>p(AfD$fq`k>>b3fEwDih)=% zHbk}nGqA`QF;4962NrnH{9FWDP1EN*_*+1nvkZHkY-{5sWa|R@Dm@?gXWAbXU++n8 z7443rg{A|*Do@_lx1@F0$#Q;@wn|ZGU*(qon_3Fsqn@-bz?>*kH~voG0#BYk+LG2L z5(I_lOaYt_1b7e4!^IrJBNB(BbuxBYWU9u$8C#L_;pGyVuUBkyGD{vdF1Z5q38WV= z>gfgoc@j7+fYy1~eZjFB{x0CW0Q#pno3!##UxAkEp1*HC)v=_oW@f65sub}8_WgoRDN5BN(}eK?TT6wE5T1q&71yZN&} zRBZ3&(FcL=W8q?}&M6F{b1Jr1aYn#no3Y>$byLYS=vw2(ye+-3u_1lsF5tq5^rQ5% z*p;;*fh!J?DLiZu7N8#@@(V2DmoE+iA5qn{iC7APyIuS%K!_LbFIDxGiCFSR_HgkI zp_e@z0enqF){0216}DiA$csc|E$}tM8Xv;zoCKvPz~+X}eE@h!M6RydL5vL%IZ{Nf z#v+D(pkXmh>l_z3`=7r4^K9Br)gHmt$&>Y|*qC93qt%w*vvbS6q%puWEcB}HMGIB9 z7Youns;a+?P#z+3Cg#icH^3_*6uBQbMpb=}i6=u53IHG?8?nn8V`3}r{y<=psvhv< zWjeOq+`BI@_T`axtLpiY%WQ;_B5rIZz5<*AeB31!k=?kPL;DigdO$DD!$Q8r2zfgU zW%U1)r2wf%#e#)tn@iY~GX;v60YEvk04PW(9iW)H7BdC_a3(t2yuKssQPpB1ot9() z0RB5S10A5KI+msY#hAu~D5{PxC_wips*a_N0Zzbt>_cz>o6c=_=~dV@?S0yA68KDu zV%DhY`zC7R!vwYf{cs*T*W<77hcS<%bw_j2XbSm}AHG{-mmZ@UKmN6r%ucPJKMKxUv9S3+TSBm%eS|*DMUn;0pG?yz;g(;0B3068N`^#Z2^{(Zs%?$Fe)PNYg&MNc9b-Y z4_5cQmtkfe{B5TFfXXLb+km%gJK}9~);7r4_;2h;z`gVpV2TG{Q(WFId3)nzRDjz% z7P4a3+E1_GX}ZhPHD9++Dg^*ulR?OT5;k!30G^J{q?En%njCGBYY=#CCc0o<&#eQ# zzt#Pg3t42+xdMnt{*mwCI|p*#L$KV*rc>mw0H4f6w}(T(bpyV?4*yG?Q(y`vo6d=L z1`#P?^=rMVK05YG_ucvo{PbgmlTl~r`c3=<;h|JwLV+(-{Qd=(Cl`(&@hxFv(b-b4 zh|IwvYs~6|;9zV})ynaQh>T)!0dip<7L9aw7sR@>03RW5;{&XTlqV%-VY2E3omc?3 z?fM87cp(?=RMm@oGK$C@Slqu{*o|3%+MUX_=*j}DB5&hE*qfc(3e3S|mK@0~Kmv!4 zCitnUzB=Rq5&0j&Z~2UgP8>$MumG_gKAPb39X%5holKdNT7bk3AHMiCaJq&Eex3q6 z0Q^M~uKbYPVI;K$Na^t5i!U}2pnK+v3HS*?@@4bX7T`@-C8lB#$@>2e`flvsmjSPD z!NPW|AN7h4IDr4@*!X3B3m$%qg`j^9TWYTQJLtPDs`~FO=vO1xKD6hy@if|P(NB&Qz3mrsbAnRm$!bUI!654hzn3df=mbu(@=j7z2IukHXe4LZg>GfL$p0yEgPw zBezp%Et~+CVV5z4;HzyL-_hTT#Tf{}E?`;djSmGK4XcBQoDckv`qRB&F5xeUwVv+w zF&@RwJNQ}5$8Tc{+Nn{z1?a&EbfstZbul+nTv_Wpv#%U4jSu6<0`wpvtErCqaS(W^ zs&0!+cOiB`MAdfoXH|7|OuDHtZY)3#PQX=;8#lymd`EX1a6?6w_2aGaVH{cjuq#`z z@xa(4+KR25J&=g*>DbEV*iiBtv3~#A6m(N!+*tqsC+OwaB27O=Q#HP$`v7)StRD{p z%g1Bm!#K47J-9b=6L6gSYKf{Qy^KLb&f)oRufN0Q`pJ|oHO8d{=)np83T)Z*hp8Li z(cFx6KZk%T#&hGtIJW>jh{!5ntE%4K5xt9nQ&iP=YFI4(2z&|AZrT0$J^%m!07*qo IM6N<$f{og!s{jB1 literal 0 HcmV?d00001