From e29892f8cdb13572ddcf3c2bbe3f3fa36561b674 Mon Sep 17 00:00:00 2001
From: klarkxy <278370456@qq.com>
Date: Fri, 6 Jun 2025 16:09:05 +0800
Subject: [PATCH] =?UTF-8?q?=E5=A2=9E=E5=8A=A0=E4=B8=80=E4=B8=AA=E6=90=9C?=
 =?UTF-8?q?=E7=B4=A2=E6=8C=89=E9=92=AE?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 web/template/syzoj/problemset.php | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

diff --git a/web/template/syzoj/problemset.php b/web/template/syzoj/problemset.php
index 0d7eabd..7de31d9 100644
--- a/web/template/syzoj/problemset.php
+++ b/web/template/syzoj/problemset.php
@@ -6,29 +6,29 @@
     <div class="row" style="white-space: nowrap; ">
       <div class="seven wide column">
         <form action="" method="get">
-          <div class="ui search" style="width: 160px; height: 28px; margin-top: -5.3px;float:left ">
+          <div class="ui search" style="width: 160px; height: 28px; margin-top: -5.3px; float:left; margin-right: 10px;">
             <div class="ui left icon input" style="width: 100%; ">
-              <input class="prompt" style="width: 100%; " type="text" placeholder=" <?php echo $MSG_TITLE; ?> …"
+              <input class="prompt" style="width: 100%; " type="text" placeholder="<?php echo $MSG_TITLE; ?> …"
                 name="search" value="<?php if (isset($_GET['search']))
                   echo htmlentities($_GET['search'], ENT_QUOTES, 'UTF-8') ?>">
+              <i class="search icon"></i>
+            </div>
+            <div class="results" style="width: 100%; "></div>
+          </div>
 
+          <?php if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])): ?>
+            <div class="ui search" style="width: 120px; height: 28px; margin-top: -5.3px; display: inline-block;">
+              <div class="ui icon input" style="width: 100%; ">
+                <input class="prompt" style="width: 100%; " type="text" placeholder="用户ID" name="query_user_id" value="<?php if (isset($_GET['query_user_id']))
+                  echo htmlentities($_GET['query_user_id'], ENT_QUOTES, 'UTF-8') ?>">
                 <i class="search icon"></i>
               </div>
               <div class="results" style="width: 100%; "></div>
             </div>
-
-        <?php if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])): ?>
-            <div class="ui search" style="width: 120px; height: 28px; margin-top: -5.3px; ">
-              <div class="ui icon input" style="width: 100%; ">
-                <input class="prompt" style="width: 100%; " type="text" placeholder="用户ID" name="query_user_id" value="<?php if (isset($_GET['query_user_id']))
-                  echo htmlentities($_GET['query_user_id'], ENT_QUOTES, 'UTF-8') ?>">
-                  <i class="search icon"></i>
-                </div>
-                <div class="results" style="width: 100%; "></div>
-              </div>
-        <?php endif; ?>
-            </form>
-
+          <?php endif; ?>
+          
+          <button type="submit" class="ui mini button" style="display: none;">搜索</button>
+        </form>
       </div>