misc doc tweaks

...including workaround for RTD CSS bug for github ribbon and badges on mobile: readthedocs/sphinx_rtd_theme#144

docs/_templates/description.html

@@ -41,3 +41,15 @@ <h3>granary</h3>
        alt="Fork me on GitHub" />
 </a>
 
+<style>
+/* Workaround for https://github.com/snide/sphinx_rtd_theme/issues/144
+ * Override bad rule in https://media.readthedocs.org/css/badge_only.css that
+ * sets all images to width 100% on narrow screens.
+ * TODO: remove when bug is fixed!
+ */
+@media screen and (max-width: 768px) {
+  img {
+    width: auto;
+  }
+}
+</style>

docs/build.sh

@@ -1,9 +1,6 @@
 #!/bin/bash
 #
 # Preprocesses docs and runs Sphinx (apidoc and build) to build the HTML docs.
-#
-# Still imperfect. After pandoc generates index.rst, you need to revise the
-# header and remove the manual TOC and the footer images.
 set -e
 
 absfile=`readlink -f $0`
@@ -14,8 +11,8 @@ cd `dirname $absfile`
 
 rm -f index.rst
 cat > index.rst <<EOF
-granary
-=======
+granary documentation
+=====================
 
 EOF
 

docs/conf.py

@@ -13,7 +13,6 @@
 
 import sys
 import os
-import shlex
 
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
@@ -324,8 +323,9 @@
 intersphinx_mapping = {
   # TODO
   # 'appengine': ('https://cloud.google.com/appengine/docs/python/refdocs', None),
+  'oauth_dropins': ('https://oauth-dropins.readthedocs.io/en/latest', None),
   'python': ('https://docs.python.org/', None),
   'requests': ('http://docs.python-requests.org/en/latest', None),
-  'urllib3': ('http://urllib3.readthedocs.io/en/latest', None),
+  'urllib3': ('https://urllib3.readthedocs.io/en/latest', None),
   'webapp2': ('https://webapp2.readthedocs.io/en/latest', None),
 }