[MINOR: update for OCaml 4.00.0.
argot@x9c.fr**20120805064709
 Ignore-this: 6f0a839f9c321c7bd243e4b8e57b1c3c
] hunk ./src/args.ml 28
-  Odoc_info.Args.add_option
+  Odoc_args.add_option
hunk ./src/args.ml 34
-  Odoc_info.Args.add_option
+  Odoc_args.add_option
hunk ./src/args.ml 38
-  Odoc_info.Args.add_option
+  Odoc_args.add_option
hunk ./src/args.ml 42
-  Odoc_info.Args.add_option
+  Odoc_args.add_option
hunk ./src/args.ml 46
-  Odoc_info.Args.add_option
+  Odoc_args.add_option
hunk ./src/args.ml 50
-  Odoc_info.Args.add_option
+  Odoc_args.add_option
hunk ./src/args.ml 54
-
hunk ./src/main.ml 23
-class argot_generator = object (self)
+module Generator (G : Odoc_html.Html_generator) = struct
+class html = object (self)
hunk ./src/main.ml 26
-  inherit Odoc_html.html as super
+  inherit Odoc_html.Generator.html as super
hunk ./src/main.ml 190
-        !Odoc_info.Args.target_dir
-        (self :> Odoc_html.html)
+        !Odoc_info.Global.target_dir
+        (self :> Odoc_html.Generator.html)
hunk ./src/main.ml 228
+end
hunk ./src/main.ml 231
-  let generator = (new argot_generator :> Odoc_info.Args.doc_generator) in
hunk ./src/main.ml 235
-        Search.generate_html !Odoc_info.Args.target_dir;
-        Search_js.generate_files !Odoc_info.Args.target_dir
+        Search.generate_html !Odoc_info.Global.target_dir;
+        Search_js.generate_files !Odoc_info.Global.target_dir
hunk ./src/main.ml 238
-  Odoc_info.Args.set_doc_generator (Some generator)
+  Odoc_args.extend_html_generator (module Generator : Odoc_gen.Html_functor)
hunk ./src/search.ml 294
-    let title = match !Odoc_args.title with Some x -> x | None -> "Argot search" in
+    let title = match !Odoc_global.title with Some x -> x | None -> "Argot search" in
hunk ./src/search.mli 21
-val generate_data : string -> Odoc_html.html -> unit
+val generate_data : string -> Odoc_html.Generator.html -> unit
hunk ./tests/fold/reference.html/A.html 12
-<div class="navbar">&nbsp;<a href="index.html">Up</a>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
hunk ./tests/fold/reference.html/A.html 14
-<center><h1>Module <a href="type_A.html">A</a></h1></center>
-<br>
+<h1>Module <a href="type_A.html">A</a></h1>
hunk ./tests/fold/reference.html/index.html 11
-<center><h1></h1></center>
-<a href="index_modules.html">Index of modules</a><br>
+<h1></h1>
+<ul class="indexlist">
+<li><a href="index_modules.html">Index of modules</a></li>
+</ul>
hunk ./tests/fold/reference.html/index.html 17
-<tr><td><a href="A.html">A</a></td><td><div class="info">
+<tr><td class="module"><a href="A.html">A</a></td><td><div class="info">
hunk ./tests/fold/reference.html/index_attributes.html 10
-<center><h1>Index of class attributes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class attributes</h1>
hunk ./tests/fold/reference.html/index_attributes.html 14
-</table><br>
+</table>
hunk ./tests/fold/reference.html/index_class_types.html 10
-<center><h1>Index of class types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class types</h1>
hunk ./tests/fold/reference.html/index_class_types.html 14
-</table><br>
+</table>
hunk ./tests/fold/reference.html/index_classes.html 10
-<center><h1>Index of classes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of classes</h1>
hunk ./tests/fold/reference.html/index_classes.html 14
-</table><br>
+</table>
hunk ./tests/fold/reference.html/index_exceptions.html 10
-<center><h1>Index of exceptions</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of exceptions</h1>
hunk ./tests/fold/reference.html/index_exceptions.html 14
-</table><br>
+</table>
hunk ./tests/fold/reference.html/index_methods.html 10
-<center><h1>Index of class methods</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class methods</h1>
hunk ./tests/fold/reference.html/index_methods.html 14
-</table><br>
+</table>
hunk ./tests/fold/reference.html/index_module_types.html 10
-<center><h1>Index of module types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of module types</h1>
hunk ./tests/fold/reference.html/index_module_types.html 14
-</table><br>
+</table>
hunk ./tests/fold/reference.html/index_modules.html 10
-<center><h1>Index of modules</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of modules</h1>
hunk ./tests/fold/reference.html/index_modules.html 20
-</table><br>
+</table>
hunk ./tests/fold/reference.html/index_types.html 10
-<center><h1>Index of types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of types</h1>
hunk ./tests/fold/reference.html/index_types.html 14
-</table><br>
+</table>
hunk ./tests/fold/reference.html/index_values.html 10
-<center><h1>Index of values</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of values</h1>
hunk ./tests/fold/reference.html/index_values.html 14
-</table><br>
+</table>
hunk ./tests/fold/reference.html/style.css 1
-a:visited {color : #416DFF; text-decoration : none; }
-a:link {color : #416DFF; text-decoration : none;}
-a:hover {color : Red; text-decoration : none; background-color: #5FFF88}
-a:active {color : Red; text-decoration : underline; }
hunk ./tests/fold/reference.html/style.css 10
-.info { margin-left : 3em; margin-right : 3em }
+.info { margin-left : 3em; margin-right: 3em }
hunk ./tests/fold/reference.html/style.css 13
+.typetable { border-style : hidden }
+.paramstable { border-style : hidden ; padding: 5pt 5pt}
+tr { background-color : White }
+td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
+div.sig_block {margin-left: 2em}
+*:target { background: yellow; }
+body {font: 13px sans-serif; color: black; text-align: left; padding: 5px; margin: 0}
hunk ./tests/fold/reference.html/style.css 25
-h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #C0FFFF ; padding: 2px; }
+h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ; padding: 2px; }
hunk ./tests/fold/reference.html/style.css 29
-.typetable { border-style : hidden }
-.indextable { border-style : hidden }
-.paramstable { border-style : hidden ; padding: 5pt 5pt}
-body { background-color : White }
-tr { background-color : White }
-td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
-pre { margin-bottom: 4px }
-div.sig_block {margin-left: 2em}
-*:target { background: yellow; } 
+a {color: #416DFF; text-decoration: none}
+a:hover {background-color: #ddd; text-decoration: underline}
+pre { margin-bottom: 4px; font-family: monospace; }
+pre.verbatim, pre.codepre { }
+.indextable {border: 1px #ddd solid; border-collapse: collapse}
+.indextable td, .indextable th {border: 1px #ddd solid;	min-width: 80px}
+.indextable td.module {background-color: #eee ;  padding-left: 2px; padding-right: 2px}
+.indextable td.module a {color: 4E6272;	text-decoration: none; display: block; width: 100%}
+.indextable td.module a:hover {text-decoration: underline; background-color: transparent}
+.deprecated {color: #888; font-style: italic}
+.indextable tr td div.info { margin-left: 2px; margin-right: 2px }
+ul.indexlist { margin-left: 0; padding-left: 0;}
+ul.indexlist li { list-style-type: none ; margin-left: 0; padding-left: 0; }
hunk ./tests/format/reference.html/A.html 12
-<div class="navbar">&nbsp;<a href="index.html">Up</a>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
hunk ./tests/format/reference.html/A.html 14
-<center><h1>Module <a href="type_A.html">A</a></h1></center>
-<br>
+<h1>Module <a href="type_A.html">A</a></h1>
hunk ./tests/format/reference.html/index.html 11
-<center><h1></h1></center>
-<a href="index_modules.html">Index of modules</a><br>
+<h1></h1>
+<ul class="indexlist">
+<li><a href="index_modules.html">Index of modules</a></li>
+</ul>
hunk ./tests/format/reference.html/index.html 17
-<tr><td><a href="A.html">A</a></td><td><div class="info">
+<tr><td class="module"><a href="A.html">A</a></td><td><div class="info">
hunk ./tests/format/reference.html/index_attributes.html 10
-<center><h1>Index of class attributes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class attributes</h1>
hunk ./tests/format/reference.html/index_attributes.html 14
-</table><br>
+</table>
hunk ./tests/format/reference.html/index_class_types.html 10
-<center><h1>Index of class types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class types</h1>
hunk ./tests/format/reference.html/index_class_types.html 14
-</table><br>
+</table>
hunk ./tests/format/reference.html/index_classes.html 10
-<center><h1>Index of classes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of classes</h1>
hunk ./tests/format/reference.html/index_classes.html 14
-</table><br>
+</table>
hunk ./tests/format/reference.html/index_exceptions.html 10
-<center><h1>Index of exceptions</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of exceptions</h1>
hunk ./tests/format/reference.html/index_exceptions.html 14
-</table><br>
+</table>
hunk ./tests/format/reference.html/index_methods.html 10
-<center><h1>Index of class methods</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class methods</h1>
hunk ./tests/format/reference.html/index_methods.html 14
-</table><br>
+</table>
hunk ./tests/format/reference.html/index_module_types.html 10
-<center><h1>Index of module types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of module types</h1>
hunk ./tests/format/reference.html/index_module_types.html 14
-</table><br>
+</table>
hunk ./tests/format/reference.html/index_modules.html 10
-<center><h1>Index of modules</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of modules</h1>
hunk ./tests/format/reference.html/index_modules.html 20
-</table><br>
+</table>
hunk ./tests/format/reference.html/index_types.html 10
-<center><h1>Index of types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of types</h1>
hunk ./tests/format/reference.html/index_types.html 14
-</table><br>
+</table>
hunk ./tests/format/reference.html/index_values.html 10
-<center><h1>Index of values</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of values</h1>
hunk ./tests/format/reference.html/index_values.html 14
-</table><br>
+</table>
hunk ./tests/format/reference.html/style.css 1
-a:visited {color : #416DFF; text-decoration : none; }
-a:link {color : #416DFF; text-decoration : none;}
-a:hover {color : Red; text-decoration : none; background-color: #5FFF88}
-a:active {color : Red; text-decoration : underline; }
hunk ./tests/format/reference.html/style.css 10
-.info { margin-left : 3em; margin-right : 3em }
+.info { margin-left : 3em; margin-right: 3em }
hunk ./tests/format/reference.html/style.css 13
+.typetable { border-style : hidden }
+.paramstable { border-style : hidden ; padding: 5pt 5pt}
+tr { background-color : White }
+td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
+div.sig_block {margin-left: 2em}
+*:target { background: yellow; }
+body {font: 13px sans-serif; color: black; text-align: left; padding: 5px; margin: 0}
hunk ./tests/format/reference.html/style.css 25
-h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #C0FFFF ; padding: 2px; }
+h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ; padding: 2px; }
hunk ./tests/format/reference.html/style.css 29
-.typetable { border-style : hidden }
-.indextable { border-style : hidden }
-.paramstable { border-style : hidden ; padding: 5pt 5pt}
-body { background-color : White }
-tr { background-color : White }
-td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
-pre { margin-bottom: 4px }
-div.sig_block {margin-left: 2em}
-*:target { background: yellow; } 
+a {color: #416DFF; text-decoration: none}
+a:hover {background-color: #ddd; text-decoration: underline}
+pre { margin-bottom: 4px; font-family: monospace; }
+pre.verbatim, pre.codepre { }
+.indextable {border: 1px #ddd solid; border-collapse: collapse}
+.indextable td, .indextable th {border: 1px #ddd solid;	min-width: 80px}
+.indextable td.module {background-color: #eee ;  padding-left: 2px; padding-right: 2px}
+.indextable td.module a {color: 4E6272;	text-decoration: none; display: block; width: 100%}
+.indextable td.module a:hover {text-decoration: underline; background-color: transparent}
+.deprecated {color: #888; font-style: italic}
+.indextable tr td div.info { margin-left: 2px; margin-right: 2px }
+ul.indexlist { margin-left: 0; padding-left: 0;}
+ul.indexlist li { list-style-type: none ; margin-left: 0; padding-left: 0; }
hunk ./tests/image/reference.html/A.html 12
-<div class="navbar">&nbsp;<a href="index.html">Up</a>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
hunk ./tests/image/reference.html/A.html 14
-<center><h1>Module <a href="type_A.html">A</a></h1></center>
-<br>
+<h1>Module <a href="type_A.html">A</a></h1>
hunk ./tests/image/reference.html/index.html 11
-<center><h1></h1></center>
-<a href="index_modules.html">Index of modules</a><br>
+<h1></h1>
+<ul class="indexlist">
+<li><a href="index_modules.html">Index of modules</a></li>
+</ul>
hunk ./tests/image/reference.html/index.html 17
-<tr><td><a href="A.html">A</a></td><td><div class="info">
+<tr><td class="module"><a href="A.html">A</a></td><td><div class="info">
hunk ./tests/image/reference.html/index_attributes.html 10
-<center><h1>Index of class attributes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class attributes</h1>
hunk ./tests/image/reference.html/index_attributes.html 14
-</table><br>
+</table>
hunk ./tests/image/reference.html/index_class_types.html 10
-<center><h1>Index of class types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class types</h1>
hunk ./tests/image/reference.html/index_class_types.html 14
-</table><br>
+</table>
hunk ./tests/image/reference.html/index_classes.html 10
-<center><h1>Index of classes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of classes</h1>
hunk ./tests/image/reference.html/index_classes.html 14
-</table><br>
+</table>
hunk ./tests/image/reference.html/index_exceptions.html 10
-<center><h1>Index of exceptions</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of exceptions</h1>
hunk ./tests/image/reference.html/index_exceptions.html 14
-</table><br>
+</table>
hunk ./tests/image/reference.html/index_methods.html 10
-<center><h1>Index of class methods</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class methods</h1>
hunk ./tests/image/reference.html/index_methods.html 14
-</table><br>
+</table>
hunk ./tests/image/reference.html/index_module_types.html 10
-<center><h1>Index of module types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of module types</h1>
hunk ./tests/image/reference.html/index_module_types.html 14
-</table><br>
+</table>
hunk ./tests/image/reference.html/index_modules.html 10
-<center><h1>Index of modules</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of modules</h1>
hunk ./tests/image/reference.html/index_modules.html 20
-</table><br>
+</table>
hunk ./tests/image/reference.html/index_types.html 10
-<center><h1>Index of types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of types</h1>
hunk ./tests/image/reference.html/index_types.html 14
-</table><br>
+</table>
hunk ./tests/image/reference.html/index_values.html 10
-<center><h1>Index of values</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of values</h1>
hunk ./tests/image/reference.html/index_values.html 14
-</table><br>
+</table>
hunk ./tests/image/reference.html/style.css 1
-a:visited {color : #416DFF; text-decoration : none; }
-a:link {color : #416DFF; text-decoration : none;}
-a:hover {color : Red; text-decoration : none; background-color: #5FFF88}
-a:active {color : Red; text-decoration : underline; }
hunk ./tests/image/reference.html/style.css 10
-.info { margin-left : 3em; margin-right : 3em }
+.info { margin-left : 3em; margin-right: 3em }
hunk ./tests/image/reference.html/style.css 13
+.typetable { border-style : hidden }
+.paramstable { border-style : hidden ; padding: 5pt 5pt}
+tr { background-color : White }
+td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
+div.sig_block {margin-left: 2em}
+*:target { background: yellow; }
+body {font: 13px sans-serif; color: black; text-align: left; padding: 5px; margin: 0}
hunk ./tests/image/reference.html/style.css 25
-h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #C0FFFF ; padding: 2px; }
+h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ; padding: 2px; }
hunk ./tests/image/reference.html/style.css 29
-.typetable { border-style : hidden }
-.indextable { border-style : hidden }
-.paramstable { border-style : hidden ; padding: 5pt 5pt}
-body { background-color : White }
-tr { background-color : White }
-td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
-pre { margin-bottom: 4px }
-div.sig_block {margin-left: 2em}
-*:target { background: yellow; } 
+a {color: #416DFF; text-decoration: none}
+a:hover {background-color: #ddd; text-decoration: underline}
+pre { margin-bottom: 4px; font-family: monospace; }
+pre.verbatim, pre.codepre { }
+.indextable {border: 1px #ddd solid; border-collapse: collapse}
+.indextable td, .indextable th {border: 1px #ddd solid;	min-width: 80px}
+.indextable td.module {background-color: #eee ;  padding-left: 2px; padding-right: 2px}
+.indextable td.module a {color: 4E6272;	text-decoration: none; display: block; width: 100%}
+.indextable td.module a:hover {text-decoration: underline; background-color: transparent}
+.deprecated {color: #888; font-style: italic}
+.indextable tr td div.info { margin-left: 2px; margin-right: 2px }
+ul.indexlist { margin-left: 0; padding-left: 0;}
+ul.indexlist li { list-style-type: none ; margin-left: 0; padding-left: 0; }
hunk ./tests/table/reference.html/A.html 12
-<div class="navbar">&nbsp;<a href="index.html">Up</a>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
hunk ./tests/table/reference.html/A.html 14
-<center><h1>Module <a href="type_A.html">A</a></h1></center>
-<br>
+<h1>Module <a href="type_A.html">A</a></h1>
hunk ./tests/table/reference.html/index.html 11
-<center><h1></h1></center>
-<a href="index_modules.html">Index of modules</a><br>
+<h1></h1>
+<ul class="indexlist">
+<li><a href="index_modules.html">Index of modules</a></li>
+</ul>
hunk ./tests/table/reference.html/index.html 17
-<tr><td><a href="A.html">A</a></td><td><div class="info">
+<tr><td class="module"><a href="A.html">A</a></td><td><div class="info">
hunk ./tests/table/reference.html/index_attributes.html 10
-<center><h1>Index of class attributes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class attributes</h1>
hunk ./tests/table/reference.html/index_attributes.html 14
-</table><br>
+</table>
hunk ./tests/table/reference.html/index_class_types.html 10
-<center><h1>Index of class types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class types</h1>
hunk ./tests/table/reference.html/index_class_types.html 14
-</table><br>
+</table>
hunk ./tests/table/reference.html/index_classes.html 10
-<center><h1>Index of classes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of classes</h1>
hunk ./tests/table/reference.html/index_classes.html 14
-</table><br>
+</table>
hunk ./tests/table/reference.html/index_exceptions.html 10
-<center><h1>Index of exceptions</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of exceptions</h1>
hunk ./tests/table/reference.html/index_exceptions.html 14
-</table><br>
+</table>
hunk ./tests/table/reference.html/index_methods.html 10
-<center><h1>Index of class methods</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class methods</h1>
hunk ./tests/table/reference.html/index_methods.html 14
-</table><br>
+</table>
hunk ./tests/table/reference.html/index_module_types.html 10
-<center><h1>Index of module types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of module types</h1>
hunk ./tests/table/reference.html/index_module_types.html 14
-</table><br>
+</table>
hunk ./tests/table/reference.html/index_modules.html 10
-<center><h1>Index of modules</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of modules</h1>
hunk ./tests/table/reference.html/index_modules.html 20
-</table><br>
+</table>
hunk ./tests/table/reference.html/index_types.html 10
-<center><h1>Index of types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of types</h1>
hunk ./tests/table/reference.html/index_types.html 14
-</table><br>
+</table>
hunk ./tests/table/reference.html/index_values.html 10
-<center><h1>Index of values</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of values</h1>
hunk ./tests/table/reference.html/index_values.html 14
-</table><br>
+</table>
hunk ./tests/table/reference.html/style.css 1
-a:visited {color : #416DFF; text-decoration : none; }
-a:link {color : #416DFF; text-decoration : none;}
-a:hover {color : Red; text-decoration : none; background-color: #5FFF88}
-a:active {color : Red; text-decoration : underline; }
hunk ./tests/table/reference.html/style.css 10
-.info { margin-left : 3em; margin-right : 3em }
+.info { margin-left : 3em; margin-right: 3em }
hunk ./tests/table/reference.html/style.css 13
+.typetable { border-style : hidden }
+.paramstable { border-style : hidden ; padding: 5pt 5pt}
+tr { background-color : White }
+td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
+div.sig_block {margin-left: 2em}
+*:target { background: yellow; }
+body {font: 13px sans-serif; color: black; text-align: left; padding: 5px; margin: 0}
hunk ./tests/table/reference.html/style.css 25
-h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #C0FFFF ; padding: 2px; }
+h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ; padding: 2px; }
hunk ./tests/table/reference.html/style.css 29
-.typetable { border-style : hidden }
-.indextable { border-style : hidden }
-.paramstable { border-style : hidden ; padding: 5pt 5pt}
-body { background-color : White }
-tr { background-color : White }
-td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
-pre { margin-bottom: 4px }
-div.sig_block {margin-left: 2em}
-*:target { background: yellow; } 
+a {color: #416DFF; text-decoration: none}
+a:hover {background-color: #ddd; text-decoration: underline}
+pre { margin-bottom: 4px; font-family: monospace; }
+pre.verbatim, pre.codepre { }
+.indextable {border: 1px #ddd solid; border-collapse: collapse}
+.indextable td, .indextable th {border: 1px #ddd solid;	min-width: 80px}
+.indextable td.module {background-color: #eee ;  padding-left: 2px; padding-right: 2px}
+.indextable td.module a {color: 4E6272;	text-decoration: none; display: block; width: 100%}
+.indextable td.module a:hover {text-decoration: underline; background-color: transparent}
+.deprecated {color: #888; font-style: italic}
+.indextable tr td div.info { margin-left: 2px; margin-right: 2px }
+ul.indexlist { margin-left: 0; padding-left: 0;}
+ul.indexlist li { list-style-type: none ; margin-left: 0; padding-left: 0; }
hunk ./tests/tags/reference.html/A.html 13
-<div class="navbar">&nbsp;<a href="index.html">Up</a>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
hunk ./tests/tags/reference.html/A.html 15
-<center><h1>Module <a href="type_A.html">A</a></h1></center>
-<br>
+<h1>Module <a href="type_A.html">A</a></h1>
hunk ./tests/tags/reference.html/index.html 12
-<center><h1></h1></center>
-<a href="index_values.html">Index of values</a><br>
-<a href="index_modules.html">Index of modules</a><br>
+<h1></h1>
+<ul class="indexlist">
+<li><a href="index_values.html">Index of values</a></li>
+<li><a href="index_modules.html">Index of modules</a></li>
+</ul>
hunk ./tests/tags/reference.html/index.html 19
-<tr><td><a href="A.html">A</a></td><td><div class="info">
+<tr><td class="module"><a href="A.html">A</a></td><td><div class="info">
hunk ./tests/tags/reference.html/index_attributes.html 11
-<center><h1>Index of class attributes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class attributes</h1>
hunk ./tests/tags/reference.html/index_attributes.html 15
-</table><br>
+</table>
hunk ./tests/tags/reference.html/index_class_types.html 11
-<center><h1>Index of class types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class types</h1>
hunk ./tests/tags/reference.html/index_class_types.html 15
-</table><br>
+</table>
hunk ./tests/tags/reference.html/index_classes.html 11
-<center><h1>Index of classes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of classes</h1>
hunk ./tests/tags/reference.html/index_classes.html 15
-</table><br>
+</table>
hunk ./tests/tags/reference.html/index_exceptions.html 11
-<center><h1>Index of exceptions</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of exceptions</h1>
hunk ./tests/tags/reference.html/index_exceptions.html 15
-</table><br>
+</table>
hunk ./tests/tags/reference.html/index_methods.html 11
-<center><h1>Index of class methods</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class methods</h1>
hunk ./tests/tags/reference.html/index_methods.html 15
-</table><br>
+</table>
hunk ./tests/tags/reference.html/index_module_types.html 11
-<center><h1>Index of module types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of module types</h1>
hunk ./tests/tags/reference.html/index_module_types.html 15
-</table><br>
+</table>
hunk ./tests/tags/reference.html/index_modules.html 11
-<center><h1>Index of modules</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of modules</h1>
hunk ./tests/tags/reference.html/index_modules.html 21
-</table><br>
+</table>
hunk ./tests/tags/reference.html/index_types.html 11
-<center><h1>Index of types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of types</h1>
hunk ./tests/tags/reference.html/index_types.html 15
-</table><br>
+</table>
hunk ./tests/tags/reference.html/index_values.html 11
-<center><h1>Index of values</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of values</h1>
hunk ./tests/tags/reference.html/index_values.html 87
-</table><br>
+</table>
hunk ./tests/tags/reference.html/style.css 1
-a:visited {color : #416DFF; text-decoration : none; }
-a:link {color : #416DFF; text-decoration : none;}
-a:hover {color : Red; text-decoration : none; background-color: #5FFF88}
-a:active {color : Red; text-decoration : underline; }
hunk ./tests/tags/reference.html/style.css 10
-.info { margin-left : 3em; margin-right : 3em }
+.info { margin-left : 3em; margin-right: 3em }
hunk ./tests/tags/reference.html/style.css 13
+.typetable { border-style : hidden }
+.paramstable { border-style : hidden ; padding: 5pt 5pt}
+tr { background-color : White }
+td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
+div.sig_block {margin-left: 2em}
+*:target { background: yellow; }
+body {font: 13px sans-serif; color: black; text-align: left; padding: 5px; margin: 0}
hunk ./tests/tags/reference.html/style.css 25
-h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #C0FFFF ; padding: 2px; }
+h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ; padding: 2px; }
hunk ./tests/tags/reference.html/style.css 29
-.typetable { border-style : hidden }
-.indextable { border-style : hidden }
-.paramstable { border-style : hidden ; padding: 5pt 5pt}
-body { background-color : White }
-tr { background-color : White }
-td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
-pre { margin-bottom: 4px }
-div.sig_block {margin-left: 2em}
-*:target { background: yellow; } 
+a {color: #416DFF; text-decoration: none}
+a:hover {background-color: #ddd; text-decoration: underline}
+pre { margin-bottom: 4px; font-family: monospace; }
+pre.verbatim, pre.codepre { }
+.indextable {border: 1px #ddd solid; border-collapse: collapse}
+.indextable td, .indextable th {border: 1px #ddd solid;	min-width: 80px}
+.indextable td.module {background-color: #eee ;  padding-left: 2px; padding-right: 2px}
+.indextable td.module a {color: 4E6272;	text-decoration: none; display: block; width: 100%}
+.indextable td.module a:hover {text-decoration: underline; background-color: transparent}
+.deprecated {color: #888; font-style: italic}
+.indextable tr td div.info { margin-left: 2px; margin-right: 2px }
+ul.indexlist { margin-left: 0; padding-left: 0;}
+ul.indexlist li { list-style-type: none ; margin-left: 0; padding-left: 0; }
hunk ./tests/token/reference.html/A.html 12
-<div class="navbar">&nbsp;<a href="index.html">Up</a>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
hunk ./tests/token/reference.html/A.html 14
-<center><h1>Module <a href="type_A.html">A</a></h1></center>
-<br>
+<h1>Module <a href="type_A.html">A</a></h1>
hunk ./tests/token/reference.html/index.html 11
-<center><h1></h1></center>
-<a href="index_modules.html">Index of modules</a><br>
+<h1></h1>
+<ul class="indexlist">
+<li><a href="index_modules.html">Index of modules</a></li>
+</ul>
hunk ./tests/token/reference.html/index.html 17
-<tr><td><a href="A.html">A</a></td><td><div class="info">
+<tr><td class="module"><a href="A.html">A</a></td><td><div class="info">
hunk ./tests/token/reference.html/index_attributes.html 10
-<center><h1>Index of class attributes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class attributes</h1>
hunk ./tests/token/reference.html/index_attributes.html 14
-</table><br>
+</table>
hunk ./tests/token/reference.html/index_class_types.html 10
-<center><h1>Index of class types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class types</h1>
hunk ./tests/token/reference.html/index_class_types.html 14
-</table><br>
+</table>
hunk ./tests/token/reference.html/index_classes.html 10
-<center><h1>Index of classes</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of classes</h1>
hunk ./tests/token/reference.html/index_classes.html 14
-</table><br>
+</table>
hunk ./tests/token/reference.html/index_exceptions.html 10
-<center><h1>Index of exceptions</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of exceptions</h1>
hunk ./tests/token/reference.html/index_exceptions.html 14
-</table><br>
+</table>
hunk ./tests/token/reference.html/index_methods.html 10
-<center><h1>Index of class methods</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of class methods</h1>
hunk ./tests/token/reference.html/index_methods.html 14
-</table><br>
+</table>
hunk ./tests/token/reference.html/index_module_types.html 10
-<center><h1>Index of module types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of module types</h1>
hunk ./tests/token/reference.html/index_module_types.html 14
-</table><br>
+</table>
hunk ./tests/token/reference.html/index_modules.html 10
-<center><h1>Index of modules</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of modules</h1>
hunk ./tests/token/reference.html/index_modules.html 20
-</table><br>
+</table>
hunk ./tests/token/reference.html/index_types.html 10
-<center><h1>Index of types</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of types</h1>
hunk ./tests/token/reference.html/index_types.html 14
-</table><br>
+</table>
hunk ./tests/token/reference.html/index_values.html 10
-<center><h1>Index of values</h1></center>
+<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
+&nbsp;</div>
+<h1>Index of values</h1>
hunk ./tests/token/reference.html/index_values.html 14
-</table><br>
+</table>
hunk ./tests/token/reference.html/style.css 1
-a:visited {color : #416DFF; text-decoration : none; }
-a:link {color : #416DFF; text-decoration : none;}
-a:hover {color : Red; text-decoration : none; background-color: #5FFF88}
-a:active {color : Red; text-decoration : underline; }
hunk ./tests/token/reference.html/style.css 10
-.info { margin-left : 3em; margin-right : 3em }
+.info { margin-left : 3em; margin-right: 3em }
hunk ./tests/token/reference.html/style.css 13
+.typetable { border-style : hidden }
+.paramstable { border-style : hidden ; padding: 5pt 5pt}
+tr { background-color : White }
+td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
+div.sig_block {margin-left: 2em}
+*:target { background: yellow; }
+body {font: 13px sans-serif; color: black; text-align: left; padding: 5px; margin: 0}
hunk ./tests/token/reference.html/style.css 25
-h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #C0FFFF ; padding: 2px; }
+h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ; padding: 2px; }
hunk ./tests/token/reference.html/style.css 29
-.typetable { border-style : hidden }
-.indextable { border-style : hidden }
-.paramstable { border-style : hidden ; padding: 5pt 5pt}
-body { background-color : White }
-tr { background-color : White }
-td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
-pre { margin-bottom: 4px }
-div.sig_block {margin-left: 2em}
-*:target { background: yellow; } 
+a {color: #416DFF; text-decoration: none}
+a:hover {background-color: #ddd; text-decoration: underline}
+pre { margin-bottom: 4px; font-family: monospace; }
+pre.verbatim, pre.codepre { }
+.indextable {border: 1px #ddd solid; border-collapse: collapse}
+.indextable td, .indextable th {border: 1px #ddd solid;	min-width: 80px}
+.indextable td.module {background-color: #eee ;  padding-left: 2px; padding-right: 2px}
+.indextable td.module a {color: 4E6272;	text-decoration: none; display: block; width: 100%}
+.indextable td.module a:hover {text-decoration: underline; background-color: transparent}
+.deprecated {color: #888; font-style: italic}
+.indextable tr td div.info { margin-left: 2px; margin-right: 2px }
+ul.indexlist { margin-left: 0; padding-left: 0;}
+ul.indexlist li { list-style-type: none ; margin-left: 0; padding-left: 0; }