From 0c611fabab2cb648adeec2e073657f75c0415b22 Mon Sep 17 00:00:00 2001
From: David Lechner <david@pybricks.com>
Date: Fri, 13 Mar 2020 13:07:08 -0500
Subject: [PATCH] doc/conf.py: add contentui css when building on
 readthedocs.org

---
 doc/common/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/common/conf.py b/doc/common/conf.py
index 5848391..e74adee 100644
--- a/doc/common/conf.py
+++ b/doc/common/conf.py
@@ -135,6 +135,7 @@ if ON_RTD:
         'css_files': [
             'https://media.readthedocs.org/css/sphinx_rtd_theme.css',
             'https://media.readthedocs.org/css/readthedocs-doc-embed.css',
+            '_static/contentui.css',
             '_static/css/theme_overrides.css',
         ],
         'disclaimer': _DISCLAIMER,