lib/html/library_index_header.template
author wenzelm
Wed, 17 May 2017 13:47:19 +0200
changeset 65851 c103358a5559
parent 33686 8e33ca8832b1
permissions -rw-r--r--
tuned signature;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25235
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     1
<?xml version="1.0" encoding="iso-8859-1"?>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     2
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     3
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     4
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     5
<html xmlns="http://www.w3.org/1999/xhtml">
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     6
<head>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     7
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     8
  <title>The {ISABELLE} Library</title>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     9
</head>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    10
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    11
<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    12
  <center>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    13
    <table width="100%" border="0" cellspacing="10" cellpadding="0">
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    14
      <tr>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    15
        <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>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    16
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    17
        <td width="80%" valign="middle" align="center">
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    18
          <table width="90%" border="0" cellspacing="0" cellpadding="20">
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    19
            <tr>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    20
              <td valign="middle" align="center" bgcolor="#AACCCC"><font face="Helvetica,Arial" size="+2">The {ISABELLE} Library</font></td>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    21
            </tr>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    22
          </table>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    23
        </td>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    24
      </tr>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    25
    </table>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    26
  </center>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
    27
  <hr />