From 99bdacdbdcefc8d95bc4e294b5433d133c979726 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jaime=20Pe=CC=81rez=20Crespo?= <jaime.perez@uninett.no>
Date: Fri, 30 Nov 2018 12:08:58 +0100
Subject: [PATCH] Remove unused CSS.

---
 src/css/default.scss | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/css/default.scss b/src/css/default.scss
index 69ab1f031..f5fb9b316 100644
--- a/src/css/default.scss
+++ b/src/css/default.scss
@@ -657,12 +657,6 @@ MEDIA QUERIES
 /*************************************************
  * Specifics for modules/core/frontpage*
  ************************************************/
-code.simplesaml_version {
-  background: #f5f5f5;
-  border: 1px dotted #bbb;
-  padding: 1em;
-  color: #555;
-}
 
 .float-r {
   float: right;
-- 
GitLab