diff --git a/doc/images/code-ext.png b/doc/images/code-ext.png
index 9921ea05b6d8..e576df0be84f 100644
Binary files a/doc/images/code-ext.png and b/doc/images/code-ext.png differ
diff --git a/doc/images/setup_guide.png b/doc/images/setup_guide.png
index a84ed406dfc5..7cc7640132fc 100644
Binary files a/doc/images/setup_guide.png and b/doc/images/setup_guide.png differ
diff --git a/doc/images/show-setup-guide.png b/doc/images/show-setup-guide.png
index d0dc50082510..2f9911098b4b 100644
Binary files a/doc/images/show-setup-guide.png and b/doc/images/show-setup-guide.png differ
diff --git a/doc/quickstart.md b/doc/quickstart.md
index 3e876ffbfd34..013ae908d867 100644
--- a/doc/quickstart.md
+++ b/doc/quickstart.md
@@ -7,12 +7,17 @@ See [Setup](./setup.md) for supported platforms and other ways to set up Lean 4.
 
 1. Launch VS Code and install the `lean4` extension by clicking on the "Extensions" sidebar entry and searching for "lean4".
 
-    ![installing the vscode-lean4 extension](images/code-ext.png)
+   ![installing the vscode-lean4 extension](images/code-ext.png)
 
-1. Open the Lean 4 setup guide by creating a new text file using "File > New Text File" (`Ctrl+N`), clicking on the ∀-symbol in the top right and selecting "Documentation… > Setup: Show Setup Guide".
+1. Open the Lean 4 setup guide by creating a new text file using "File > New Text File" (`Ctrl+N` / `Cmd+N`), clicking on the ∀-symbol in the top right and selecting "Documentation… > Docs: Show Setup Guide".
 
-    ![show setup guide](images/show-setup-guide.png)
+   ![show setup guide](images/show-setup-guide.png)
 
-1. Follow the Lean 4 setup guide. It will walk you through learning resources for Lean 4, teach you how to set up Lean's dependencies on your platform, install Lean 4 for you at the click of a button and help you set up your first project.
+1. Follow the Lean 4 setup guide. It will:
 
-    ![setup guide](images/setup_guide.png)
+   - walk you through learning resources for Lean,
+   - teach you how to set up Lean's dependencies on your platform,
+   - install Lean 4 for you at the click of a button,
+   - help you set up your first project.
+
+   ![setup guide](images/setup_guide.png)