doc/html/header.html

   1 <table border="0" rules="none" bgcolor="#FFFFFF" width="95%" align=center cellpadding=0 cellspacing=0>
   2 <tr>
   3 <td colspan=2 bgcolor="#FFFFFF"></td>
   4 </tr>
   5 <tr>
   6 <td colspan=2 bgcolor="#FFFFFF"></td>
   7 </tr>
   8 <tr>
   9 <td colspan=2 bgcolor="#FFFFFF"></td>
  10 </tr>
  11 <tr>
  12 <td colspan=2 bgcolor="#FFFFFF"></td>
  13 </tr>
  14 <tr>
  15 <td colspan=2 bgcolor="#FFFFFF"></td>
  16 </tr>
  17 <tr>
  18 <td colspan=2 bgcolor="#FFFFFF"></td>
  19 </tr>
  20 <tr>
  21 <td>
  22 <font color="darkblue" face="arial,helvetica"><a href="http://www.splint.org/"><b>Splint</b> - Secure Programming Lint</a><br></font>
  23 </td>
  24 <td align=right>
  25 <font face="arial,helvetica,sans-serif"><font color="darkblue">
  26 <font size=-1>
  27 <a href="mailto:info@splint.org">info@splint.org</a></font>
  28 </font></font>
  29 </td>
  30 </tr>
  31 <tr>
  32 <td colspan=2 bgcolor="darkblue"></td>
  33 </tr>
  34 <tr>
  35 <td colspan=2 bgcolor="darkblue"></td>
  36 </tr>
  37 <tr>
  38 <td colspan=2 bgcolor="white"></td>
  39 </tr>
  40 <tr>
  41 <td colspan=2 bgcolor="slate"></td>
  42 </tr>
  43 <tr>
  44 <td>
  45 <font face="arial,helvetica,sans-serif" size=-1>
  46 <a
  47 href="http://www.splint.org/download.html">Download</a>
  48 -
  49 <A
  50 HREF="http://www.splint.org/documentation/">Documentation</a>
  51 -
  52 <a href="http://www.splint.org/manual/">Manual</a>
  53 -
  54 <a
  55 href="http://www.splint.org/links.html">Links</a>
  56 </font>
  57 </td>
  58 <td align=right>
  59 <font face="arial,helvetica,sans-serif" size=-1>
  60 <a
  61 href="http://www.splint.org/bugs.html">Reporting
  62 Bugs</a> -
  63 <a
  64 href="http://www.splint.org/lists.html">Mailing
  65 Lists</a> &nbsp;&nbsp;&nbsp;&nbsp;
  66 <a
  67 href="http://www.splint.org/sponsors.html">Sponsors</a>
  68 -
  69 <a
  70 href="http://www.splint.org/credits.html">Credits</a>
  71 </font>
  72 </td>
  73 </tr>
  74 </table>
  75
  76 <p>
  77 <blockquote>