Remove border css class used by previous version of paginator

diff --git a/app/assets/stylesheets/common.scss b/app/assets/stylesheets/common.scss
index 1f5d0398e97b2b11433355821a69f11e4ee6c215..a2b723ccb361bb2d83dcd1bb869bd791fe4985fe 100644 (file)
--- a/app/assets/stylesheets/common.scss
+++ b/app/assets/stylesheets/common.scss
@@ -101,10 +101,6 @@ time[title] {
   border-color: $grey !important;
 }
 
-.border-lightgrey {
-  border-color: $lightgrey !important;
-}
-
 /* Rules for the header */
 
 #menu-icon {