-
Notifications
You must be signed in to change notification settings - Fork 4
/
help.html
25 lines (25 loc) · 1.92 KB
/
help.html
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
<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>HELP</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.6.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='style.css' />
</head>
<body>
<h2 class='header'>Usage of Links</h2>
/* <img class='icon' src='icons/left.png' alt='[previous]' /> <img class='icon' src='icons/right.png' alt='[next]' /> <img class='icon' src='icons/first.png' alt='[first]' /> <img class='icon' src='icons/last.png' alt='[last]' /> <img class='icon' src='icons/top.png' alt='[top]' /> <img class='icon' src='icons/bottom.png' alt='[bottom]' /> <img class='icon' src='icons/index.png' alt='[index]' /> <img class='icon' src='icons/help.png' alt='[help]' /> <input type='text' readonly onfocus='this.select();' value='+<line number> <file>' /> */
<dl>
<dt><img class='icon' src='icons/left.png' alt='[previous]' /></dt><dd>Previous definition.</dd>
<dt><img class='icon' src='icons/right.png' alt='[next]' /></dt><dd>Next definition.</dd>
<dt><img class='icon' src='icons/first.png' alt='[first]' /></dt><dd>First definition in this file.</dd>
<dt><img class='icon' src='icons/last.png' alt='[last]' /></dt><dd>Last definition in this file.</dd>
<dt><img class='icon' src='icons/top.png' alt='[top]' /></dt><dd>Top of this file.</dd>
<dt><img class='icon' src='icons/bottom.png' alt='[bottom]' /></dt><dd>Bottom of this file.</dd>
<dt><img class='icon' src='icons/index.png' alt='[index]' /></dt><dd>Return to index page.</dd>
<dt><img class='icon' src='icons/help.png' alt='[help]' /></dt><dd>You are seeing now.</dd>
<dt> <input type='text' readonly onfocus='this.select();' value='+<line number> <file>' /></dt><dd>The current position (line number and file name).</dd>
</dl>
</body>
</html>