gendocs_template

   1 <?xml version="1.0" encoding="utf-8" ?>
   2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
   3     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
   4 <!-- $Id: gendocs_template,v 1.7 2005/05/15 00:00:08 karl Exp $ -->
   5 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
   6
   7 <!--
   8  This template was adapted from Texinfo:
   9  http://savannah.gnu.org/cgi-bin/viewcvs/texinfo/texinfo/util/gendocs_template
  10 -->
  11
  12 <head>
  13 <title>%%TITLE%%</title>
  14 <meta http-equiv="content-type" content='text/html; charset=utf-8' />
  15 <!-- <link rel="stylesheet" type="text/css" href="/gnu.css" /> -->
  16 <!-- <link rev="made" href="webmasters@gnu.org" /> -->
  17 <style>
  18 /* CSS style taken from http://gnu.org/gnu.css */
  19
  20 html, body {
  21         background-color: #FFFFFF;
  22         color: #000000;
  23         font-family: sans-serif;
  24 }
  25
  26 a:link {
  27         color: #1f00ff;
  28         background-color: transparent;
  29         text-decoration: underline;
  30         }
  31
  32 a:visited {
  33         color: #9900dd;
  34         background-color: transparent;
  35         text-decoration: underline;
  36         }
  37
  38 a:hover {
  39         color: #9900dd;
  40         background-color: transparent;
  41         text-decoration: none;
  42         }
  43
  44 .center {
  45         text-align: center;
  46 }
  47
  48 .italic {
  49         font-style: italic;
  50         }
  51
  52 .bold {
  53         font-weight: bold;
  54         }
  55
  56 .quote {
  57         margin-left: 40px;
  58         margin-right: 40px;
  59 }
  60
  61 .hrsmall {
  62         width: 80px;
  63         height: 1px;
  64         margin-left: 20px;
  65 }
  66
  67 .td_title {
  68         border-color: #3366cc;
  69         border-style: solid;
  70         border-width: thin;
  71         color: #3366cc;
  72         background-color : #f2f2f9;
  73         font-weight: bold;
  74 }
  75
  76 .td_con {
  77         padding-top: 3px;
  78         padding-left: 8px;
  79         padding-bottom: 3px;
  80         color : #303030;
  81         background-color : #fefefe;
  82         font-size: smaller;
  83 }
  84
  85 .translations {
  86         background-color: transparent;
  87         color: black;
  88         font-family: serif;
  89         font-size: smaller;
  90 }
  91
  92 .fsflink {
  93         font-size: smaller;
  94         font-family: monospace;
  95         color : #000000;
  96         border-left: #3366cc thin solid;
  97         border-bottom: #3366cc thin solid;
  98         padding-left: 5px;
  99         padding-bottom: 5px;
 100 }
 101
 102 /*
 103  * rtl stands for right-to-left layout, as in farsi/persian,
 104  * arabic, etc. See also trans_rtl.
 105  */
 106 .fsflink_rtl {
 107         font-size: smaller;
 108         font-family: monospace;
 109         color : #000000;
 110         border-right: #3366cc thin solid;
 111         border-bottom: #3366cc thin solid;
 112         padding-right: 5px;
 113         padding-bottom: 5px;
 114 }
 115
 116 .trans {
 117         font-size: smaller;
 118         color : #000000;
 119         border-left: #3366cc thin solid;
 120         padding-left: 20px;
 121 }
 122
 123 .trans_rtl {
 124         font-size: smaller;
 125         color : #000000;
 126         border-right: #3366cc thin solid;
 127         padding-right: 20px;
 128 }
 129
 130 img {
 131         border: none 0;
 132 }
 133
 134 td.side {
 135         color: #3366cc;
 136 /*      background: #f2f2f9;
 137         border-color: #3366cc;
 138         border-style: solid;
 139         border-width: thin; */
 140         border-color: white;
 141         border-style: none;
 142         vertical-align: top;
 143         width: 150px;
 144 }
 145
 146 div.copyright {
 147         font-size: 80%;
 148         border: 2px solid #3366cc;
 149         padding: 4px;
 150         background: #f2f2f9;
 151         border-style: solid;
 152         border-width: thin;
 153 }
 154
 155 .footnoteref {
 156         font-size: smaller;
 157         vertical-align: text-top;
 158 }
 159 </style>
 160 </head>
 161
 162 <!-- This document is in XML, and xhtml 1.0 -->
 163 <!-- Please make sure to properly nest your tags -->
 164 <!-- and ensure that your final document validates -->
 165 <!-- consistent with W3C xhtml 1.0 and CSS standards -->
 166 <!-- See validator.w3.org -->
 167
 168 <body>
 169
 170 <h3>%%TITLE%%</h3>
 171
 172 <!-- <address>Free Software Foundation</address> -->
 173 <address>last updated %%DATE%%</address>
 174
 175 <!--
 176 <p>
 177 <a href="/graphics/gnu-head.jpg">
 178         <img src="/graphics/gnu-head-sm.jpg"
 179         alt=" [image of the head of a GNU] "
 180         width="129" height="122" />
 181 </a>
 182 <a href="/philosophy/gif.html">(no gifs due to patent problems)</a>
 183 </p>
 184 -->
 185
 186 <hr />
 187
 188 <p>This document <!--(%%PACKAGE%%)--> is available in the following formats:</p>
 189
 190 <ul>
 191   <li><a href="%%PACKAGE%%.html">HTML
 192       (%%HTML_MONO_SIZE%%K characters)</a> - entirely on one web page.</li>
 193   <li><a href="html_node/index.html">HTML</a> - with one web page per
 194       node.</li>
 195   <li><a href="%%PACKAGE%%.html.gz">HTML compressed
 196       (%%HTML_MONO_GZ_SIZE%%K gzipped characters)</a> - entirely on
 197       one web page.</li>
 198   <li><a href="%%PACKAGE%%.html_node.tar.gz">HTML compressed
 199       (%%HTML_NODE_TGZ_SIZE%%K gzipped tar file)</a> -
 200       with one web page per node.</li>
 201   <li><a href="%%PACKAGE%%.info.tar.gz">Info document
 202       (%%INFO_TGZ_SIZE%%K characters gzipped tar file)</a>.</li>
 203   <li><a href="%%PACKAGE%%.txt">ASCII text
 204       (%%ASCII_SIZE%%K characters)</a>.</li>
 205   <li><a href="%%PACKAGE%%.txt.gz">ASCII text compressed
 206       (%%ASCII_GZ_SIZE%%K gzipped characters)</a>.</li>
 207   <li><a href="%%PACKAGE%%.dvi.gz">TeX dvi file
 208       (%%DVI_GZ_SIZE%%K characters gzipped)</a>.</li>
 209   <li><a href="%%PACKAGE%%.ps.gz">PostScript file
 210       (%%PS_GZ_SIZE%%K characters gzipped)</a>.</li>
 211   <li><a href="%%PACKAGE%%.pdf">PDF file
 212       (%%PDF_SIZE%%K characters)</a>.</li>
 213   <li><a href="%%PACKAGE%%.texi.tar.gz">Texinfo source
 214       (%%TEXI_TGZ_SIZE%%K characters gzipped tar file)</a></li>
 215 </ul>
 216
 217 <p>(This page was generated by the <a href="%%SCRIPTURL%%">%%SCRIPTNAME%%
 218 script</a>.)</p>
 219
 220 <!--
 221 <div class="copyright">
 222 <p>Return to <a href="/project/foo/">FOO's home page</a>.</p>
 223 <p>Copyright (C) 2084 John Doe  &lt;john at doe.com&gt;</p>
 224 <p>
 225 Updated: %%DATE%%
 226 -->
 227 <!-- timestamp start -->
 228 <!-- $Date: 2005/05/15 00:00:08 $ $Author: karl $ -->
 229 <!-- timestamp end -->
 230 <!--
 231 </p>
 232 </div>
 233 -->
 234
 235 </body>
 236 </html>