From 0098b6688e70980d469c855ff9e918ef512299b6 Mon Sep 17 00:00:00 2001 From: Wolfgang Meier Date: Wed, 8 Jul 2020 22:16:35 +0200 Subject: [PATCH] Fix link to github repo --- index.html | 3 +++ modules/config.xqm | 4 ++-- repo.xml | 4 ++-- resources/css/theme.css | 2 +- resources/images/github.svg | 3 +++ templates/menu.html | 3 +++ 6 files changed, 14 insertions(+), 5 deletions(-) create mode 100644 resources/images/github.svg 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 @@ + + +