Built static site

Signed-off-by: Dimitris Kolovos <dkolovos@cs.york.ac.uk>
diff --git a/live/custom.css b/live/custom.css
index 3515675..27a884f 100644
--- a/live/custom.css
+++ b/live/custom.css
@@ -26,7 +26,7 @@
 
 .mif-16::before {
 	position: relative;
-	top: 1px;
+	top: 4px;
 	margin: 0px;
 }
 
@@ -138,6 +138,9 @@
 .panel .panel-title .button {
 	background-color: #fff;
 	border-bottom:1px solid #dfdfdf;
+	border-left: 0px;
+	border-right: 0px;
+	padding-left: 15px;
 }
 
 body {
diff --git a/sitemap.xml b/sitemap.xml
index 9cfb6e6..b4841af 100644
--- a/sitemap.xml
+++ b/sitemap.xml
@@ -2,547 +2,547 @@
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-05-06</lastmod>
+         <lastmod>2022-05-07</lastmod>
          <changefreq>daily</changefreq>
     </url>
 </urlset>
\ No newline at end of file
diff --git a/sitemap.xml.gz b/sitemap.xml.gz
index 65f70a7..7efc304 100644
--- a/sitemap.xml.gz
+++ b/sitemap.xml.gz
Binary files differ