build ocamldoc documentation

Ignore-this: 302c250e7a33c66627639431458327ca

darcs-hash:20110804125457-c41ad-e0b40e6ae013eef6022b85bfdf0f1d8e9a585cdf

_oasis

@@ -47,6 +47,20 @@ Executable "utop-emacs"
   BuildDepends: utop, findlib, lambda-term, lwt.syntax, threads
   DataFiles: utop.el ($datadir/emacs/site-lisp)
 
+# +-------------------------------------------------------------------+
+# | Doc                                                               |
+# +-------------------------------------------------------------------+
+
+Document "utop-api"
+  Title: API reference for utop
+  Type: ocamlbuild (0.2)
+  Install: true
+  InstallDir: $htmldir/api
+  DataFiles: style.css
+  BuildTools: ocamldoc
+  XOCamlbuildPath: ./
+  XOCamlbuildLibraries: utop
+
 # +-------------------------------------------------------------------+
 # | Manual pages                                                      |
 # +-------------------------------------------------------------------+

style.css

@@ -0,0 +1,171 @@
+/* A style for ocamldoc. Daniel C. Buenzli, Jérémie Dimino */
+
+body {
+    padding: 0em;
+    border: 0em;
+    margin: 2em 10% 2em 10%;
+    font-weight: normal;
+    line-height: 130%;
+    text-align: justify;
+    background: white;
+    color : black;
+    min-width: 40ex;
+}
+
+pre, p, div, span, img, table, td, ol, ul, li {
+    padding: 0em;
+    border: 0em;
+    margin: 0em
+}
+
+h1, h2, h3, h4, h5, h6, div.h7, div.h8, div.h9 {
+    fontsize: 100%;
+    margin-bottom: 1em
+    padding: 1ex 0em 0em 0em;
+    border: 0em;
+    margin: 1em 0em 0em 0em;
+    font-weight : bold;
+    text-align: center;
+}
+
+h1 {
+    font-size : 140%
+}
+
+h2, h3, h4, h5, h6, div.h7, div.h8, div.h9 {
+    font-size : 100%;
+    border-top-style : none;
+    margin: 1ex 0em 0em 0em;
+    border: 1px solid #000000;
+    margin-top: 5px;
+    margin-bottom: 2px;
+    text-align: center;
+    padding: 2px;
+}
+
+h2 {
+    font-size : 120%;
+    background-color: #90BDFF ;
+}
+h3 {
+    background-color: #90DDFF;
+}
+h4 {
+    background-color: #90EDFF;
+}
+h5 {
+    background-color: #90FDFF;
+}
+h6 {
+    background-color: #C0FFFF;
+}
+div.h7 {
+    background-color: #E0FFFF;
+}
+div.h8 {
+    background-color: #F0FFFF;
+}
+div.h9 {
+    background-color: #FFFFFF;
+}
+
+.navbar {
+    padding-bottom : 1em;
+    margin-bottom: 1em;
+    border-bottom: 1px solid #000000;
+    border-bottom-style: dotted;
+}
+
+p {
+    padding: 1em 0ex 0em 0em
+}
+
+a, a:link, a:visited, a:active, a:hover {
+    color : #009;
+    text-decoration: none
+}
+a:hover {
+    color : #009;
+    text-decoration : none;
+    background-color: #5FFF88
+}
+
+hr {
+    border-style: none;
+}
+table {
+    font-size : 100% /* Why ? */
+}
+ul li {
+    padding: 1em 0em 0em 0em;
+    margin:0em 0em 0em 2.5ex
+}
+ol li {
+    padding: 1em 0em 0em 0em;
+    margin:0em 0em 0em 2em
+}
+
+pre {
+    margin: 3ex 0em 1ex 0em;
+    background-color: #edf0f9;
+}
+.keyword {
+    font-weight: bold;
+    color: #a020f0;
+}
+.keywordsign {
+    font-weight: bold;
+    color: #a020f0;
+}
+.typefieldcomment {
+    color : #b22222;
+}
+.keywordsign {
+    color: #a020f0;
+
+}
+.code {
+    font-size: 100%;
+    color: #5f5f5f;
+}
+.info {
+    margin: 0em 0em 0em 2em
+}
+.comment {
+    color : #b22222;
+}
+.constructor {
+    color : #072
+}
+.type {
+    color : #228b22;
+}
+.string {
+    color : #bc8f8f;
+}
+.warning {
+    color : Red;
+    font-weight : bold
+}
+
+div.sig_block {
+    margin-left: 2em
+}
+.typetable {
+    color : #b8860b;
+    border-style : hidden
+}
+.indextable {
+    border-style : hidden
+}
+.paramstable {
+    border-style : hidden;
+    padding: 5pt 5pt
+}
+
+.superscript {
+    font-size : 80%
+}
+.subscript {
+    font-size : 80%
+}