From 81ef6ea955bb93992b2fb5b65e80883fe5e6f463 Mon Sep 17 00:00:00 2001
From: Minsol Park <mindol@kaist.ac.kr>
Date: Tue, 29 Oct 2024 17:39:37 +0900
Subject: [PATCH] [Page] fix sizes

---
 index.html     | 2 +-
 page/demo.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/index.html b/index.html
index 18efd37..b59174e 100644
--- a/index.html
+++ b/index.html
@@ -61,7 +61,7 @@
 <body class="bg-white text-black h-full">
     <header class="bg-gray-800 text-white p-4 text-center">
         <h1 class="text-5xl font-bold mb-5">Bugsynth</h1>
-        <h3 class="mt-2 text-2xl">Automatic Synthesis of Realistic and Reliable Bug Benchmark</h3>
+        <h3 class="mt-2 text-xl md:text-2xl">Automatic Synthesis of Realistic and Reliable Bug Benchmark</h3>
     </header>
 
     <nav class="flex justify-center space-x-6 mt-4 text-xl font-bold bg-gray-200">
diff --git a/page/demo.html b/page/demo.html
index bd75e6f..b1fc632 100644
--- a/page/demo.html
+++ b/page/demo.html
@@ -20,7 +20,7 @@ <h2 class="text-2xl font-semibold mb-8 text-center">Code Examples</h2>
     <section class="mb-12 w-full"></section>
     <h2 class="text-2xl font-semibold mb-8 text-center">Video Demo</h2>
     <div class="flex justify-center w-full">
-        <video controls class="w-full sm:max-w-lg md:max-w-3xl">
+        <video controls class="w-full sm:max-w-lg md:max-w-2xl">
             <source src="assets/video/demo.mp4" type="video/mp4">
             Your browser does not support the video tag.
         </video>
