Update index.html

LeiHHHuang · Dec 5, 2023 · 7e38d01 · 7e38d01
1 parent 0c6cf92
commit 7e38d01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -98,7 +98,7 @@ <h1 class="title is-1 publication-title">Dexterous Manipulation of Construction
 <section class="hero teaser">
   <div class="container is-max-desktop">
     <div class="hero-body">
-      <video id="teaser" autoplay muted loop playsinline height="150%">
+      <video id="teaser" autoplay muted loop playsinline height="100%">
         <source src="./static/videos/demo_1.mp4"
                 type="video/mp4">
       </video>