[gnome-mines] Add some more padding regardless of size

[Robert Roth <robertroth src gnome org>]

commit 9e401e2ed81de31065ce292fa1a40e3d01642940
Author: Robert Roth <robert roth off gmail com>
Date:   Sat Oct 13 00:01:47 2018 +0300

    Add some more padding regardless of size

 src/gnome-mines.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/gnome-mines.css b/src/gnome-mines.css
index a884f8f..11dcd7b 100644
--- a/src/gnome-mines.css
+++ b/src/gnome-mines.css
@@ -33,7 +33,7 @@
   border-image:none;
   font-size:16px;
   font-weight: bold;
-  background-size: 100%;
+  background-size: 80%;
   background-position: 50%;
   padding:4px;
   background-origin: content-box;