-
Michael Kohlhase authoredMichael Kohlhase authored
sidebar.html 2.22 KiB
<div class="sidebar">
<div class="container">
<div class="sidebar-about">
<h1>
<!-- <a href="{{ site.baseurl }}/"><img src="/public/logo.png" alt="{{ site.title }}" width="100%"/></a>-->
</h1>
<p class="lead">{{ site.description }}</p>
<p class="site-url lead"><a href="{{ site.url }}/">{{ site.url }}</a></p>
</div>
<nav class="sidebar-nav">
{% include sidebar-nav-item.html url="/" title="Home" %},
{% include sidebar-nav-item.html url="/resources/" title="Resources"%},<br/>
{% include sidebar-nav-item.html url="/development/" title="Devel." %},
{% include sidebar-nav-item.html url="/systems/" title="Software/Tools"%}.<br/>
{% include sidebar-nav-item.html url="/news/" title="News" %},
{% include sidebar-nav-item.html url="/follow/" title="Contact" %},
<span class="sidebar-nav-item">
<a href="{{ site.baseurl }}/atom.xml"><img class="icon" src="{{ site.baseurl }}/public/feed_w.png" alt="atom feed"/></a>
<!-- <a href="https://twitter.com/{{ site.author.twitter }}"><img class="icon"
src="{{ site.baseurl }}/public/twitter_w.png" alt="twitter"/></a> -->
<a href="https://gitlab.com/{{ repository_url }}"><img class="icon" src="{{ site.baseurl }}/public/gitlab.png" alt="gitlab"/></a>
</span><br/>
<a class="sidebar-nav-item" href="{{site.repository_url}}/edit/master/{% if page.source %}{{ page.source }}{%
else %}{{ page.path }}{% endif %}">Edit this page</a>
(<a class="sidebar-nav-item" href="{{ site.sources }}">HowTo</a>)<br/>
{% comment %}
The code below dynamically generates a sidebar nav of pages with
`layout: page` in the front-matter. See readme for usage.
We don't use it for this web page to better customize the layout.
{% assign pages_list = site.pages %}
{% for node in pages_list %}
{% if node.title != null %}
{% if node.layout == "page" %}
<a class="sidebar-nav-item{% if page.url == node.url %} active{% endif %}" href="{{ site.baseurl }}{{ node.url }}">{{ node.title }}</a>
{% endif %}
{% endif %}
{% endfor %}
{% endcomment %}
</nav>
</div>
</div>