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",