From 82257c2c379c0d223ee731a5d7663e88d823a9c3 Mon Sep 17 00:00:00 2001
From: David Wilson <dw@botanicus.net>
Date: Wed, 7 Sep 2016 17:26:27 +0000
Subject: [PATCH] Fix messed up font on desktop.

---
 docs/_static/style.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/_static/style.css b/docs/_static/style.css
index d42f3c0d..d204b42e 100644
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@@ -2,3 +2,8 @@
 div.figure {
     padding: 0;
 }
+
+body {
+    font-family: serif !important;
+}
+