diff --git a/docs/conf.py b/docs/conf.py
index cf508a5b9..d38010727 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -1,3 +1,14 @@
+#!/usr/bin/env python3
+# SPDX-License-Identifier: GPL-2.0
+# Configuration file for the Sphinx documentation builder.
+#
+# This file only contains a selection of the most common options. For a full
+# list see the documentation:
+# https://www.sphinx-doc.org/en/master/usage/configuration.html
+
+import os
+import subprocess
+
 extensions = [
     'sphinx-prompt'
 ]
@@ -24,6 +35,8 @@
 #   'nl', 'no', 'pt', 'ro', 'ru', 'sv', 'tr'
 html_search_language = 'en'
 
+html_theme = 'sphinx_rtd_theme'
+
 # Theme options
 html_theme_options = {
     'logo_only': True,  # if we have a html_logo below, this shows /only/ the logo with no title text