From 752e6a87478445252217ae44349d9cc15df5b8cb Mon Sep 17 00:00:00 2001
From: Mayhem <stepien.nicolas@gmail.com>
Date: Sat, 16 Nov 2013 15:27:39 +0100
Subject: [PATCH] Fix font-family of the page num indicators.

---
 css/style.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/css/style.css b/css/style.css
index cbb57f87a..6f6f596cf 100644
--- a/css/style.css
+++ b/css/style.css
@@ -391,6 +391,12 @@ a[href="javascript:;"] {
 #index-search:not([data-searching]) + #index-search-clear {
   display: none;
 }
+.page-num {
+  font-family: inherit;
+}
+.page-num::before {
+  font-family: FontAwesome;
+}
 .summary {
   text-decoration: none;
 }