use image tag to control width

leanprover-community · Nov 28, 2023 · ebf4bda · ebf4bda
1 parent 8a82e99
commit ebf4bda
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/templates/contribute/tags_and_branches.md b/templates/contribute/tags_and_branches.md
@@ -137,4 +137,4 @@ Mathlib.
     * Subsequent CI results from that Mathlib branch will be reported back to the Lean PR
       in the form of comments.
 
-![Overview of branches at Mathlib/Std](img/tags_and_branches.png)
+<img src="img/tags_and_branches.png" alt="Overview of branches at Mathlib/Std" width="80%"/>