Add style in index

coq · Jul 4, 2024 · 6488b8a · 6488b8a
1 parent 0008647
commit 6488b8a
Show file tree

Hide file tree

Showing 5 changed files with 83 additions and 31 deletions.
diff --git a/src/images/coq-community-logo.ico b/src/images/coq-community-logo.ico
diff --git a/src/images/coq-community-logo.png b/src/images/coq-community-logo.png
diff --git a/src/images/github-mark.png b/src/images/github-mark.png
diff --git a/src/index.html b/src/index.html
@@ -2,52 +2,70 @@
 <html>
   <head>
     <title>Coq Platform Docs - Demo</title>
+    <meta charset="utf8"/>
+    <link rel="stylesheet" href="style.css"/>
+    <link rel="shortcut icon" href="images/coq-community-logo.ico" type="image/x-icon">
   </head>
   <body>
     <h1>Coq Platform Docs - Demo</h1>
+
+    <div style="text-align:left">
+        <img src="images/github-mark.png" height="25" style="border:0px">
+        <a href="https://github.com/Zimmi48/platform-docs">
+            View Coq-Platform-Doc
+        </a>
+        <img src="images/github-mark.png" height="25" style="border:0px">
+    </div>
+
+    <h2 id="about">About</h2>
+    <p><a href="https://coq.inria.fr"><img src="images/coq-community-logo.png" align="right" width="100"></a></p>
     <p>
     This is a demo page for the Coq Platform Docs.
+    These tutorials are meant to become part of Rocq's next website and the
+    github repository should be part of the Coq organization.
     </p>
     <p>
     The interactive versions can be run in a web browser, for the source code,
     one needs a text editor able to interact with Coq (e.g. CoqIDE, emacs with
     Proof General, vim with CoqTail, vscode with vscoq).
     </p>
+
+    <h2 id="coq-tut">Coq Tutorials</h2>
     <ul>
-      <li> Coq tutorials
-        <ul>
-          <li>
-            Search Tutorial
-            <a href="SearchTutorial.html">interactive version</a>
-            <a href="SearchTutorial.v">source code</a>
-          </li>
-          <li>
-            Basic library files and module management
-            <a href="RequireImportTutorial.html">interactive version</a>
-            <a href="RequireImportTutorial.v">source code</a>
-          </li>
-        </ul>
+      <li>
+        Search Tutorial:
+        <a href="SearchTutorial.html">interactive version</a>
+        and
+        <a href="SearchTutorial.v">source code</a>
       </li>
-      <li> Equations tutorials
-        <ul>
-          <li>
-            Basics
-            <a href="Tutorial_Equations_basics.html">interactive version</a>
-            <a href="Tutorial_Equations_basics.v">source code</a>
-          </li>
-          <li>
-            Obligations
-            <a href="Tutorial_Equations_Obligations.html">interactive version</a>
-            <a href="Tutorial_Equations_Obligations.v">source code</a>
-          </li>
-          <li>
-            Well-founded recursion
-            <a href="Tutorial_Equations_wf.html">interactive version</a>
-            <a href="Tutorial_Equations_wf.v">source code</a>
-          </li>
-        </ul>
+      <li>
+        Basic library files and module management:
+        <a href="RequireImportTutorial.html">interactive version</a>
+        and
+        <a href="RequireImportTutorial.v">source code</a>
       </li>
     </ul>
+
+    <h2 id=eq-tut>Equations tutorials</h2>
+    <ul>
+      <li>
+        Basics:
+        <a href="Tutorial_Equations_basics.html">interactive version</a>
+        and
+        <a href="Tutorial_Equations_basics.v">source code</a>
+      </li>
+      <li>
+        Obligations:
+        <a href="Tutorial_Equations_Obligations.html">interactive version</a>
+        and
+        <a href="Tutorial_Equations_Obligations.v">source code</a>
+      </li>
+      <li>
+        Well-founded recursion:
+        <a href="Tutorial_Equations_wf.html">interactive version</a>
+        and
+        <a href="Tutorial_Equations_wf.v">source code</a>
+      </li>
     </ul>
   </body>
 </html>
diff --git a/src/style.css b/src/style.css
@@ -0,0 +1,34 @@
+/* shamelessly taken from the Coq-community website */
+code {
+	white-space: pre-wrap;
+}
+span.smallcaps {
+	font-variant: small-caps;
+}
+span.underline {
+	text-decoration: underline;
+}
+div.column {
+	display: inline-block; vertical-align: top; width: 50%;
+}
+div.hanging-indent {
+	margin-left: 1.5em; text-indent: -1.5em;
+}
+ul.task-list {
+	list-style: none;
+}
+body {
+	font-family: Arial, Helvetica; margin-left: 5em; font-size: large;
+}
+h1 {
+	margin-left: 0em; padding: 0px; text-align: center
+}
+h2 {
+	margin-left: 0em; padding: 0px; color: #580909
+}
+h3 {
+	margin-left: 1em; padding: 0px; color: #C05001;
+}
+body {
+	width: 1100px; margin-left: 30px; 
+}