From 5437bd92c0366b1e31f52c4320cdb857226670d6 Mon Sep 17 00:00:00 2001
From: Laurens Valk <laurens@pybricks.com>
Date: Mon, 12 Apr 2021 11:18:28 +0200
Subject: [PATCH] @pybricks/ide-docs v1.3.1

---
 doc/ide/CHANGELOG.md | 5 +++++
 doc/ide/package.json | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/ide/CHANGELOG.md b/doc/ide/CHANGELOG.md
index 0ee116e..98da3c2 100644
--- a/doc/ide/CHANGELOG.md
+++ b/doc/ide/CHANGELOG.md
@@ -1,3 +1,8 @@
+# 1.3.1 - 2021-04-12
+
+## Changed:
+- Upgrade sphinx and rtd-theme to fix style issues.
+
 # 1.3.0 - 2021-04-12
 
 ## Removed:
diff --git a/doc/ide/package.json b/doc/ide/package.json
index fe68ce2..64c9ec6 100644
--- a/doc/ide/package.json
+++ b/doc/ide/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@pybricks/ide-docs",
-  "version": "1.3.0",
+  "version": "1.3.1",
   "description": "Special build of Pybricks API docs for embedding in an IDE.",
   "repository": {
     "type": "git",