From 8588ebb4621d85b7ccc738622339b3aa53486c31 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 20 Jan 2021 14:53:34 +0000
Subject: Delete documents folder and move to separate repository

---
 docs/css/coqdoc.css | 606 -----------------------------------------
 docs/css/fonts.css  | 215 ---------------
 docs/css/org.css    | 771 ----------------------------------------------------
 3 files changed, 1592 deletions(-)
 delete mode 100644 docs/css/coqdoc.css
 delete mode 100644 docs/css/fonts.css
 delete mode 100644 docs/css/org.css

(limited to 'docs/css')

diff --git a/docs/css/coqdoc.css b/docs/css/coqdoc.css
deleted file mode 100644
index 02c7244..0000000
--- a/docs/css/coqdoc.css
+++ /dev/null
@@ -1,606 +0,0 @@
-body { padding: 0px 0px;
-       margin: 0px 0px; 
-       background-color: white }
-
-#page { display: block;
-        padding: 0px;
-        margin: 0px;
-        padding-bottom: 10px; }
-
-#header { display: block;
-          position: relative;
-          padding: 0;
-          margin: 0;
-          vertical-align: middle;
-          border-bottom-style: solid;
-          border-width: thin }
-
-#header h1 { padding: 0; 
-             margin: 0;}
-
-
-/* Contents */
-
-#main{ display: block;
-       padding: 10px;
-       font-family: sans-serif;
-       font-size: 100%;
-       line-height: 100% }
-
-#main  h1 { line-height: 95% } /* allow for multi-line headers */
-
-#main  a.idref:visited {color : #416DFF; text-decoration : none; }
-#main  a.idref:link {color : #416DFF; text-decoration : none; }
-#main  a.idref:hover {text-decoration : none; }
-#main  a.idref:active {text-decoration : none; }
-
-#main  a.modref:visited {color : #416DFF; text-decoration : none; }
-#main  a.modref:link {color : #416DFF; text-decoration : none; }
-#main  a.modref:hover {text-decoration : none; }
-#main  a.modref:active {text-decoration : none; }
-
-#main .keyword { color : #cf1d1d }
-#main { color: black }
-
-.section { background-color: white;
-           padding-top: 13px; 
-           padding-bottom: 13px; 
-           padding-left: 3px; 
-           margin-top: 5px;
-           margin-bottom: 5px;
-           font-size : 175% }
-
-h2.section { background-color: white;
-             padding-left: 3px; 
-             padding-top: 12px; 
-             padding-bottom: 10px; 
-             font-size : 130% }
-
-h3.section { background-color: white;
-             padding-left: 3px; 
-             padding-top: 7px; 
-             padding-bottom: 7px; 
-             font-size : 115% }
-
-h4.section { 
-/*
-                   background-color: rgb(80%,80%,80%);
-                   max-width: 20em;
-                   padding-left: 5px; 
-                   padding-top: 5px; 
-                   padding-bottom: 5px; 
-*/
-                   background-color: white;
-                   padding-left: 0px; 
-                   padding-top: 0px; 
-                   padding-bottom: 0px; 
-                   font-size : 100%;
-                   font-weight : bold;
-                   text-decoration : underline;
- }
-
-#main .doc { margin: 0px;
-             font-family: sans-serif;
-             font-size: 100%;
-	     line-height: 125%;
-             max-width: 40em;
-             color: black;
-	     padding: 10px;
-             background-color: #90bdff }
-
-.inlinecode { 
-    display: inline;
-/*    font-size: 125%; */
-    color: #666666;
-    font-family: monospace } 
-
-.doc .inlinecode { 
-    display: inline;
-    font-size: 120%; 
-    color: rgb(30%,30%,70%);
-    font-family: monospace } 
-
-.doc .inlinecode .id { 
-    color: rgb(30%,30%,70%); 
-} 
-
-.inlinecodenm { 
-    display: inline;
-    color: #444444;
-}
-
-.doc .code { 
-    display: inline;
-    font-size: 120%; 
-    color: rgb(30%,30%,70%); 
-    font-family: monospace } 
-
-.comment { 
-    display: inline;
-    font-family: monospace;
-    color: rgb(50%,50%,80%); 
-} 
-
-.code { 
-    display: block;
-/*  padding-left: 15px; */
-    font-size: 110%; 
-    font-family: monospace;
- } 
-
-table.infrule {
-  border: 0px;
-  margin-left: 50px;
-  margin-top: 10px;
-  margin-bottom: 10px;
-}
-
-td.infrule {
-    font-family: monospace;
-    text-align: center;
-/*    color: rgb(35%,35%,70%);  */
-    padding: 0px;
-    line-height: 100%;
-}
-
-tr.infrulemiddle hr {
-    margin: 1px 0 1px 0;
-}
-
-.infrulenamecol {
-    color: rgb(60%,60%,60%); 
-    font-size: 80%;
-    padding-left: 1em;
-    padding-bottom: 0.1em
-}
-
-/* Pied de page */
-
-#footer { font-size: 65%;
-          font-family: sans-serif; }
-
-/* Identifiers: <span class="id" title="...">) */
-
-.id { display: inline; }
-
-.id[title="constructor"] {
-    color: rgb(60%,0%,0%);
-}
-
-.id[title="var"] {
-    color: rgb(40%,0%,40%);
-}
-
-.id[title="variable"] {
-    color: rgb(40%,0%,40%);
-}
-
-.id[title="definition"] {
-    color: rgb(0%,40%,0%);
-}
-
-.id[title="abbreviation"] {
-    color: rgb(0%,40%,0%);
-}
-
-.id[title="lemma"] {
-    color: rgb(0%,40%,0%);
-}
-
-.id[title="instance"] {
-    color: rgb(0%,40%,0%);
-}
-
-.id[title="projection"] {
-    color: rgb(0%,40%,0%);
-}
-
-.id[title="method"] {
-    color: rgb(0%,40%,0%);
-}
-
-.id[title="inductive"] {
-    color: rgb(0%,0%,80%);
-}
-
-.id[title="record"] {
-    color: rgb(0%,0%,80%);
-}
-
-.id[title="class"] {
-    color: rgb(0%,0%,80%);
-}
-
-.id[title="keyword"] {
- color : #cf1d1d;
-/*     color: black; */
-}
-
-/* Deprecated rules using the 'type' attribute of <span> (not xhtml valid) */
-
-.id[type="constructor"] { 
-    color: rgb(60%,0%,0%);
-}
-
-.id[type="var"] { 
-    color: rgb(40%,0%,40%);
-}
-
-.id[type="variable"] { 
-    color: rgb(40%,0%,40%);
-}
-
-.id[type="definition"] { 
-    color: rgb(0%,40%,0%);
-}
-
-.id[type="abbreviation"] { 
-    color: rgb(0%,40%,0%);
-}
-
-.id[type="lemma"] { 
-    color: rgb(0%,40%,0%);
-}
-
-.id[type="instance"] { 
-    color: rgb(0%,40%,0%);
-}
-
-.id[type="projection"] { 
-    color: rgb(0%,40%,0%);
-}
-
-.id[type="method"] { 
-    color: rgb(0%,40%,0%);
-}
-
-.id[type="inductive"] { 
-    color: rgb(0%,0%,80%);
-}
-
-.id[type="record"] { 
-    color: rgb(0%,0%,80%);
-}
-
-.id[type="class"] { 
-    color: rgb(0%,0%,80%);
-}
-
-.id[type="keyword"] { 
- color : #cf1d1d;
-/*     color: black; */
-}
-
-.inlinecode .id {
-    color: rgb(0%,0%,0%);
-}
-
-
-/* TOC */
-
-#toc h2 {
-    padding: 10px;
-    background-color: rgb(60%,60%,100%);
-}
-
-#toc li {
-    padding-bottom: 8px;
-}
-
-/* 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;
-}
-
-#index #footer {
-    position: absolute;
-    bottom: 0;
-}
-
-.paragraph {
-    height: 0.75em;
-}
-
-ul.doclist {
-    margin-top: 0em;
-    margin-bottom: 0em;
-}
-
-.section { background-color: white; }
-
-h2.section { background-color: white; }
-
-h3.section { background-color: white; }
-
-#main .doc {
-    background-color: white;
-}
-
-#toc h2 {
-    background-color: white;
-}
-
-body {
-    font-family: "Helvetica Neue", "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, sans-serif !important;
-    font-size: 14px;
-    line-height: 21px;
-    color: #333;
-
-    max-width: 62em;
-    margin: auto;
-}
-
-.code {
-    font-size: 80%;
-    color: black;
-    border: 1px solid #DEDEDE;
-    font-family: Monaco, Consolas, "Lucida Console", monospace;
-    color: black;
-    background-color: #ffffff;
-    padding: 1.2em;
-    /* border: 1px solid #dddddd; */
-    overflow: auto;
-}
-
-table {
-    border: none;
-    margin: auto;
-    margin-top: 10px;
-    margin-bottom: 10px;
-}
-
-td {
-    border: none;
-}
-
-th {
-    border: none;
-}
-
-a {
-    text-decoration: none;
-    color: #3399cc;
-}
-
-a:visited {
-    text-decoration: none;
-    color: #3399cc;
-}
-
-a:hover {
-    text-decoration: underline;
-    color: #3399cc;
-}
-
-body {
-    font-family: "Helvetica Neue", "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, sans-serif !important;
-    font-size: 14px;
-    line-height: 21px;
-    color: #333;
-
-    max-width: 62em;
-    margin: auto;
-}
-body #content {
-    padding-top: 30px;
-}
-body .title {
-    margin-left: 0;
-}
-
-h1 {
-    font-size:2.1em;
-    padding:0 0 30px 0;
-    margin-top: 10px;
-    margin-bottom: 10px;
-    color: #333;
-}
-
-h2 {
-    font-family:Arial,sans-serif;
-    font-size:1.45em;
-    line-height:16px;
-    padding:7px 0 0 0;
-    color: #666;
-}
-
-.outline-text-2 {
-    margin-left: 0.1em
-}
-
-.title {
-
-}
-
-h3 {
-    font-family:Arial,sans-serif;
-    font-size:1.3em;
-    color: #666;
-    margin-left: 0.6em;
-}
-
-.outline-text-3 {
-    margin-left: 0.9em;
-}
-
-h4 {
-    font-family:Arial,sans-serif;
-    font-size:1.2em;
-    margin-left: 1.2em;
-    color: #666;
-}
-
-.outline-text-4 {
-    margin-left: 1.45em;
-}
-
-a {
-    text-decoration: none;
-    color: #3399cc;
-}
-/* a:visited {text-decoration: none; color: #224444} */ /* Taken out because color too similar to text. */
-a:visited {
-    text-decoration: none;
-    color: #3399cc;
-}  /* this is now the color of the Unicorns horn */
-a:hover {
-    text-decoration: underline;
-    color: #3399cc;
-}
-
-ul, ol {
-    padding-left: 2em;
-}
-
-ul {
-    list-style-type: square;
-    list-style-image: inherit;
-    list-style-position: outside;
-}
-ol {
-    list-style-type: decimal;
-    list-style-position: outside;
-}
-ol ol {
-    list-style-type: lower-alpha;
-}
-
-.todo {
-    color: #CA0000;
-}
-
-.done {
-    color: #006666;
-}
-
-.timestamp-kwd {
-    color: #444;
-}
-
-.tag {
-
-}
-
-li {
-    margin: .4em;
-}
-
-table {
-    border: none;
-    margin: auto;
-    margin-top: 10px;
-    margin-bottom: 10px;
-}
-
-td {
-    border: none;
-    border-left: 1px solid black;
-}
-
-th {
-    border: none;
-}
-
-table.full {
-}
-
-table.full td {
-    border: 1px solid black;
-    padding: 5px;
-}
-
-code {
-    font-size: 100%;
-    color: black;
-    border: 1px solid #DEDEDE;
-    padding: 0px 0.2em;
-}
-
-img {
-    border: none;
-}
-
-.share img {
-    opacity: .4;
-    -moz-opacity: .4;
-    filter: alpha(opacity=40);
-}
-
-.share img:hover {
-    opacity: 1;
-    -moz-opacity: 1;
-    filter: alpha(opacity=100);
-}
-
-/* pre {border: 1px solid #555; */
-/*      background: #EEE; */
-/*      font-size: 9pt; */
-/*      padding: 1em; */
-/*     } */
-
-/* pre { */
-/*     color: #e5e5e5; */
-/*     background-color: #000000; */
-/*     padding: 1.4em; */
-/*     border: 2px solid gray; */
-/* } */
-
-/* pre { */
-/*     background-color: #2b2b2b; */
-/*     border: 4px solid gray; */
-/*     color: #EEE; */
-/*     overflow: auto; */
-/*     padding: 1em; */
-/*  } */
-
-pre {
-    font-family: Monaco, Consolas, "Lucida Console", monospace;
-    color: black;
-    background-color: #ffffff;
-    padding: 1.2em;
-    /* border: 1px solid #dddddd; */
-    overflow: auto;
-
-/*
-        -webkit-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
-        -moz-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
-        box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
-*/
-}
-
-div.summary {
-    padding: 15px;
-    border:1px solid #CCC;
-    border-radius:10px;
-    -moz-border-radius:10px;
-    -webkit-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
-    -moz-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
-    box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
-}
-
-div.summary h2 {
-    padding: 0;
-    margin: 0;
-}
diff --git a/docs/css/fonts.css b/docs/css/fonts.css
deleted file mode 100644
index dd58326..0000000
--- a/docs/css/fonts.css
+++ /dev/null
@@ -1,215 +0,0 @@
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 100;
-    font-style: normal;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-thin.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-thin.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-thin.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 100;
-    font-style: italic;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-thinitalic.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-thinitalic.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-thinitalic.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 100;
-    font-style: oblique;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-thinoblique.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-thinoblique.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-thinoblique.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 200;
-    font-style: normal;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-extralight.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-extralight.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-extralight.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 200;
-    font-style: italic;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-extralightitalic.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-extralightitalic.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-extralightitalic.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 200;
-    font-style: oblique;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-extralightoblique.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-extralightoblique.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-extralightoblique.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 300;
-    font-style: normal;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-light.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-light.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-light.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 300;
-    font-style: italic;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-lightitalic.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-lightitalic.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-lightitalic.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 300;
-    font-style: oblique;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-lightoblique.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-lightoblique.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-lightoblique.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 400;
-    font-style: normal;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-regular.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-regular.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-regular.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 400;
-    font-style: italic;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-italic.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-italic.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-italic.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 400;
-    font-style: oblique;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-oblique.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-oblique.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-oblique.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 500;
-    font-style: normal;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-medium.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-medium.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-medium.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 500;
-    font-style: italic;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-mediumitalic.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-mediumitalic.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-mediumitalic.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 500;
-    font-style: oblique;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-mediumoblique.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-mediumoblique.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-mediumoblique.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 600;
-    font-style: normal;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-semibold.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-semibold.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-semibold.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 600;
-    font-style: italic;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-semibolditalic.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-semibolditalic.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-semibolditalic.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 600;
-    font-style: oblique;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-semiboldoblique.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-semiboldoblique.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-semiboldoblique.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 700;
-    font-style: normal;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-bold.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-bold.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-bold.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 700;
-    font-style: italic;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-bolditalic.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-bolditalic.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-bolditalic.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 700;
-    font-style: oblique;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-boldoblique.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-boldoblique.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-boldoblique.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 800;
-    font-style: normal;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-extrabold.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-extrabold.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-extrabold.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 800;
-    font-style: italic;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-extrabolditalic.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-extrabolditalic.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-extrabolditalic.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 800;
-    font-style: oblique;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-extraboldoblique.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-extraboldoblique.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-extraboldoblique.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 900;
-    font-style: normal;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-heavy.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-heavy.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-heavy.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 900;
-    font-style: italic;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-heavyitalic.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-heavyitalic.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-heavyitalic.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'Iosevka Web';
-    font-weight: 900;
-    font-style: oblique;
-    font-display: swap;
-    src: url('/vericert/fonts/woff2/iosevka-heavyoblique.woff2') format('woff2'), url('/vericert/fonts/woff/iosevka-heavyoblique.woff') format('woff'), url('/vericert/fonts/ttf/iosevka-heavyoblique.ttf') format('truetype');
-}
diff --git a/docs/css/org.css b/docs/css/org.css
deleted file mode 100644
index f00e27d..0000000
--- a/docs/css/org.css
+++ /dev/null
@@ -1,771 +0,0 @@
-body {
-    font-size: 18px;
-    font-family: "Alegreya", serif;
-    margin: 0;
-    color: #333;
-    background-color: #fdf6e3;
-}
-
-#table-of-contents li, #toc li {
-    list-style-type: none;
-}
-
-.is-active-link::before {
-  background-color: #A5573E;
-}
-
-.logo {
-    text-align: center;
-}
-
-.logo > a {
-    color: #fdf6e3;
-    font-weight: bold;
-    text-decoration: none;
-}
-
-.logo > a:hover {
-    border-bottom: none;
-}
-
-#navbar {
-    text-align: center;
-}
-
-#navbar > span > a {
-    color: #fdf6e3;
-    font-weight: bold;
-}
-
-#navbar > span > a:hover {
-    border-bottom: none;
-    color: #003355;
-}
-
-::selection {
-    background: #D6EDFF;
-}
-
-p {
-    margin: 1em auto;
-}
-
-ol,ul {
-    margin: 0 auto;
-}
-
-dl {
-    margin: 0 auto;
-}
-
-.title {
-    text-align: center;
-    margin: 0.8em auto;
-    color: black;
-}
-
-.subtitle {
-    text-align: center;
-    font-size: 0.7em;
-    line-height: 1.4;
-    font-weight: bold;
-    color: grey;
-    margin: 1em auto;
-}
-
-.abstract {
-    margin: auto;
-    width: 80%;
-    font-style: italic;
-}
-
-.abstract p:last-of-type:before {
-    content: "    ";
-    white-space: pre;
-}
-
-[class^="section-number-"] {
-    margin-right: .5em;
-}
-
-[id^="orgheadline"] {
-    clear: both;
-}
-
-#footnotes {
-    font-size: 90%;
-}
-
-.footpara {
-    display: inline;
-    margin: .2em auto;
-}
-
-.footdef {
-    margin-bottom: 1em;
-}
-
-.footdef sup {
-    padding-right: .5em;
-}
-
-a {
-    color: #527d9a;
-    text-decoration: none;
-}
-
-a:hover {
-    color: #003355;
-    border-bottom: 1px dotted;
-}
-
-figure {
-    padding: 0px;
-    margin: 1em auto;
-    text-align: center;
-}
-
-img {
-    max-width: 100%;
-    vertical-align: middle;
-}
-
-.MathJax_Display {
-    margin: 0!important;
-    width: 90%!important;
-}
-
-h1,h2,h3,h4,h5,h6 {
-    color: #A5573E;
-    line-height: 1em;
-    font-family: "Iosevka Web", sans-serif;
-}
-
-h1,h2,h3 {
-    line-height: 1.4em;
-}
-
-h4,h5,h6 {
-    font-size: 1em;
-}
-
-dt {
-    font-weight: bold;
-}
-
-/* table */
-
-table {
-    margin: 1em auto;
-    border-top: 2px solid;
-    border-bottom: 2px solid;
-    border-collapse: collapse;
-}
-
-thead {
-    border-bottom: 2px solid;
-}
-
-table td + td, table th + th {
-    border-left: 1px solid gray;
-}
-
-table tr {
-    border-top: 1px solid lightgray;
-}
-
-td,th {
-    padding: 0.3em 0.6em;
-    vertical-align: middle;
-}
-
-caption.t-above {
-    caption-side: top;
-}
-
-caption.t-bottom {
-    caption-side: bottom;
-}
-
-caption {
-    margin-bottom: 0.3em;
-}
-
-figcaption {
-    margin-top: 0.3em;
-}
-
-th.org-right {
-    text-align: center;
-}
-
-th.org-left {
-    text-align: center;
-}
-
-th.org-center {
-    text-align: center;
-}
-
-td.org-right {
-    text-align: right;
-}
-
-td.org-left {
-    text-align: left;
-}
-
-td.org-center {
-    text-align: center;
-}
-
-blockquote {
-    margin: 1em 2em;
-    padding-left: 1em;
-    border-left: 3px solid #ccc;
-}
-
-kbd {
-    background-color: #f7f7f7;
-    font-size: 80%;
-    margin: 0 .1em;
-    padding: .1em .6em;
-}
-
-.todo {
-    background-color: red;
-    color: white;
-    padding: .1em 0.3em;
-    border-radius: 3px;
-    background-clip: padding-box;
-    font-size: 80%;
-    font-family: "Iosevka Web", monospace;
-    line-height: 1;
-}
-
-.done {
-    background-color: green;
-    color: white;
-    padding: .1em 0.3em;
-    border-radius: 3px;
-    background-clip: padding-box;
-    font-size: 80%;
-    font-family: "Iosevka Web", monospace;
-    line-height: 1;
-}
-
-.priority {
-    color: orange;
-    font-family: "Iosevka Web", monospace;
-}
-
-/* Because tag span is set to float.  This is more like a hacking.  Maybe we
-   need a cleaner solution. */
-#table-of-contents li {
-    clear: both;
-}
-
-.tag {
-    font-family: "Iosevka Web", monospace;
-    font-size: 0.7em;
-    font-weight: normal;
-}
-
-.tag span {
-    padding: 0.3em 0.3em;
-    float: right;
-    margin-right: .5em;
-    border: 1px solid #bbb;
-    border-radius: 3px;
-    background-clip: padding-box;
-    color: #333;
-    background-color: #eee;
-    line-height: 1;
-}
-
-.timestamp {
-    color: #bebebe;
-    font-size: 90%;
-}
-
-.timestamp-kwd {
-    color: #5f9ea0;
-}
-
-.org-right {
-    margin-left: auto;
-    margin-right: 0px;
-    text-align: right;
-}
-
-.org-left {
-    margin-left: 0px;
-    margin-right: auto;
-    text-align: left;
-}
-
-.org-center {
-    margin-left: auto;
-    margin-right: auto;
-    text-align: center;
-}
-
-.underline {
-    text-decoration: underline;
-}
-
-#postamble p, #preamble p {
-    font-size: 90%;
-    margin: .2em;
-}
-
-p.verse {
-    margin-left: 3%;
-}
-
-:not(pre) > code {
-    padding: 2px 5px;
-    margin: auto 1px;
-    border: 1px solid #DDD;
-    border-radius: 3px;
-    background-clip: padding-box;
-    color: #333;
-    font-size: 80%;
-}
-
-.org-src-container {
-    border: 1px solid #ccc;
-    box-shadow: 3px 3px 3px #eee;
-    font-family: "Iosevka Web", monospace;
-    font-size: 80%;
-    margin: 1em auto;
-    padding: 0.1em 0.5em;
-    position: relative;
-}
-
-.org-src-container>pre {
-    overflow: auto;
-}
-
-.org-src-container>pre:before {
-    display: block;
-    position: absolute;
-    background-color: #b3b3b3;
-    top: 0;
-    right: 0;
-    padding: 0 0.5em;
-    border-bottom-left-radius: 8px;
-    border: 0;
-    color: white;
-    font-size: 80%;
-}
-
-/* from http://demo.thi.ng/org-spec/ */
-
-.org-src-container>pre.src-sh:before {
-    content: 'sh';
-}
-.org-src-container>pre.src-bash:before {
-    content: 'bash';
-}
-.org-src-container>pre.src-emacs-lisp:before {
-    content: 'Emacs Lisp';
-}
-.org-src-container>pre.src-R:before {
-    content: 'R';
-}
-.org-src-container>pre.src-org:before {
-    content: 'Org';
-}
-.org-src-container>pre.src-cpp:before {
-    content: 'C++';
-}
-.org-src-container>pre.src-c:before {
-    content: 'C';
-}
-.org-src-container>pre.src-html:before {
-    content: 'HTML'
-}
-.org-src-container>pre.src-js:before {
-    content: 'Javascript'
-}
-.org-src-container>pre.src-javascript:before {
-    content: 'Javascript'
-}
-
-// More languages from http://orgmode.org/worg/org-contrib/babel/languages.html
-
-.org-src-container>pre.src-abc:before {
-    content: 'ABC';
-}
-.org-src-container>pre.src-asymptote:before {
-    content: 'Asymptote';
-}
-.org-src-container>pre.src-awk:before {
-    content: 'Awk';
-}
-.org-src-container>pre.src-C:before {
-    content: 'C';
-}
-.org-src-container>pre.src-calc:before {
-    content: 'Calc';
-}
-.org-src-container>pre.src-clojure:before {
-    content: 'Clojure';
-}
-.org-src-container>pre.src-comint:before {
-    content: 'comint';
-}
-.org-src-container>pre.src-css:before {
-    content: 'CSS';
-}
-.org-src-container>pre.src-D:before {
-    content: 'D';
-}
-.org-src-container>pre.src-ditaa:before {
-    content: 'Ditaa';
-}
-.org-src-container>pre.src-dot:before {
-    content: 'Dot';
-}
-.org-src-container>pre.src-ebnf:before {
-    content: 'ebnf';
-}
-.org-src-container>pre.src-forth:before {
-    content: 'Forth';
-}
-.org-src-container>pre.src-F90:before {
-    content: 'Fortran';
-}
-.org-src-container>pre.src-gnuplot:before {
-    content: 'Gnuplot';
-}
-.org-src-container>pre.src-haskell:before {
-    content: 'Haskell';
-}
-.org-src-container>pre.src-io:before {
-    content: 'Io';
-}
-.org-src-container>pre.src-java:before {
-    content: 'Java';
-}
-.org-src-container>pre.src-latex:before {
-    content: 'LaTeX';
-}
-.org-src-container>pre.src-ledger:before {
-    content: 'Ledger';
-}
-.org-src-container>pre.src-ly:before {
-    content: 'Lilypond';
-}
-.org-src-container>pre.src-lisp:before {
-    content: 'Lisp';
-}
-.org-src-container>pre.src-makefile:before {
-    content: 'Make';
-}
-.org-src-container>pre.src-matlab:before {
-    content: 'Matlab';
-}
-.org-src-container>pre.src-max:before {
-    content: 'Maxima';
-}
-.org-src-container>pre.src-mscgen:before {
-    content: 'Mscgen';
-}
-.org-src-container>pre.src-Caml:before {
-    content: 'Objective';
-}
-.org-src-container>pre.src-octave:before {
-    content: 'Octave';
-}
-.org-src-container>pre.src-org:before {
-    content: 'Org';
-}
-.org-src-container>pre.src-perl:before {
-    content: 'Perl';
-}
-.org-src-container>pre.src-picolisp:before {
-    content: 'Picolisp';
-}
-.org-src-container>pre.src-plantuml:before {
-    content: 'PlantUML';
-}
-.org-src-container>pre.src-python:before {
-    content: 'Python';
-}
-.org-src-container>pre.src-ruby:before {
-    content: 'Ruby';
-}
-.org-src-container>pre.src-sass:before {
-    content: 'Sass';
-}
-.org-src-container>pre.src-scala:before {
-    content: 'Scala';
-}
-.org-src-container>pre.src-scheme:before {
-    content: 'Scheme';
-}
-.org-src-container>pre.src-screen:before {
-    content: 'Screen';
-}
-.org-src-container>pre.src-sed:before {
-    content: 'Sed';
-}
-.org-src-container>pre.src-shell:before {
-    content: 'shell';
-}
-.org-src-container>pre.src-shen:before {
-    content: 'Shen';
-}
-.org-src-container>pre.src-sql:before {
-    content: 'SQL';
-}
-.org-src-container>pre.src-sqlite:before {
-    content: 'SQLite';
-}
-.org-src-container>pre.src-stan:before {
-    content: 'Stan';
-}
-.org-src-container>pre.src-vala:before {
-    content: 'Vala';
-}
-.org-src-container>pre.src-axiom:before {
-    content: 'Axiom';
-}
-.org-src-container>pre.src-browser:before {
-    content: 'HTML';
-}
-.org-src-container>pre.src-cypher:before {
-    content: 'Neo4j';
-}
-.org-src-container>pre.src-elixir:before {
-    content: 'Elixir';
-}
-.org-src-container>pre.src-request:before {
-    content: 'http';
-}
-.org-src-container>pre.src-ipython:before {
-    content: 'iPython';
-}
-.org-src-container>pre.src-kotlin:before {
-    content: 'Kotlin';
-}
-.org-src-container>pre.src-Flavored Erlang  lfe:before {
-    content: 'Lisp';
-}
-.org-src-container>pre.src-mongo:before {
-    content: 'MongoDB';
-}
-.org-src-container>pre.src-prolog:before {
-    content: 'Prolog';
-}
-.org-src-container>pre.src-rec:before {
-    content: 'rec';
-}
-.org-src-container>pre.src-ML  sml:before {
-    content: 'Standard';
-}
-.org-src-container>pre.src-Translate  translate:before {
-    content: 'Google';
-}
-.org-src-container>pre.src-typescript:before {
-    content: 'Typescript';
-}
-.org-src-container>pre.src-rust:before {
-    content: 'Rust';
-}
-
-.inlinetask {
-    background: #ffffcc;
-    border: 2px solid gray;
-    margin: 10px;
-    padding: 10px;
-}
-
-#org-div-home-and-up {
-    font-size: 70%;
-    text-align: right;
-    white-space: nowrap;
-}
-
-.linenr {
-    font-size: 90%;
-}
-
-.code-highlighted {
-    background-color: #ffff00;
-}
-
-#bibliography {
-    font-size: 90%;
-}
-
-#bibliography table {
-    width: 100%;
-}
-
-.creator {
-    display: block;
-
-}
-
-@media screen and (max-width: 799px) {
-
-    body {
-        font-size: 20px;
-    }
-
-    #content {
-        width: 90%;
-        margin: 0 auto;
-    }
-
-    header p {
-        display: none;
-    }
-
-    #toc {
-        display: none;
-    }
-
-    #left-bar {
-        width: 100%;
-        height: 5rem;
-        background-color: #A5573E;
-    }
-
-    .logo {
-        float: left;
-        margin: 0.3em 0.3em;
-        font-size: 2em;
-    }
-
-    #navbar {
-        float: right;
-        margin: 1.5em 0.3em;
-    }
-
-    #navbar > span {
-        margin: 0 0.2em;
-    }
-
-    h1 {
-        font-size: 2em;
-    }
-
-    h2 {
-        font-size: 1.5em;
-    }
-
-    h3 {
-        font-size: 1.3em;
-    }
-
-    h1,h2,h3 {
-        line-height: 1.4em;
-    }
-
-    h4,h5,h6 {
-        font-size: 1.1em;
-    }
-
-    .creator {
-        display: inline;
-        float: right;
-    }
-}
-
-@media screen and (min-width: 800px) and (max-width: 1199px) {
-    body {
-        max-width: 700px;
-        margin-left: 15rem;
-        margin-right: 2.5rem;
-    }
-
-    #left-bar {
-        position: fixed;
-        left: 0px;
-        top: 0px;
-        padding: 1rem;
-        width: 10rem;
-        height: 100%;
-        background-color: #A5573E;
-    }
-
-    .logo {
-        font-size: 2.5em;
-    }
-
-    #navbar > span {
-        padding: 0 1em;
-    }
-
-    #navbar > span > a {
-        font-size: 1.2em;
-    }
-
-    a.toc-link {
-        color: #fdf6e3;
-    }
-
-    header p {
-        color: #fdf6e3;
-        line-height: 1.3;
-    }
-
-    #postamble {
-        float: left;
-        position: fixed;
-        left: 50px;
-        bottom: 0;
-        max-width: 20rem;
-    }
-}
-
-@media screen and (min-width: 1200px) {
-    body {
-        max-width: 800px;
-        margin-left: 20rem;
-        margin-right: 2.5rem;
-    }
-
-    #left-bar {
-        position: fixed;
-        left: 0px;
-        top: 0px;
-        padding: 1.5rem;
-        width: 15rem;
-        height: 100%;
-        background-color: #A5573E;
-    }
-
-    .logo {
-        font-size: 4rem;
-    }
-
-    #navbar > span {
-        padding: 0 1em;
-    }
-
-    #navbar > span > a {
-        font-size: 1.5rem;
-    }
-
-    a.toc-link {
-        color: #fdf6e3;
-    }
-
-    header p {
-        color: #fdf6e3;
-        line-height: 1.3;
-    }
-
-    #postamble {
-        float: left;
-        position: fixed;
-        left: 50px;
-        bottom: 0;
-        max-width: 20rem;
-    }
-}
-- 
cgit