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)
+ Best 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)
+ Best 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)
+ Best 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