From afa5af6571e18a4fd85a9409aca5ae56ffe19720 Mon Sep 17 00:00:00 2001
From: Jeremy Herve <jeremy@jeremy.hu>
Date: Tue, 18 Jun 2019 16:08:21 +0200
Subject: [PATCH] Dashboard icon: bring back icon font used in wp-admin menu
 (#27)

Fixes #21
---
 nav-styles.css | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/nav-styles.css b/nav-styles.css
index b10b6fd79a7d2..713c245dcf828 100644
--- a/nav-styles.css
+++ b/nav-styles.css
@@ -1,3 +1,20 @@
+/* Generated by Font Squirrel (http://www.fontsquirrel.com) on December 16, 2013 */
+@font-face {
+    font-family: 'vaultpressregular';
+    src: url('fonts/vaultpress-regular.eot');
+    src: url('fonts/vaultpress-regular.eot?#iefix') format('embedded-opentype'),
+         url('fonts/vaultpress-regular.woff') format('woff'),
+         url('fonts/vaultpress-regular.ttf') format('truetype'),
+         url('fonts/vaultpress-regular.svg#vaultpressregular') format('svg');
+    font-weight: normal;
+    font-style: normal;
+}
+#toplevel_page_vaultpress div.wp-menu-image:before {
+	content: '\f219';
+	font-size: 18px !important;
+	font-family: 'vaultpressregular' !important;
+}
+
 /**
  * Notices
  */