From abcc721f71fc9e3a8474b1f771e65864b2050a88 Mon Sep 17 00:00:00 2001
From: Jorge Rodriguez <jorge@lunarworkshop.com>
Date: Fri, 22 Aug 2014 13:39:43 -0700
Subject: [PATCH] Use consistent font name.

---
 html/copy/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/copy/style.css b/html/copy/style.css
index e2166f3b..011da13e 100644
--- a/html/copy/style.css
+++ b/html/copy/style.css
@@ -52,7 +52,7 @@ table {
 /* Now comes the docs.gl markup */
 
 @font-face {
-  font-family: 'Roboto Condensed';
+  font-family: 'Roboto';
   font-style: normal;
   font-weight: 400;
   src: local('Roboto Condensed Regular'), local('RobotoCondensed-Regular'), url(http://fonts.gstatic.com/s/robotocondensed/v10/Zd2E9abXLFGSr9G3YK2MsFzqCfRpIA3W6ypxnPISCPA.woff) format('woff');