From ce15158bf99d3ee12643f968982f059d754f3895 Mon Sep 17 00:00:00 2001
From: Ray Speth <speth@mit.edu>
Date: Mon, 4 May 2015 21:42:56 -0400
Subject: [PATCH] [Doc] Fix CSS used for method names in Sphinx docs

This appears to be necessary for Sphinx >= 1.3.0
---
 doc/sphinx/_static/site.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/_static/site.css b/doc/sphinx/_static/site.css
index 7aa01b731..8d18ed02b 100644
--- a/doc/sphinx/_static/site.css
+++ b/doc/sphinx/_static/site.css
@@ -69,7 +69,7 @@ tt {
     color: #333;
 }
 
-tt.descname {
+tt.descname, code.descname {
     background-color: transparent;
     font-weight: bold;
     font-size: 1.2em;