1 <?php require(dirname(__FILE__) . '/vitals.inc.php'); ?>
\r
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict //EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
\r
3 <html lang="<?php if ($missing_lang) { echo 'en'; } else { echo $req_lang; } ?>">
\r
5 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
\r
6 <title><?php get_text('atutor_documentation'); ?></title>
\r
7 <style type="text/css">
\r
8 body { font-family: Verdana,Arial,sans-serif; font-size: small; font-weight:bold; margin: 0px; padding: 1px; background: #f4f4f4; color: #afafaf; }
\r
9 ul, ol { list-style: none; padding-left: 0px; margin-left: -15px; }
\r
10 li { margin-left: 19pt; padding-top: 2px; }
\r
11 a { text-decoration: none; }
\r
12 a:link, a:visited { color: #006699; font-weight:7; }
\r
13 a:hover { color: #66AECC; }
\r
14 input { border: 1px solid #006699; padding: 2px 5px 2px 5px; font-size: smaller; }
\r
15 input[type=submit] { color: #000; background-color: #dfdfdf; padding: 1px; font-weight:bold;}
\r
16 input[type=submit]:hover { color: #999; background-color: #eee; padding: 1px; }
\r
17 form { padding: 0px; margin: 0px; display: inline; }
\r
19 <script type="text/javascript">
\r
23 function showTocToggle(show, hide) {
\r
24 if(document.getElementById) {
\r
25 document.writeln('<a href="javascript:toggleToc(false)">' +
\r
26 '<span id="showlink" style="display:none;">' + show + '</span>' +
\r
27 '<span id="hidelink">' + hide + '</span>' + '</a>');
\r
30 function toggleToc(override) {
\r
31 var showlink=document.getElementById('showlink');
\r
32 var hidelink=document.getElementById('hidelink');
\r
34 if (override && (hidelink.style.display == 'none')) {
\r
36 hidelink.style.display='';
\r
37 showlink.style.display='none';
\r
38 } else if (!override && (hidelink.style.display == 'none')) {
\r
40 hidelink.style.display='';
\r
41 showlink.style.display='none';
\r
42 } else if (!override) {
\r
43 top.hide(); //('0, *');
\r
44 hidelink.style.display='none';
\r
45 showlink.style.display='';
\r
53 <form method="get" action="search.php" target="toc" onsubmit='toggleToc(true);false;'>
\r
54 <input type="hidden" name="<?php echo $section; ?>" value="" />
\r
55 <input type="hidden" name="<?php echo $req_lang; ?>" value="" />
\r
56 <script type="text/javascript">
\r
58 if (top.name == 'popup') {
\r
59 document.write('<a href="javascript:top.close();"><?php get_text('close_popup'); ?></a> | ');
\r
64 <a href="../index/<?php echo $req_lang; ?>" target="_top"><?php get_text('return_to_handbook'); ?></a> |
\r
66 <input type="text" name="query" /> <input type="submit" name="search" value="<?php get_text('search'); ?>" /> | <a href="print.php?<?php echo $section; ?>&<?php echo $req_lang; ?>" target="_top"><?php get_text('print_version'); ?></a>
\r
67 <script type="text/javascript">
\r
69 document.writeln(' | ');
\r
70 showTocToggle('<?php get_text('show_contents'); ?>' ,'<?php get_text('hide_contents'); ?>');
\r
71 if (top.name == 'popup') {
\r