-
Notifications
You must be signed in to change notification settings - Fork 326
/
index.php
executable file
·56 lines (50 loc) · 1.3 KB
/
index.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
<?
$Title="Figures"; include "../header.php";
// Tour listing
function begin_tours($title, $link)
{
echo '<div class="post"><div class="header"><h3><a name="' . $link . '"></a>' . $title . '</h3></div><div class="content"><p><ol>';
}
function end_tours()
{
echo '</ol></p></div></div>';
}
function tour($link, $title)
{
echo '<li><a href="' . $link . '/">' . $title . '</a></li>';
}
// Table of content
function begin_toc()
{
echo '<p align="center"><div align="center"><font size="+1"><b>';
echo '- Table of contents -';
echo '</b></font></div>';
echo '<p align="center"><div align="center"><font size="+0">';
}
function end_toc()
{
echo '</font></div><br/><br/>';
}
function toc_entry($title, $link)
{
echo '<a href="#' . $link . '">' . $title . '</a><br/>';
}
// What's news section
function begin_news()
{
echo '<div class="post"><div class="header"><h3> What\'s new</h3></div><div class="content"><p><ul>';
}
function end_news()
{
echo '</ul></p></div></div>';
}
function news_display($date, $content, $link)
{
echo '<li>(' . $date . ') ' . $content . ' [<a href="' . $link . '">link</a>]' . '</li>';
}
?>
<?
include "index_news.php";
include "index_tours.php";
include "../footer.php";
?>