From fabd0bda06e58813af64fdcb3c3a0c990a7aca97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Tue, 1 Jan 2019 21:15:06 +0100 Subject: [PATCH] Revert "add message about reduced team during holidays" --- javascripts/theme.js | 4 ---- stylesheets/application.css | 8 -------- 2 files changed, 12 deletions(-) diff --git a/javascripts/theme.js b/javascripts/theme.js index 12f3b32..75a1dae 100644 --- a/javascripts/theme.js +++ b/javascripts/theme.js @@ -110,10 +110,6 @@ function alter_new_issue_page() { } $(function() { - var $top_info = $('
'); - $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 ac9492b..52ce841 100644 --- a/stylesheets/application.css +++ b/stylesheets/application.css @@ -380,11 +380,3 @@ 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; -}