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