From 0a15f4753b24c1c4a0c23d719c0c7e447fded884 Mon Sep 17 00:00:00 2001 From: Susana Hahn Date: Thu, 14 Nov 2024 12:21:32 -0600 Subject: [PATCH] Fixed menu bar: (#53) - use logo instead of text - fix hamburger button - improve footer --------- Co-authored-by: Roland Kaminski --- _config.yml | 4 +- _includes/footer.html | 78 +++++++++++++++++++++++++-------------- _includes/head.html | 1 + _includes/header.html | 19 +++++++--- css/main.scss | 2 +- css/menu.css | 19 ++++++++++ favicon.ico | Bin 9198 -> 265118 bytes images/potassco-logo.svg | 3 ++ index.md | 1 - 9 files changed, 90 insertions(+), 37 deletions(-) create mode 100644 css/menu.css create mode 100644 images/potassco-logo.svg diff --git a/_config.yml b/_config.yml index 9c13fcb..f28ff3f 100644 --- a/_config.yml +++ b/_config.yml @@ -13,10 +13,10 @@ # you will see them accessed via {{ site.title }}, {{ site.email }}, and so on. # You can create any custom variable you would like, and they will be accessible # in the templates via {{ site.myvariable }}. -title: Potassco, the Potsdam Answer Set Solving Collection +title: Potassco - the Potsdam Answer Set Solving Collection #email: your-email@domain.com description: > - Tools for Answer Set Programming developed at the University of Potsdam. + The Potsdam Answer Set Solving Collection developed at the University of Potsdam. baseurl: "" # the subpath of your site, e.g. /blog url: "" # the base hostname & protocol for your site diff --git a/_includes/footer.html b/_includes/footer.html index 2c9b41d..40fc0d0 100644 --- a/_includes/footer.html +++ b/_includes/footer.html @@ -1,39 +1,61 @@ {% assign custom_url = site.url | append: site.baseurl %} diff --git a/_includes/head.html b/_includes/head.html index aa59fbf..09dc4b7 100644 --- a/_includes/head.html +++ b/_includes/head.html @@ -11,6 +11,7 @@ {% assign full_base_url = custom_url | default: site.github.url %} + {% for css in page.css %} {% endfor %} diff --git a/_includes/header.html b/_includes/header.html index e659f45..89dece2 100644 --- a/_includes/header.html +++ b/_includes/header.html @@ -4,10 +4,9 @@ {% assign custom_url = site.url | append: site.baseurl %} {% assign full_base_url = site.github.url | default: custom_url %} - - {{ site.title | escape }} + -