From 74a1648bf7e2c6d227bcb510c7eb60265d33aac3 Mon Sep 17 00:00:00 2001
From: XhmikosR <xhmikosr@gmail.com>
Date: Wed, 26 Aug 2015 22:16:26 +0300
Subject: [PATCH] Remove the unused Google fonts.

[ci skip]
---
 docs/_includes/header.html | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/docs/_includes/header.html b/docs/_includes/header.html
index 3175d702ec..ccc6a4f09f 100644
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@@ -19,10 +19,6 @@
 <!-- Documentation extras -->
 <link href="{{ site.baseurl }}/assets/css/docs.min.css" rel="stylesheet">
 
-<!-- Google Web fonts -->
-<link href="https://fonts.googleapis.com/css?family=Roboto:300,400,400italic,500" rel="stylesheet">
-<link href='https://fonts.googleapis.com/css?family=Source+Sans+Pro:400,300,400italic,600' rel='stylesheet' type='text/css'>
-
 <!-- IE10 viewport hack for Surface/desktop Windows 8 bug -->
 <script src="{{ site.baseurl }}/assets/js/ie10-viewport-bug-workaround.js"></script>
 <script src="{{ site.baseurl }}/assets/js/ie-emulation-modes-warning.js"></script>
-- 
2.47.2