Remove unused CSS.

99bdacdb · Jaime Pérez Crespo · 07796176 · 99bdacdb
Unverified Commit 99bdacdb authored 6 years ago by Jaime Pérez Crespo
--- 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;