From 85e03ea194b95309daed712dccab83a9fba0814a Mon Sep 17 00:00:00 2001 From: coq Date: Thu, 5 Jan 2006 13:36:16 +0000 Subject: *** empty log message *** git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7797 85f007b7-540e-0410-9357-904b9bb8a0f7 --- tools/coqdoc/coqdoc.css | 59 +++++++++++++++++++++++++++++++++++++++++++++++++ tools/coqdoc/output.ml | 36 ++++++++++++++++-------------- 2 files changed, 78 insertions(+), 17 deletions(-) create mode 100644 tools/coqdoc/coqdoc.css diff --git a/tools/coqdoc/coqdoc.css b/tools/coqdoc/coqdoc.css new file mode 100644 index 0000000000..b59438e505 --- /dev/null +++ b/tools/coqdoc/coqdoc.css @@ -0,0 +1,59 @@ +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;} + + +/* Contenu */ + +#main{ display: block; + padding: 10px; + overflow: hidden; + font-size: 10pt } + +#main a.idref:visited {color : #416DFF; text-decoration : none; } +#main a.idref:link {color : #416DFF; text-decoration : none; } +#main a.idref:hover {color : Red; text-decoration : underline; } +#main a.idref:active {color : Red; text-decoration : underline; } + +#main .keyword { font-weight : bold; + color : Red } + +#main .section { font-size : 20pt } + +#main code { font-family: monospace; + font-size: 8pt; + line-height: 50% } + +#main .doc { margin: 0px; + padding: 10px; + font-family: sans-serif; + font-size: 11pt; + font-weight:bold; + background-color:#66ff66 } + +#main .doc code { font-family: monospace; + font-size: 10pt} + +/* Pied de page */ + +#footer { font-size: 8pt; + font-family: sans-serif; } + +#footer a:visited { color: blue; } + diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml index 7dcba665e0..c81bbf7a43 100644 --- a/tools/coqdoc/output.ml +++ b/tools/coqdoc/output.ml @@ -61,7 +61,7 @@ let externals = ref true let coqlib = ref "http://coq.inria.fr/library/" let raw_comments = ref false -let charset = ref "" +let charset = ref "iso-8859-1" let inputenc = ref "" let latin1 = ref false let utf8 = ref false @@ -322,29 +322,31 @@ module Html = struct let header () = if !header_trailer then begin + printf "\n"; printf "\n\n"; - if !charset != "" then - printf "" !charset; - printf ""; + printf "\n" !charset; + printf "\n"; printf "%s\n\n\n" !page_title; - printf "\n\n" + printf "\n\n
\n\n
\n
\n\n"; + printf "
\n\n" end - let self = "http://www.lri.fr/~filliatr/coqdoc/" + let self = "http://coq.inria.fr" let trailer () = if !index && !current_module <> "Index" then - printf "
Index"; + printf "
\n\n
\n
Index"; if !header_trailer then begin printf "
This page has been generated by "; printf "coqdoc\n" self; - printf "\n" + printf "
\n\n
\n\n\n" end let start_module () = if not !short then begin (* add_toc_entry (Toc_library !current_module); *) - printf "

Library %s

\n\n" !current_module + printf "

Library %s

\n\n" !current_module end let indentation n = for i = 1 to n do printf " " done @@ -374,7 +376,7 @@ module Html = struct let stop_verbatim () = printf "\n" let module_ref m s = - printf "" m; raw_ident s; printf "" + printf "" m; raw_ident s; printf "" (*i match find_module m with | Local -> @@ -388,18 +390,18 @@ module Html = struct let ident_ref m s = match find_module m with | Local -> - printf "" m s; raw_ident s; printf "" + printf "" m s; raw_ident s; printf "" | Coqlib when !externals -> let m = Filename.concat !coqlib m in - printf "" m s; raw_ident s; printf "" + printf "" m s; raw_ident s; printf "" | Coqlib | Unknown -> raw_ident s let ident s loc = if is_keyword s then begin - printf ""; + printf ""; raw_ident s; - printf "" + printf "" end else try (match Index.find !current_module loc with @@ -448,11 +450,11 @@ module Html = struct let start_doc () = if not !raw_comments then - printf "\n
\n" + printf "\n
\n" let end_doc () = stop_item (); - if not !raw_comments then printf "\n
\n" + if not !raw_comments then printf "\n\n" let start_code () = end_doc (); start_coq () @@ -471,7 +473,7 @@ module Html = struct stop_item (); printf "" lab lev; f (); - printf "\n" lev + printf "\n" lev let rule () = printf "
\n" -- cgit v1.2.3