xref: /petsc/doc/manualpages/doctext/html.def (revision 53673ba54f5aaba04b9d49ab22cf56c7a7461fe9)
1#
2# These are the definitions for doc2lt and doctext HTML output
3#
4#
5# Note on the use of <LISTING></LISTING> and other monotype fonts
6# Many browsers choose a different SIZE font for listing; IE4 gives you
7# no control over the size, while at least Netscape lets you set the size
8# correctly (it should be the SAME as the other fonts).
9# You might consider <FONT SIZE=+1>...</FONT> inside the listing.
10# HTML 3.2 specifies <PRE> instead of <LISTING>
11#
12# Doc2lt single line entry
13end_par          %n<P>%n
14linebreak        <BR>
15blank            \
16s_verbatim       <PRE>%n
17e_verbatim       </PRE>%n
18#
19key        %n%p<CODE>%1</CODE>
20synopsis   %n<PRE>%1</PRE>
21definition %n<B>%1</B>%n
22section    %n<H3><FONT COLOR="#CC3333">%1</FONT></H3>%n
23s_synopsis %n<H3><FONT COLOR="#CC3333">Synopsis</FONT></H3>%n<PRE>%n
24e_synopsis %n</PRE>%n
25em_dash
26eop        %n</BODY></HTML>%n
27bop        <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML3.2 EN">%n<HTML>%n\
28<HEAD>%n<META NAME="GENERATOR" CONTENT="DOCTEXT">%n
29# Arglist form   this is for + . . - lists
30s_arg_list %n<TABLE border="0" cellpadding="0" cellspacing="0">
31s_arg_inlist %n<TR><TD WIDTH=40></TD><TD ALIGN=LEFT VALIGN=TOP><B>
32e_arg_inlist </B></TD>
33s_defn_inlist<TD>-
34e_defn_inlist</TD></TR>
35e_arg_list </TABLE>%n
36#
37# individual arg form  this is for a plain .
38s_arg      %n<DT><B>
39e_arg      </B>
40s_defn     -
41e_defn     %n<br>%n
42#
43# These control the beginning/ending $ actions
44s_doctext_verbatim %n<pre>%n
45e_doctext_verbatim  %n</pre>%n
46#
47s_caption  <CENTER><B>
48e_caption  </B></CENTER>
49picture    <A IMG="%1"></A>
50# If the location variable is changed, then maint/exampleindex.tcl MUST be changed accordingly!
51location   <P><B><FONT COLOR="#CC3333">Location:</FONT></B><A HREF="../../../%1#%rq0">%1</A>
52# Only do the actual title
53# Without a title, the page will be broken.
54mantitle   <TITLE>%1</TITLE>%n</HEAD>%n<BODY BGCOLOR="FFFFFF">%n<A NAME="%1"><H1>%1</H1></A>%n
55eof
56bof
57