Skip to content
Snippets Groups Projects
Unverified Commit b4cecdd7 authored by Tom Wiesing's avatar Tom Wiesing
Browse files

Update menu items and make some headers clickable

parent fc9434d4
No related branches found
No related tags found
No related merge requests found
...@@ -119,6 +119,8 @@ Furthermore, if these are mixed between folders and static items, the folders wi ...@@ -119,6 +119,8 @@ Furthermore, if these are mixed between folders and static items, the folders wi
A submenu is automatically expanded if any of the submenu items inside it are clicked. A submenu is automatically expanded if any of the submenu items inside it are clicked.
Alternatively, if the menu item contains an `active` key, it is checked as well. Alternatively, if the menu item contains an `active` key, it is checked as well.
Furthermore, a menu may have the `url` key. If it is given, upon clicking the menu item, the given (internal) url is opened instead of opening the menu.
### Working locally ### Working locally
If you want to do more than the occasional editing, you'll soon realise GitHub's editor and preview are too limited. If you want to do more than the occasional editing, you'll soon realise GitHub's editor and preview are too limited.
......
...@@ -82,41 +82,37 @@ menu: ...@@ -82,41 +82,37 @@ menu:
- title: 'People' - title: 'People'
active: '/people/' active: '/people/'
url: '/people/'
items: items:
- title: 'Current Members'
url: '/people/'
- title: 'Former Members' - title: 'Former Members'
url: '/people/former/' url: '/people/former/'
- title: 'Bibliography'
external: true
url: 'https://kwarc.github.io/bibs/'
- title: 'Research' - title: 'Research'
url: '/research/'
folder: 'research' folder: 'research'
items:
- title: 'Bibliography'
external: true
url: 'https://kwarc.github.io/bibs/'
- title: 'Systems' - title: 'Systems'
active: '/systems/' active: '/systems/'
url: '/systems/'
items: items:
- title: 'Current Systems'
url: '/systems/'
- title: 'Historic Systems' - title: 'Historic Systems'
url: '/systems/historic/' url: '/systems/historic/'
- title: 'Projects' - title: 'Projects'
active: '/projects/' active: '/projects/'
url: '/projects/'
items: items:
- title: 'Current Projects'
url: '/projects/'
- title: 'Completed Projects' - title: 'Completed Projects'
url: '/projects/completed/' url: '/projects/completed/'
- title: '4Students: Courses & Theses' - title: '4Students: Courses & Theses'
url: '/courses/overview/'
active: '/courses/' active: '/courses/'
items: items:
- title: 'Overview'
url: '/courses/overview/'
- title: 'Current Courses'
url: '/courses/'
- title: 'Former Courses' - title: 'Former Courses'
url: '/courses/former/' url: '/courses/former/'
- title: 'Upcoming Courses' - title: 'Upcoming Courses'
...@@ -125,10 +121,12 @@ menu: ...@@ -125,10 +121,12 @@ menu:
url: '/courses/theses/' url: '/courses/theses/'
- title: 'Events' - title: 'Events'
folder: 'events' url: '/events/'
active: '/events/'
- title: 'Hiring' - title: 'Hiring'
folder: 'hiring' url: '/hiring/'
active: '/hiring/'
- title: 'Contact' - title: 'Contact'
url: '/contact/' url: '/contact/'
......
...@@ -43,7 +43,7 @@ ...@@ -43,7 +43,7 @@
<li class="no-padding"> <li class="no-padding">
<ul class="collapsible collapsible-accordion"> <ul class="collapsible collapsible-accordion">
<li class="bold"> <li class="bold">
<a class="collapsible-header {% if menu_active %}active{% endif %}"> <a class="collapsible-header {% if menu_active %}active{% endif %}" {% if item.url %}href="{{item.url}}"{%endif %}>
{% if item.menu_title %} {% if item.menu_title %}
{{ item.menu_title }} {{ item.menu_title }}
{% else %} {% else %}
...@@ -57,9 +57,11 @@ ...@@ -57,9 +57,11 @@
{% for item in sorted_pages %} {% for item in sorted_pages %}
{% assign sub_components = item.url | split: '/' %} {% assign sub_components = item.url | split: '/' %}
{% if sub_components[1] == item_folder %} {% unless item.hidden %}
{% include menu_single.html %} {% if sub_components[1] == item_folder %}
{% endif %} {% include menu_single.html %}
{% endif %}
{% endunless %}
{% endfor %} {% endfor %}
{% endif %} {% endif %}
......
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
layout: page layout: page
title: KWARC Research title: KWARC Research
menu_title: Overview menu_title: Overview
menu_order: 101 hidden: true
--- ---
The KWARC research group conducts research in knowledge representation with a view towards applications in knowledge management. The KWARC research group conducts research in knowledge representation with a view towards applications in knowledge management.
We extend techniques from [formal methods](formal-methods/) so that they can be used in settings where formalization is either infeasible or too costly. We extend techniques from [formal methods](formal-methods/) so that they can be used in settings where formalization is either infeasible or too costly.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment