forked from LearnPrologNow/lpn
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathlpnpage.php
executable file
·113 lines (85 loc) · 2.9 KB
/
lpnpage.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
<?php
$nospam_pagetype = array("html", "website");
if (isset($_GET["pagetype"])
&& in_array($_GET["pagetype"], $nospam_pagetype))
{
$pagetype = $_GET["pagetype"];
}
else {
$pagetype = "website";
}
$nospam_pageid = array("bibtex_french", "bibtex", "contact", "errata", "french", "handheld", "implementations", "index", "links", "lpnpage", "lpnpage", "manuals", "navbar", "online", "teaching", "thanks", "toc", "top", "lpn-html");
if (isset($_GET["pageid"])
&& (in_array($_GET["pageid"], $nospam_pageid)
||
preg_match("/^lpn-html(ch|se|li)\d*$/", $_GET["pageid"])))
{
$pageid = $_GET["pageid"];
}
else {
$pageid = "top";
$pagetype = "website";
}
?>
<!-- HEADER -->
<html lang="en">
<head>
<title>Learn Prolog Now!</title>
<link href="lpn_reds2.css" rel="stylesheet" type="text/css">
</head>
<body>
<!-- table is needed because IE doesn't recognize min-width. -->
<table width="100%">
<tr><td><div style="width:500pt;"></div></td></tr>
<tr><td>
<div class="coloredbar"></div>
<div class="lpnheader">
<a href="index.php">Learn Prolog Now!</a>
</div>
<div class="authorbar">
by <a href="http://www.loria.fr/~blackbur/">Patrick Blackburn</a>,
<a href="http://www.let.rug.nl/bos/">Johan Bos</a>, and
<a href="http://cs.union.edu/~striegnk/">Kristina Striegnitz</a>
</div>
<!-- NAVIGATION BAR -->
<div class="navbar">
<?php
include "navbar.php";
make_navmenu($pageid);
?>
</div>
<!-- MAIN CONTENT -->
<div class="content">
<?php
if ($pagetype == "website")
include $pageid.".php";
else
include "html/".$pageid.".html";
?>
</div>
<!-- FOOTER -->
<div class="foot">
<div class="tracker">
<div id="eXTReMe"><a href="http://extremetracking.com/open?login=lpntwo">
<img src="http://t1.extreme-dm.com/i.gif" style="border: 0;"
height="38" width="41" id="EXim" alt="eXTReMe Tracker" /></a>
<script type="text/javascript"><!--
var EXlogin='lpntwo' // Login
var EXvsrv='s11' // VServer
EXs=screen;EXw=EXs.width;navigator.appName!="Netscape"?
EXb=EXs.colorDepth:EXb=EXs.pixelDepth;
navigator.javaEnabled()==1?EXjv="y":EXjv="n";
EXd=document;EXw?"":EXw="na";EXb?"":EXb="na";
EXd.write("<img src=http://e2.extreme-dm.com",
"/"+EXvsrv+".g?login="+EXlogin+"&",
"jv="+EXjv+"&j=y&srw="+EXw+"&srb="+EXb+"&",
"l="+escape(EXd.referrer)+" height=1 width=1>");//-->
</script><noscript><div id="neXTReMe"><img height="1" width="1" alt=""
src="http://e2.extreme-dm.com/s11.g?login=lpntwo&j=n&jv=n" />
</div></noscript></div>
</div>
© 2006-2012 <a href="http://www.patrickblackburn.org/">Patrick Blackburn</a>, <a href="http://www.let.rug.nl/bos/">Johan Bos</a>, <a href="http://cs.union.edu/~striegnk/">Kristina Striegnitz</a>
</div>
</td></tr></table>
</body>
</html>