Use oslosphinx theme
It looks nicer than the default, and many of our other docs use it.
Change-Id: I907518e9c86655c7be91996e246e35d01b7ef393
diff --git a/doc/source/conf.py b/doc/source/conf.py
index f8ae368..71c7697 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -28,7 +28,8 @@
extensions = [
'sphinx.ext.autodoc',
'sphinxcontrib.blockdiag',
- 'sphinxcontrib.programoutput'
+ 'sphinxcontrib.programoutput',
+ 'oslosphinx'
]
#extensions = ['sphinx.ext.intersphinx']
#intersphinx_mapping = {'python': ('http://docs.python.org/2.7', None)}