Fix link to github repo

eeditiones · Jul 8, 2020 · 0098b66 · 0098b66
1 parent 10b6d7d
commit 0098b66
Show file tree

Hide file tree

Showing 6 changed files with 14 additions and 5 deletions.
diff --git a/index.html b/index.html
@@ -277,6 +277,9 @@
                                     </paper-listbox>
                                 </paper-menu-button>
                             </pb-restricted>
+                            <a href="https://github.com/eeditiones/eebo" title="View code on GitHub" class="gitlab">
+                                <img src="resources/images/github.svg" />
+                            </a>
                             <!-- Search input -->
                             <pb-search action="${app}/search.html" data-template="pages:parse-params" value="${query}" redirect="redirect"/>
 

diff --git 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
@@ -9,6 +9,6 @@
     <prepare>pre-install.xql</prepare>
     <finish>post-install.xql</finish>
     <target>eebo</target>
-    <permissions user="eebo" group="tei" mode="rw-r--r--"/>
-<deployed>2020-05-27T10:31:28.513+02:00</deployed>
+    <permissions user="eebo" group="tei" password="eebo" mode="rw-r--r--"/>
+    <deployed>2020-05-27T10:31:28.513+02:00</deployed>
 </meta>
diff --git 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
diff --git a/templates/menu.html b/templates/menu.html
@@ -63,6 +63,9 @@
         </pb-restricted>
     </pb-media-query>
 
+    <a href="https://github.com/eeditiones/eebo" title="View code on GitHub" class="gitlab">
+        <img src="resources/images/github.svg" />
+    </a>
     <!-- Search input -->
     <pb-search action="${app}/search.html" data-template="pages:parse-params" value="${query}" redirect="redirect"/>
     <pb-media-query query="min-width: 1024px">