Commit 4d5cd4fa authored by FAGES Francois's avatar FAGES Francois

indentation

parent bc231c86
......@@ -65,6 +65,7 @@ format_doc_html(document_opening(Title)) :-
<style>
h5 {font-family: "Courier New"; font-size: 1.1em; font-weight: normal; }
div.indented {margin-left: 1cm; }
div.example {margin-left: 1cm; }
</style>
<body>
<h1>~a</h1>
......@@ -168,7 +169,7 @@ format_doc_html(begin(example)) :-
format('\c
</div>
<div class="example">
<div><strong>Example.</strong>
<p></p><div><strong>Example.</strong>
', []).
format_doc_html(end(example)) :-
......@@ -226,7 +227,7 @@ format_doc_html(begin_command_description) :-
format('<div class="indented">', []).
format_doc_html(end_command_description) :-
format('\n</div>', []).
format('\n</div>\n', []).
format_doc_html(begin_options) :-
format('\n<div class="indented">\n<h6>Options.</h6>\n<dl>', []).
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment