Admin/page/main-layout/template.html
author haftmann
Sun, 05 Jun 2005 14:33:02 +0200
changeset 16275 951803bff5b1
parent 15932 2c351ab6c403
permissions -rw-r--r--
a more spohisticated symlink handling
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     1
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     2
<html>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     3
  <!-- _GP_ include("$pwd/common/functions.pl") -->
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     4
  <head>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     5
    <title> <!-- _GP_ content("title") --> </title>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     6
    <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
13816
cc228bd9c1fc favicon
kleing
parents: 13088
diff changeset
     7
    <LINK REL="SHORTCUT ICON" HREF="favicon.ico">
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     8
    <!-- _GP_ content("meta") -->
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     9
  </head>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    10
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    11
  <body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    12
10344
bb0b65380516 cleanup, looks ok now with konqueror, too
kleing
parents: 10049
diff changeset
    13
    <table border="0" cellspacing="5" width="100%">
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    14
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    15
      <tr>
14019
b141b26145e1 different colors for new release
kleing
parents: 13816
diff changeset
    16
        <td width="188" valign="top" bgcolor="#608080"> 
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    17
          <!-- _GP_ include("$pwd/main-layout/navigation.html") -->
15294
6b73cbe3460f replaced strangely encoded space characters by &nbsp;
kleing
parents: 14019
diff changeset
    18
          <table height="20"><tr><td>&nbsp;</td></tr></table>
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    19
        </td>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    20
10344
bb0b65380516 cleanup, looks ok now with konqueror, too
kleing
parents: 10049
diff changeset
    21
        <td width="100%" valign="top">
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    22
15932
2c351ab6c403 replaced some outdated HTML by more modern constructs
haftmann
parents: 15294
diff changeset
    23
          <div style="text-align: center">
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    24
            <table width="95%" border="0" cellspacing="10" cellpadding="10">
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    25
              <tr>		
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    26
                <td width="60%" align="center" bgcolor="#aacccc">
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    27
                  <b>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    28
                  <font face="Arial,Helvetica" size="+2"><!-- _GP_ content("title") --></font>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    29
                  </b>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    30
                </td>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    31
		<td width="40%" valign="middle" align="center" nowrap>
13088
56b21879c603 new link to munich group
kleing
parents: 10344
diff changeset
    32
		  <a href="http://www4.in.tum.de/proj/theoremprov/group.html"><img src="munich.gif"
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    33
		      border=0 width="48" height="59" alt="[Munich logo]"></a>
15294
6b73cbe3460f replaced strangely encoded space characters by &nbsp;
kleing
parents: 14019
diff changeset
    34
		  &nbsp;
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    35
		  <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    36
		      src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    37
		</td>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    38
              </tr>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    39
            </table>
15932
2c351ab6c403 replaced some outdated HTML by more modern constructs
haftmann
parents: 15294
diff changeset
    40
          </div>
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    41
15294
6b73cbe3460f replaced strangely encoded space characters by &nbsp;
kleing
parents: 14019
diff changeset
    42
          <p>&nbsp;
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    43
15932
2c351ab6c403 replaced some outdated HTML by more modern constructs
haftmann
parents: 15294
diff changeset
    44
          <div style="text-align: center">
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    45
            <table width="99%" border="0" cellspacing="0" cellpadding="10">
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    46
              <tr>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    47
                <td align="left">
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    48
                  <!-- _GP_ content("body") -->
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    49
                </td>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    50
              </tr>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    51
            </table>
15932
2c351ab6c403 replaced some outdated HTML by more modern constructs
haftmann
parents: 15294
diff changeset
    52
          </div>
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    53
        </td>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    54
      </tr>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    55
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    56
      <tr>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    57
        <td align="right" colspan="2" height="20">
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    58
          <table border="0" cellpadding="4" cellspacing="0">
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    59
            <tr><td>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    60
                <font size="-1" face="helvetica, arial">
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    61
                  last update at <!-- _GP_ when --> 
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    62
                </font>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    63
            </td></tr>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    64
          </table>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    65
        </td>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    66
      </tr>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    67
      
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    68
    </table>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    69
  </body>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    70
</html>