Merge branch 'master' of github.com:cgtuebingen/infomark

Author: PatWie

docs/themes/infomark.org/layouts/partials/header.html

@@ -13,7 +13,7 @@
         <a class="nav-link" href="/">Start</a>
       </li>
       <li class="nav-item dropdown">
-        <a class="nav-link dropdown-toggle" href="http://example.com" id="dropdown01" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">Documentation</a>
+        <a class="nav-link dropdown-toggle" href="#" id="dropdown01" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">Documentation</a>
         <div class="dropdown-menu" aria-labelledby="dropdown01">
           <a class="dropdown-item" href="/guides/overview/">Overview</a>
           <a class="dropdown-item" href="/guides/administrator/">Administrator's Guide</a>