Spaces:

StatAILab
/

StatProver

Running

App Files Files Community

Sausage5464 commited on Apr 22

Commit

899bd66

verified ·

1 Parent(s): f2b0331

Update index.html

Browse files

Files changed (1) hide show

index.html +18 -2

index.html CHANGED Viewed

@@ -6,6 +6,7 @@
     <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;
@@ -20,6 +21,7 @@
             margin: 0;
             padding: 0;
             line-height: 1.7;
         }
         /* 👇 头部居中区域 (Hero Section) */
@@ -98,6 +100,16 @@
         /* 优化代码块显示 */
         pre { background: #f3f4f6; padding: 15px; border-radius: 8px; overflow-x: auto; }
         code { font-family: ui-monospace, monospace; font-size: 0.9em; }
     </style>
 </head>
 <body>
@@ -108,8 +120,12 @@
         <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

     <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;
             margin: 0;
             padding: 0;
             line-height: 1.7;
+            font-size: 18px;
         }
         /* 👇 头部居中区域 (Hero Section) */
         /* 优化代码块显示 */
         pre { background: #f3f4f6; padding: 15px; border-radius: 8px; overflow-x: auto; }
         code { font-family: ui-monospace, monospace; font-size: 0.9em; }
+        /* 限制 Markdown 里的图片大小 */
+        .content-container img {
+            max-width: 100%;       /* 宽度绝不超过容器 */
+            height: auto;          /* 高度等比缩放 */
+            border-radius: 8px;    /* 加一点圆角更好看 */
+            box-shadow: 0 4px 12px rgba(0,0,0,0.1); /* 加一点淡淡的阴影，更有质感 */
+            margin: 20px 0;        /* 上下留白 */
+            display: block;        /* 避免和文字挤在一起 */
+        }
     </style>
 </head>
 <body>
         <h1>StatProver</h1>
         <p class="subtitle">
+    An Automated Statistical Proof Assistant developed by
+    <a href="https://statai-lab.github.io/" target="_blank" style="color: var(--primary); font-weight: 600; text-decoration: none;">StatAI Lab</a>,
+    led by
+    <a href="https://mlzxzhou.github.io/" target="_blank" style="color: var(--primary); font-weight: 600; text-decoration: none;">Prof. Fan Zhou</a>
+    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