From 91f3aca7b51c975ef754bd38cc7d5e05b5367de9 Mon Sep 17 00:00:00 2001
From: klarkxy <278370456@qq.com>
Date: Sun, 2 Mar 2025 17:44:10 +0800
Subject: [PATCH] =?UTF-8?q?=E8=B0=83=E6=95=B4react=E5=8A=A0=E8=BD=BD?=
 =?UTF-8?q?=E4=BD=8D=E7=BD=AE?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 web/demoset.php | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/web/demoset.php b/web/demoset.php
index 9e8bc0d..bcdfc2e 100644
--- a/web/demoset.php
+++ b/web/demoset.php
@@ -4,10 +4,7 @@
 <?php include("template/$OJ_TEMPLATE/header.php"); ?>
 <div class="padding">
 
-  <script type="text/javascript" src="include/react/react.min.js"></script>
-  <script type="text/javascript" src="include/react/react-dom.min.js"></script>
-
-  <?php
+<?php
   // 遍历demos文件夹下的所有php文件
   $directory = new DirectoryIterator(dirname(__FILE__) . '/demos');
   $files = [];
@@ -21,7 +18,7 @@
   ?>
   <div class="container"></div>
   <div class="row">
-    <div class="col-md-2">
+    <div class="col-md-3">
       <div id="search-container"></div>
       <ul class="list-group" id="file-list">
         <?php foreach ($files as $file): ?>
@@ -68,7 +65,7 @@
         ReactDOM.render(<Search />, document.getElementById('search-container'));
       </script>
     </div>
-    <div class="col-md-10">
+    <div class="col-md-9">
       <div id="content">
         <div style="border: 1px solid #ccc; padding: 10px;">
           <?php
@@ -85,4 +82,6 @@
 </div>
 
 </div>
-<?php include("template/$OJ_TEMPLATE/footer.php"); ?>
\ No newline at end of file
+<?php include("template/$OJ_TEMPLATE/footer.php"); ?>  
+<script type="text/javascript" src="include/react/react.min.js"></script>
+<script type="text/javascript" src="include/react/react-dom.min.js"></script>
\ No newline at end of file