Spaces:

StatAILab
/

StatProver

Running

App Files Files Community

Sausage5464 commited on Apr 22

Commit

f2b0331

verified ·

1 Parent(s): ac802c0

Update index.html

Browse files

Files changed (1) hide show

index.html +109 -21

index.html CHANGED Viewed

@@ -4,36 +4,125 @@
     <meta charset="UTF-8">
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
     <title>StatProver - Automated Statistical Proof Assistant</title>
-    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/github-markdown-css/5.2.0/github-markdown.min.css">
     <style>
         body {
-            box-sizing: border-box;
-            min-width: 200px;
-            max-width: 850px; /* 控制最大宽度，类似 GitHub 居中阅读体验 */
             margin: 0 auto;
-            padding: 45px;
         }
-        @media (max-width: 767px) {
-            body { padding: 15px; }
         }
     </style>
 </head>
-<body class="markdown-body">
-    <div id="content">加载中...</div>
     <script type="text/markdown" id="md-source">
-![StatProver](https://raw.githubusercontent.com/StatAI-Lab/StatProver_doc/main/figs/logo.png)
-<p align="center">
-  <b>An Automated Statistical Proof Assistant</b>
-</p>
-**StatProver** is developed by **[StatAI Lab](https://statai-lab.github.io/)**, led by **[Prof. Fan Zhou](https://mlzxzhou.github.io/)** at the School of Statistics and Data Science, Shanghai University of Finance and Economics. As part of the lab’s broader research on statistical reasoning with large language models, this project reflects our efforts to build reliable AI systems for rigorous statistical proofs.
 ## What StatProver Does
 StatProver provides a structured workflow for automated proof generation and self-correction, helping users transform a statistical proposition or source document into a complete LaTeX proof.
@@ -104,11 +193,10 @@ If you have any questions or are interested in collaboration, please feel free t
 * **[Prof. Fan Zhou](https://mlzxzhou.github.io/)** (Project Leader): [zhoufan@mail.shufe.edu.cn](mailto:zhoufan@mail.shufe.edu.cn)
     </script>
     <script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
     <script>
-        // 获取 Markdown 文本并去除首尾空白
         const mdText = document.getElementById('md-source').innerHTML.trim();
-        // 渲染到页面上
         document.getElementById('content').innerHTML = marked.parse(mdText);
     </script>
 </body>

     <meta charset="UTF-8">
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
     <title>StatProver - Automated Statistical Proof Assistant</title>
+    <link href="https://fonts.googleapis.com/css2?family=Inter:wght@400;600;800&display=swap" rel="stylesheet">
     <style>
+        :root {
+            --primary: #059669; /* 提取自你 Logo 的科技绿 */
+            --primary-dark: #047857;
+            --text-main: #1f2937;
+            --text-light: #6b7280;
+            --bg: #ffffff;
+        }
         body {
+            font-family: 'Inter', system-ui, -apple-system, sans-serif;
+            color: var(--text-main);
+            background: var(--bg);
+            margin: 0;
+            padding: 0;
+            line-height: 1.7;
+        }
+        /* 👇 头部居中区域 (Hero Section) */
+        .hero {
+            text-align: center;
+            padding: 80px 20px 60px;
+            background: linear-gradient(to bottom, #f0fdf4, #ffffff); /* 淡淡的绿色渐变背景 */
+            border-bottom: 1px solid #e5e7eb;
+        }
+        .hero img {
+            max-width: 280px;
+            margin-bottom: 24px;
+        }
+        .hero h1 {
+            font-size: 2.8rem;
+            font-weight: 800;
+            margin: 0 0 16px;
+            color: #111827;
+            letter-spacing: -0.02em;
+        }
+        .hero p.subtitle {
+            font-size: 1.25rem;
+            color: var(--text-light);
+            max-width: 700px;
+            margin: 0 auto 35px;
+        }
+        /* 抢眼的引流按钮 */
+        .cta-button {
+            display: inline-block;
+            background-color: var(--primary);
+            color: white !important;
+            padding: 16px 40px;
+            border-radius: 50px; /* 圆角按钮更显现代 */
+            text-decoration: none;
+            font-weight: 600;
+            font-size: 1.15rem;
+            transition: all 0.3s ease;
+            box-shadow: 0 4px 14px 0 rgba(5, 150, 105, 0.39);
+        }
+        .cta-button:hover {
+            background-color: var(--primary-dark);
+            transform: translateY(-2px);
+            box-shadow: 0 6px 20px rgba(5, 150, 105, 0.4);
+        }
+        /* 👇 下方内容阅读区 */
+        .content-container {
+            max-width: 850px;
             margin: 0 auto;
+            padding: 50px 20px 80px;
+        }
+        .content-container h2 {
+            font-size: 1.8rem;
+            font-weight: 600;
+            border-bottom: 2px solid #f3f4f6;
+            padding-bottom: 12px;
+            margin-top: 45px;
+            color: #111827;
         }
+        .content-container h3 {
+            font-size: 1.4rem;
+            margin-top: 35px;
         }
+        .content-container p {
+            font-size: 1.1rem;
+            color: #4b5563;
+        }
+        .content-container a {
+            color: var(--primary);
+            text-decoration: none;
+            font-weight: 500;
+        }
+        .content-container a:hover {
+            text-decoration: underline;
+        }
+        /* 优化代码块显示 */
+        pre { background: #f3f4f6; padding: 15px; border-radius: 8px; overflow-x: auto; }
+        code { font-family: ui-monospace, monospace; font-size: 0.9em; }
     </style>
 </head>
+<body>
+    <div class="hero">
+        <img src="https://raw.githubusercontent.com/StatAI-Lab/StatProver_doc/main/figs/logo.png" alt="StatProver Logo" onerror="this.style.display='none'">
+        <h1>StatProver</h1>
+        <p class="subtitle">
+            An Automated Statistical Proof Assistant developed by **[StatAI Lab](https://statai-lab.github.io/)**, led by **[Prof. Fan Zhou](https://mlzxzhou.github.io/)** at the School of Statistics and Data Science, Shanghai University of Finance and Economics.
+        </p>
+        <a href="https://statprover.com" target="_blank" class="cta-button">
+            Launch StatProver
+        </a>
+    </div>
+    <div class="content-container" id="content">
+        加载中...
+    </div>
     <script type="text/markdown" id="md-source">
 ## What StatProver Does
 StatProver provides a structured workflow for automated proof generation and self-correction, helping users transform a statistical proposition or source document into a complete LaTeX proof.
 * **[Prof. Fan Zhou](https://mlzxzhou.github.io/)** (Project Leader): [zhoufan@mail.shufe.edu.cn](mailto:zhoufan@mail.shufe.edu.cn)
     </script>
     <script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
     <script>
         const mdText = document.getElementById('md-source').innerHTML.trim();
         document.getElementById('content').innerHTML = marked.parse(mdText);
     </script>
 </body>