larger image, rounded corners (UniMath#774)

fredrik-bakke · Sep 15, 2023 · c813a06 · c813a06
1 parent 0529896
commit c813a06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ART.md b/ART.md
@@ -2,7 +2,7 @@
 
 <div align="center" style="margin: 2em 0;">
   <figure>
-    <img src="agda-unimath-black-and-gold.png" alt="The graph of mathematical concepts. Andrej Bauer and Matej Petković. 2023" width="80%">
+    <img src="agda-unimath-black-and-gold.png" alt="The graph of mathematical concepts. Andrej Bauer and Matej Petković. 2023" width="95%" style="border-radius: 10px;">
     <figcaption>The graph of mathematical concepts. Andrej Bauer and Matej Petković. 2023</figcaption>
   </figure>
 </div>