From dc357c19af32f81c487aa0507905ac9347fe98f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Wed, 26 Dec 2018 13:58:01 +0100
Subject: [PATCH] add message about reduced team during holidays

---
 javascripts/theme.js        | 4 ++++
 stylesheets/application.css | 8 ++++++++
 2 files changed, 12 insertions(+)

diff --git a/javascripts/theme.js b/javascripts/theme.js
index 75a1dae..12f3b32 100644
--- a/javascripts/theme.js
+++ b/javascripts/theme.js
@@ -110,6 +110,10 @@ function alter_new_issue_page() {
 }
 
 $(function() {
+  var $top_info = $('<div id="top-info"></div>');
+  $top_info.text("🎄 Entr'ouvert fonctionne à équipe réduite pendant les fêtes, retour dès le 2 janvier 2019. 🎄");
+  $('#content').prepend($top_info);
+
   $('.wiki table tr:first-child td').on('click', sort_table).css('cursor', 'row-resize');
 
   /* 440 is header image height (500px) - header height (60px) */
diff --git a/stylesheets/application.css b/stylesheets/application.css
index 52ce841..ac9492b 100644
--- a/stylesheets/application.css
+++ b/stylesheets/application.css
@@ -380,3 +380,11 @@ div.jenkins-FAILURE {
 div.journal ul.details {
   color: inherit;
 }
+
+div#top-info {
+  border: 3px solid #38de38;
+  background: white;
+  padding: 1rem 2rem;
+  font-size: 130%;
+  text-align: center;
+}