Skip to content

Commit

Permalink
Add paper award
Browse files Browse the repository at this point in the history
  • Loading branch information
Olivier Nicole committed May 21, 2021
1 parent 065304e commit 0cfc7d2
Show file tree
Hide file tree
Showing 9 changed files with 26 additions and 6 deletions.
10 changes: 10 additions & 0 deletions css/default.css
Original file line number Diff line number Diff line change
Expand Up @@ -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;
}
3 changes: 2 additions & 1 deletion index.en.html
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,8 @@ <h2>Publications</h2>
(<a href="https://github.com/binsec/rtas2021_artifact">artifact</a>)
<br />
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival <br />
<a href="http://2021.rtas.org/">RTAS 2021</a> (IEEE Real-Time and Embedded Technology and Applications Symposium)
<a href="http://2021.rtas.org/">RTAS 2021</a> (IEEE Real-Time and Embedded Technology and Applications Symposium) <br />
<span class="award"><img src="vendor/img/medal.png" alt="Badge icon">Best Paper Award</span>
</li>
<li>
<strong>Automatically Proving Microkernel Security</strong>
Expand Down
3 changes: 2 additions & 1 deletion index.eo.html
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,8 @@ <h2>Eldonaĵoj</h2>
(<a href="https://github.com/binsec/rtas2021_artifact">reproduktilo</a>)
<br />
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival <br />
<a href="http://2021.rtas.org/">RTAS 2021</a> (IEEE Real-Time and Embedded Technology and Applications Symposium)
<a href="http://2021.rtas.org/">RTAS 2021</a> (IEEE Real-Time and Embedded Technology and Applications Symposium) <br />
<span class="award"><img src="vendor/img/medal.png" alt="Medala piktogramo">Best Paper Award</span>
</li>
<li>
<strong>Automatically Proving Microkernel Security</strong>
Expand Down
3 changes: 2 additions & 1 deletion index.fr.html
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,8 @@ <h2>Publications</h2>
(<a href="https://github.com/binsec/rtas2021_artifact">artefact</a>)
<br />
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival <br />
<a href="http://2021.rtas.org/">RTAS 2021</a> (IEEE Real-Time and Embedded Technology and Applications Symposium)
<a href="http://2021.rtas.org/">RTAS 2021</a> (IEEE Real-Time and Embedded Technology and Applications Symposium) <br />
<span class="award"><img src="vendor/img/medal.png" alt="Icône de médaille">Best Paper Award</span>
</li>
<li>
<strong>Automatically Proving Microkernel Security</strong>
Expand Down
4 changes: 4 additions & 0 deletions site.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
3 changes: 2 additions & 1 deletion templates/default.en.html
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,8 @@ <h1>$title$</h1>
title="RSS feed" /></a>
</div>
Generated by
<a href="http://jaspervdj.be/hakyll">Hakyll</a>
<a href="http://jaspervdj.be/hakyll">Hakyll</a>
Icons made by <a href="https://www.freepik.com" title="Freepik">Freepik</a> from <a href="https://www.flaticon.com/" title="Flaticon">www.flaticon.com</a>
</div>
</body>
</html>
3 changes: 2 additions & 1 deletion templates/default.eo.html
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,8 @@ <h1>$title$</h1>
<a href="/rss.xml"><img src="/vendor/img/rss.svg" alt="RSS-piktogramo"
title="RSS-fluo" /></a>
</div>
Generita de <a href="http://jaspervdj.be/hakyll">Hakyll</a>
Generita de <a href="http://jaspervdj.be/hakyll">Hakyll</a>
Piktogramoj de <a href="https://www.freepik.com" title="Freepik">Freepik</a> el <a href="https://www.flaticon.com/" title="Flaticon">www.flaticon.com</a>
</div>
</body>
</html>
3 changes: 2 additions & 1 deletion templates/default.fr.html
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,8 @@ <h1>$title$</h1>
<a href="/rss.xml"><img src="/vendor/img/rss.svg" alt="Icône d'RSS"
title="Flux RSS" /></a>
</div>
Généré par <a href="http://jaspervdj.be/hakyll">Hakyll</a>
Généré par <a href="http://jaspervdj.be/hakyll">Hakyll</a>
Icônes par <a href="https://www.freepik.com" title="Freepik">Freepik</a> de <a href="https://www.flaticon.com/" title="Flaticon">www.flaticon.com</a>
</div>
</body>
</html>
Binary file added vendor/img/medal.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.

0 comments on commit 0cfc7d2

Please sign in to comment.