From f69a14d716f34b5258c768203308ea65cc60df01 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20Krassowski?=
 <5832902+krassowski@users.noreply.github.com>
Date: Fri, 17 Nov 2023 09:25:05 +0000
Subject: [PATCH 1/2] Fix diagrams by reinstating graphiz

---
 .readthedocs.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index 36cc0808..c5e99e38 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -5,6 +5,8 @@ build:
   os: ubuntu-22.04
   tools:
     python: "3.11"
+  apt_packages:
+    - graphviz
 
 # Build documentation in the "docs/" directory with Sphinx
 sphinx:

From d081de5c615724712559cc0d12593856221ccd53 Mon Sep 17 00:00:00 2001
From: Paul Ivanov <pi@berkeley.edu>
Date: Fri, 17 Nov 2023 10:52:57 -0800
Subject: [PATCH 2/2] fix svg output

---
 docs/source/use/using.rst | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/source/use/using.rst b/docs/source/use/using.rst
index 618574d5..5f5d0c0f 100644
--- a/docs/source/use/using.rst
+++ b/docs/source/use/using.rst
@@ -29,7 +29,6 @@ that helps lay out some of your options.
 .. graphviz::
 
 	digraph decide_project {
-		size="10,4";
 		graph [fontname = "helvetica", fontsize="18"];
 		node [fontname = "helvetica", fontsize="18"];
 		edge [fontname = "helvetica", fontsize="18"];