From ca61128a3ffa136d88aa885b795fe2d4a61ae2fe Mon Sep 17 00:00:00 2001 From: Eric Cornelissen Date: Wed, 14 Mar 2018 22:13:50 +0100 Subject: [PATCH] Add banner when JavaScript is disabled As requested in #224, added a banner to the website when JavaScript is disabled using