isabelle: Admin/page/dist-layout/template.html@6c3c87d1d275 (annotated)

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">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	7	<!-- _GP_ content("meta") -->
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	8	</head>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	9
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	10	<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	11
10051 6c3c87d1d275 added height="100%" to stretch page to whole browser window kleing parents: 10041 diff changeset	12	<table border="0" cellspacing="5" width="100%" height="100%">
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	13
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	14	<tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	15	<td width="20%" valign="top" bgcolor="#D8D8FF">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	16	<!-- _GP_ include("$pwd/dist-layout/navigation.html") -->
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	17	</td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	18
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	19	<td width="80%" valign="top">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	20
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	21	<center>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	22	<table width="70%" border="0" cellspacing="10" cellpadding="10">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	23	<tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	24	<td align="center" bgcolor="#D8D8FF">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	25	<b>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	26	<font face="Arial,Helvetica" size="+2"><!-- _GP_ content("title") --></font>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	27	</b>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	28	</td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	29	</tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	30	</table>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	31	</center>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	32
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	33	<p>�
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	34
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	35	<center>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	36	<table width="99%" border="0" cellspacing="0" cellpadding="10">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	37	<tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	38	<td align="left">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	39	<!-- _GP_ content("body") -->
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	40	</td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	41	</tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	42	</table>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	43	</center>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	44	</td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	45	</tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	46
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	47	<tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	48	<td align="right" colspan="2" height="20">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	49	<table border="0" cellpadding="4" cellspacing="0">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	50	<tr><td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	51	<font size="-1" face="helvetica, arial">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	52	last update at <!-- _GP_ when -->
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	53	</font>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	54	</td></tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	55	</table>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	56	</td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	57	</tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	58
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	59	</table>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	60	</body>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	61	</html>

author	kleing
	Thu, 21 Sep 2000 14:55:46 +0200
changeset 10051	6c3c87d1d275
parent 10041	30693ebd16ae
child 10344	bb0b65380516
permissions	-rw-r--r--