From 5990c80a0070b7024c564d69dcd03219ed5d41bb Mon Sep 17 00:00:00 2001
From: Mathieu David <mathieudavid@mathieudavid.org>
Date: Mon, 31 Aug 2015 16:15:17 +0200
Subject: [PATCH] Cursor is now a pointer on menu-bar i elements. Fix #44

---
 src/theme/book.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/theme/book.css b/src/theme/book.css
index b3420cfa..38589427 100644
--- a/src/theme/book.css
+++ b/src/theme/book.css
@@ -129,6 +129,10 @@ html, body {
     color: #333;
 }
 
+.menu-bar i:hover {
+    cursor: pointer;
+}
+
 .menu-title {
     color: #7E7E7E;
     display: inline-block;