Update docs to work with newer versions of Sphinx

gerashegalov · Oct 8, 2015 · 22fe3f0 · 22fe3f0
1 parent 3878d67
commit 22fe3f0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/presto-docs/src/main/sphinx/conf.py b/presto-docs/src/main/sphinx/conf.py
@@ -60,7 +60,7 @@ def get_version():
 
 # -- General configuration -----------------------------------------------------
 
-needs_sphinx = '1.0'
+needs_sphinx = '1.1'
 
 extensions = ['download']
 
@@ -92,6 +92,6 @@ def get_version():
 
 html_title = '%s %s Documentation' % (project, release)
 
-html_add_permalinks = None
+html_add_permalinks = ''
 html_show_copyright = False
 html_show_sphinx = False
diff --git a/presto-docs/src/main/sphinx/themes/presto/static/presto.css_t b/presto-docs/src/main/sphinx/themes/presto/static/presto.css_t
@@ -95,16 +95,16 @@ div.note {
  background-color: #f5f5ff
 }
 
-tt {
+tt, code {
  font-family: Consolas, 'Liberation Mono', Courier, monospace;
  font-size: 0.9em;
 }
 
-tt.descname {
+tt.descname, code.descname {
  font-size: 1.1em;
 }
 
-tt.docutils.literal {
+tt.docutils.literal, code.docutils.literal {
  margin: 0 2px;
  padding: 0 5px;
  border: 1px solid #ddd;