diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:40:04 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:40:04 +0200 |
commit | 24951d885fbadb8f2fa96ea44a6d3b2a397eab00 (patch) | |
tree | c048b0745667c4a00298c302948ddf7afdc5deba /doc/coqdoc.css | |
parent | ffc03f2dcb24438d2900743848005c9a058e649c (diff) | |
download | compcert-24951d885fbadb8f2fa96ea44a6d3b2a397eab00.tar.gz compcert-24951d885fbadb8f2fa96ea44a6d3b2a397eab00.zip |
Use the standalone coq2html tool to generate the HTML documentation
coq2html is now a standalone project (https://github.com/xavierleroy/coq2html)
packaged as coq-coq2html in OPAM-Coq.
Diffstat (limited to 'doc/coqdoc.css')
-rw-r--r-- | doc/coqdoc.css | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/doc/coqdoc.css b/doc/coqdoc.css deleted file mode 100644 index f2ae96da..00000000 --- a/doc/coqdoc.css +++ /dev/null @@ -1,62 +0,0 @@ -body { - color: black; - background: white; - margin-left: 15%; - margin-right: 5%; -} - -#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 .doc { - margin-left: -5%; -} - -#main span.docright { - position: absolute; - left: 60%; - width: 40% -} - -h1.libtitle { - font-size: 2em; - margin-left: -15%; - margin-right: -5%; - text-align: center -} - -h1 { - font-size: 1.5em; -} -h2 { - font-size: 1.17em; -} - -h1, h2 { - font-family: sans-serif; -} - -.doc code { - color: #008000; -} - -/* Pied de page */ - -hr { margin-left: -15%; margin-right:-5%; } - -#footer { font-size: 0.83em; - font-family: sans-serif; } - -#footer a:visited { color: blue; } -#footer a:link { text-decoration: none; - color: #888888; } - |