From 4fe1c2db017ed9103ecbc8d964c3ad011572c980 Mon Sep 17 00:00:00 2001
From: Machiste Quintana <mnquintana@users.noreply.github.com>
Date: Sun, 13 Sep 2015 16:48:13 -0400
Subject: [PATCH] Use menu font on root element too

---
 static/workspace-view.less | 1 +
 1 file changed, 1 insertion(+)

diff --git a/static/workspace-view.less b/static/workspace-view.less
index eda803caf..d992275b0 100644
--- a/static/workspace-view.less
+++ b/static/workspace-view.less
@@ -4,6 +4,7 @@
 @font-face { .octicon-font(); }
 
 html {
+  font: menu;
   font-family: @font-family;
   font-size: @font-size;
 }