From df9719a785a31ca7cf21ae398e2eeac35496000b Mon Sep 17 00:00:00 2001 From: Dustin Kirkland Date: Sat, 14 Nov 2015 22:32:04 -0600 Subject: use the Ubuntu font, when possible, in the documentation --- doc/rtd/conf.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/rtd/conf.py') diff --git a/doc/rtd/conf.py b/doc/rtd/conf.py index d3764bea..8a391f21 100644 --- a/doc/rtd/conf.py +++ b/doc/rtd/conf.py @@ -68,8 +68,8 @@ html_theme = 'default' # further. For a list of options available for each theme, see the # documentation. html_theme_options = { - "bodyfont": "Arial, sans-serif", - "headfont": "Arial, sans-serif" + "bodyfont": "Ubuntu, Arial, sans-serif", + "headfont": "Ubuntu, Arial, sans-serif" } # The name of an image file (relative to this directory) to place at the top -- cgit v1.2.3