1 files changed, 88 insertions, 0 deletions
diff --git a/doc/coq2html.css b/doc/coq2html.css
new file mode 100644
index 0000000..5a326a3
--- /dev/null
+++ b/doc/coq2html.css
@@ -0,0 +1,88 @@
+/* Classes:
+     h1.title     the title of the page
+     div.coq      encloses all generated body
+     div.doc      contents of (** *) comments
+     div.footer   footer
+     div.togglescript   "Proof." line
+     div.proofscript  contents of proof script
+     span.docright contents of (**r *) comments
+     span.bracket contents of [ ] within comments
+     span.kwd     Coq keyword
+     span.tactic  Coq tactic
+     span.id      any other identifier
+*/
+
+body {
+  color: black;
+  background: white;
+}
+
+h1.title {
+  font-size: 2em;
+  text-align: center
+}
+
+h1 {
+  font-size: 1.5em;
+}
+h2 {
+  font-size: 1.17em;
+}
+h3 {
+  font-size: 1em;
+}
+
+h1, h2, h3 {
+  font-family: sans-serif;
+  margin-left: -5%;
+}
+
+div.coq {
+  margin-left: 15%;
+  margin-right: 5%;
+  font-family: monospace;
+}
+
+div.doc {
+  margin-left: -5%;
+  margin-top: 0.2em;
+  margin-bottom: 0.5em;
+  font-family: serif;
+}
+
+div.toggleproof {
+  font-size: 0.8em;
+  text-decoration: underline;
+}
+
+div.proofscript {
+  font-size: 0.8em;
+}
+
+div.footer {
+  margin-top: 1em;
+  margin-bottom: 1em;
+  font-size: 0.8em;
+  font-style: italic;
+}  
+
+span.docright {
+  position: absolute;
+  left: 60%;
+  width: 40%;
+  font-family: serif;
+}
+
+span.bracket {
+  font-family: monospace;
+  color: #008000;
+}
+
+span.kwd {
+  color:  #cf1d1d;
+}
+
+a:visited {color : #416DFF; text-decoration : none; }
+a:link {color : #416DFF; text-decoration : none; }
+a:hover {text-decoration : none; }
+a:active {text-decoration : none; }