diff --git a/index.html b/index.html
index c9914f8..2bc6f5b 100644
--- a/index.html
+++ b/index.html
@@ -277,6 +277,9 @@
+
+
+
diff --git a/modules/config.xqm b/modules/config.xqm
index d58594f..903c693 100644
--- a/modules/config.xqm
+++ b/modules/config.xqm
@@ -26,7 +26,7 @@ declare namespace tei="http://www.tei-c.org/ns/1.0";
: If a version is given, the components will be loaded from a public CDN.
: This is recommended unless you develop your own components.
:)
-declare variable $config:webcomponents :="0.9.33";
+declare variable $config:webcomponents :="1.0.2";
(:~
: CDN URL to use for loading webcomponents. Could be changed if you created your
@@ -215,7 +215,7 @@ declare variable $config:fop-config :=
: arguments.
:)
declare variable $config:tex-command := function($file) {
- ( "/usr/local/bin/pdflatex", "-interaction=nonstopmode", $file )
+ ( "/usr/bin/pdflatex", "-interaction=nonstopmode", $file )
};
(:
diff --git a/repo.xml b/repo.xml
index 5041d1f..1f95ea3 100644
--- a/repo.xml
+++ b/repo.xml
@@ -9,6 +9,6 @@
pre-install.xql
post-install.xql
eebo
-
-2020-05-27T10:31:28.513+02:00
+
+ 2020-05-27T10:31:28.513+02:00
diff --git a/resources/css/theme.css b/resources/css/theme.css
index feca543..31e8a26 100644
--- a/resources/css/theme.css
+++ b/resources/css/theme.css
@@ -171,7 +171,7 @@ app-drawer-layout:not([narrow]) [drawer-toggle] {
.menubar .gitlab img {
background-size: 100% 100%;
- height: 40px;
+ height: 32px;
}
.menubar pb-login {}
diff --git a/resources/images/github.svg b/resources/images/github.svg
new file mode 100644
index 0000000..d7470db
--- /dev/null
+++ b/resources/images/github.svg
@@ -0,0 +1,3 @@
+
\ No newline at end of file
diff --git a/templates/menu.html b/templates/menu.html
index c8c2ec8..8ff0e76 100644
--- a/templates/menu.html
+++ b/templates/menu.html
@@ -63,6 +63,9 @@
+
+
+