lib/html/library_index_header.template
author haftmann
Tue Oct 30 10:51:35 2007 +0100 (2007-10-30)
changeset 25235 04cb7e02ca38
child 33686 8e33ca8832b1
permissions -rw-r--r--
split library index into templates
     1 <?xml version="1.0" encoding="iso-8859-1"?>
     2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
     3     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
     4 <!-- $Id$ -->
     5 
     6 <html xmlns="http://www.w3.org/1999/xhtml">
     7 <head>
     8   <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
     9   <title>The {ISABELLE} Library</title>
    10 </head>
    11 
    12 <body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
    13   <center>
    14     <table width="100%" border="0" cellspacing="10" cellpadding="0">
    15       <tr>
    16         <td width="20%" valign="middle" align="center"><a href="http://isabelle.in.tum.de/"><img align="bottom" src="isabelle.gif" width="100" height="86" alt="[Isabelle]" border="0" /></a></td>
    17 
    18         <td width="80%" valign="middle" align="center">
    19           <table width="90%" border="0" cellspacing="0" cellpadding="20">
    20             <tr>
    21               <td valign="middle" align="center" bgcolor="#AACCCC"><font face="Helvetica,Arial" size="+2">The {ISABELLE} Library</font></td>
    22             </tr>
    23           </table>
    24         </td>
    25       </tr>
    26     </table>
    27   </center>
    28   <hr />