Make the group photo larger

UniMath · Aug 8, 2024 · 116fd12 · 116fd12
1 parent b6d59ea
commit 116fd12
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/minneapolis2024/index.html b/minneapolis2024/index.html
@@ -16,7 +16,7 @@
 <body>
   <h1>School on Univalent Mathematics</h1>
   <p>July 29 - August 02, 2024, Minneapolis, USA<br>
-  <em>(Install party on July 28, 2024)</em></p><img src="group.jpg" alt="A group photo of some participants attending the School on Univalent Mathematics" title="Group photo" width="70%">
+  <em>(Install party on July 28, 2024)</em></p><img src="group.jpg" alt="A group photo of some participants attending the School on Univalent Mathematics" title="Group photo" width="100%">
   <h2>Overview</h2>
   <p>Homotopy Type Theory and Univalent Mathematics are emerging fields of mathematics that study a fruitful relationship between homotopy theory and (dependent) type theory. This relation plays a crucial role in Voevodsky's program of Univalent Foundations, a new approach to foundations of mathematics, based on ideas from homotopy theory, such as the Univalence Principle.</p>
   <p>The <a href="https://github.com/UniMath/UniMath">UniMath library</a> is a large repository of computer-checked mathematics, developed from the univalent viewpoint. It is freely available for everyone, as an open-source project, <a href="https://github.com/UniMath/UniMath">from the web</a>. The School will give many young researchers an opportunity to familiarize themselves with the UniMath library and become contributors.</p>