diff --git a/doc/manual/conf.py b/doc/manual/conf.py
index e6d0afc43..d550ee3ff 100644
--- a/doc/manual/conf.py
+++ b/doc/manual/conf.py
@@ -25,7 +25,7 @@ class Mock(MagicMock):
             return Mock()
 
 
-mock_modules = ["quamash", "pyqtgraph", "matplotlib"]
+mock_modules = ["artiq.gui.moninj", "quamash", "pyqtgraph", "matplotlib"]
 
 for module in mock_modules:
     sys.modules[module] = Mock()
@@ -118,7 +118,7 @@ pygments_style = 'sphinx'
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-html_theme = 'default'
+html_theme = 'classic'
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the