put demo css and index redirect file in correct folder and rebuild demo

hferee · Feb 9, 2024 · b6f9087 · b6f9087
1 parent 3b5662b
commit b6f9087
Show file tree

Hide file tree

Showing 105 changed files with 70,641 additions and 2,893 deletions.
diff --git a/doc-config/resources/coqdoc-demo.css b/doc-config/resources/coqdoc-demo.css
@@ -0,0 +1,246 @@
+/* @import url(https://fonts.googleapis.com/css?family=Open+Sans:400,700); */
+
+body {
+    font-family: Times New Roman, serif;
+    font-size: 1.5em;
+    color: #2D2D2D
+}
+
+td {
+    padding: 0 10px;
+}
+
+td.ms {
+    font-family: 'Courier New', monospace;
+}
+
+a {
+    text-decoration: none;
+    border-radius: 3px;
+    padding-left: 3px;
+    padding-right: 3px;
+    margin-left: -3px;
+    margin-right: -3px;
+    color: inherit;
+    font-weight: bold;
+}
+
+#main .code a,
+#main .inlinecode a,
+#toc a {
+    font-weight: inherit;
+}
+
+a[href]:hover,
+[clickable]:hover {
+    background-color: rgba(0, 0, 0, 0.1);
+    cursor: pointer;
+}
+
+h,
+h1,
+h2,
+h3,
+h4,
+h5 {
+    line-height: 1;
+    color: black;
+    text-rendering: optimizeLegibility;
+    font-weight: normal;
+    text-align: left;
+}
+
+div+br {
+    display: none;
+}
+
+div:empty {
+    display: none;
+}
+
+#main h1 {
+    font-size: 2em;
+}
+
+#main h2 {
+    font-size: 1.667rem;
+}
+
+#main h3 {
+    font-size: 1.333em;
+}
+
+#main h4,
+#main h5,
+#main h6 {
+    font-size: 1em;
+}
+
+#toc h2 {
+    padding-bottom: 0;
+}
+
+#main .doc {
+    margin: 0;
+    text-align: justify;
+}
+
+.inlinecode,
+.code,
+#main pre {
+    font-family: monospace;
+}
+
+.code>br:first-child {
+    display: none;
+}
+
+.doc+.code {
+    margin-top: 0.5em;
+}
+
+.block {
+    display: block;
+    margin-top: 5px;
+    margin-bottom: 5px;
+    padding: 10px;
+    text-align: center;
+}
+
+.block img {
+    margin: 15px;
+}
+
+table.infrule {
+    border: 0px;
+    margin-left: 50px;
+    margin-top: 10px;
+    margin-bottom: 10px;
+}
+
+td.infrule {
+    font-family: "Droid Sans Mono", "DejaVu Sans Mono", monospace;
+    text-align: center;
+    padding: 0;
+    line-height: 1;
+}
+
+tr.infrulemiddle hr {
+    margin: 1px 0 1px 0;
+}
+
+.infrulenamecol {
+    color: rgb(60%, 60%, 60%);
+    padding-left: 1em;
+    padding-bottom: 0.1em
+}
+
+.id[type="constructor"],
+.id[type="projection"],
+.id[type="method"],
+.id[title="constructor"],
+.id[title="projection"],
+.id[title="method"] {
+    color: #A30E16;
+}
+
+.id[type="var"],
+.id[type="variable"],
+.id[title="var"],
+.id[title="variable"] {
+    color: inherit;
+}
+
+.id[type="definition"],
+.id[type="record"],
+.id[type="class"],
+.id[type="instance"],
+.id[type="inductive"],
+.id[type="library"],
+.id[title="definition"],
+.id[title="record"],
+.id[title="class"],
+.id[title="instance"],
+.id[title="inductive"],
+.id[title="library"] {
+    color: #A6650F;
+}
+
+.id[type="lemma"],
+.id[title="lemma"] {
+    color: #188B0C;
+}
+
+.id[type="keyword"],
+.id[type="notation"],
+.id[type="abbreviation"],
+.id[title="keyword"],
+.id[title="notation"],
+.id[title="abbreviation"] {
+    color: #2874AE;
+}
+
+.comment {
+    color: #808080;
+}
+
+/* TOC */
+
+#toc h2 {
+    letter-spacing: 0;
+    font-size: 1.333em;
+}
+
+/* Index */
+
+#index {
+    margin: 0;
+    padding: 0;
+    width: 100%;
+}
+
+#index #frontispiece {
+    margin: 1em auto;
+    padding: 1em;
+    width: 60%;
+}
+
+.booktitle {
+    font-size: 140%
+}
+
+.authors {
+    font-size: 90%;
+    line-height: 115%;
+}
+
+.moreauthors {
+    font-size: 60%
+}
+
+#index #entrance {
+    text-align: center;
+}
+
+#index #entrance .spacer {
+    margin: 0 30px 0 30px;
+}
+
+ul.doclist {
+    margin-top: 0em;
+    margin-bottom: 0em;
+}
+
+#toc>* {
+    clear: both;
+}
+
+#toc>a {
+    display: block;
+    float: left;
+    margin-top: 1em;
+}
+
+#toc a h2 {
+    display: inline;
+}
diff --git a/doc-config/resources/demo.html b/doc-config/resources/demo.html
@@ -89,7 +89,7 @@
           <td>necessity (box)</td>
         <tr>
           <td>⊥</td>
-          <td class="ms"></td>
+          <td class="ms">#</td>
           <td>falsum</td>
         </tr>
         <tr>

diff --git a/doc-config/resources/index.html b/doc-config/resources/index.html
@@ -0,0 +1,10 @@
+<!DOCTYPE html>
+<html>
+<head>
+    <title>Index Page</title>
+    <meta http-equiv="refresh" content="0; url=demo.html" />
+</head>
+<body>
+</body>
+</html>
+