5.14 HTML Style

Reference

Developer

Tutorial
1 Introduction
2 Macros
3 Typesetting
4 Example
5 Hints
6 Examples
7 Webmaking

SEARCH

5.14 HTML Style

If you specify the +U command line option, FunnelWeb will generate a .html documentation file containing HTML. In the <HEAD> section of this file, FunnelWeb defines the style of the file by including a style directive similar to the following:

   <STYLE TYPE="text/css">
   <!--
   A {text-decoration: none}
   H1 { font-family: sans-serif; font-size: large }
   H2 { font-family: sans-serif; font-size: medium;
        font-weight: bold }
   H3 { font-family: sans-serif; font-size: medium }
   H4 { font-family: sans-serif; font-size: small }
   H5 { font-family: sans-serif; font-size: small }
   // -->
   </STYLE>

If you do not like this style, you can change it simply by editing the .html file and changing the style directive in the <HEAD> section. However, this change will be overwritten the next time you regenerate the HTML file.

Another way to define your own style is to turn off FunnelWeb's automatic "escaping" of special characters with:

@p typesetter = html

You can then include a style directive in one one of the very early comment parts of your FunnelWeb source file, where it will override the one written by FunnelWeb in the <HEAD> section. The disadvantage is that your FunnelWeb source file becomes typesetter-dependent.