From d3393b719915b4513fddd9e1be4eae57b555a3d7 Mon Sep 17 00:00:00 2001
From: Tobias Lindig <tl@cm4all.com>
Date: Fri, 20 Dec 2013 17:06:53 +0100
Subject: [PATCH] (less) add new variables for "pagination" to improve support
 of customizing

---
 pagination.less | 9 ++++++---
 variables.less  | 8 +++++++-
 2 files changed, 13 insertions(+), 4 deletions(-)

diff --git a/pagination.less b/pagination.less
index 5c68b8bbbfcf..b2856ae60e6b 100644
--- a/pagination.less
+++ b/pagination.less
@@ -16,6 +16,7 @@
       padding: @padding-base-vertical @padding-base-horizontal;
       line-height: @line-height-base;
       text-decoration: none;
+      color: @pagination-color;
       background-color: @pagination-bg;
       border: 1px solid @pagination-border;
       margin-left: -1px;
@@ -39,7 +40,9 @@
   > li > span {
     &:hover,
     &:focus {
+      color: @pagination-hover-color;
       background-color: @pagination-hover-bg;
+      border-color: @pagination-hover-border;
     }
   }
 
@@ -51,7 +54,7 @@
       z-index: 2;
       color: @pagination-active-color;
       background-color: @pagination-active-bg;
-      border-color: @pagination-active-bg;
+      border-color: @pagination-active-border;
       cursor: default;
     }
   }
@@ -64,8 +67,8 @@
     > a:hover,
     > a:focus {
       color: @pagination-disabled-color;
-      background-color: @pagination-bg;
-      border-color: @pagination-border;
+      background-color: @pagination-disabled-bg;
+      border-color: @pagination-disabled-border;
       cursor: not-allowed;
     }
   }
diff --git a/variables.less b/variables.less
index 4c7de2a3d8e0..b849cb400609 100644
--- a/variables.less
+++ b/variables.less
@@ -352,15 +352,21 @@
 // Pagination
 // -------------------------
 
+@pagination-color:                     @link-color;
 @pagination-bg:                        #fff;
 @pagination-border:                    #ddd;
 
+@pagination-hover-color:               @link-hover-color;
 @pagination-hover-bg:                  @gray-lighter;
+@pagination-hover-border:              #ddd;
 
-@pagination-active-bg:                 @brand-primary;
 @pagination-active-color:              #fff;
+@pagination-active-bg:                 @brand-primary;
+@pagination-active-border:             @brand-primary;
 
 @pagination-disabled-color:            @gray-light;
+@pagination-disabled-bg:               #fff;
+@pagination-disabled-border:           #ddd;
 
 
 // Pager