documentation/common/frame_header.php

   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
   4 <head>\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
  18 </style>\r
  19 <script type="text/javascript">\r
  20 // <!--\r
  21 var currentPage;\r
  22 \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
  28         }\r
  29 }\r
  30 function toggleToc(override) {\r
  31         var showlink=document.getElementById('showlink');\r
  32         var hidelink=document.getElementById('hidelink');\r
  33 \r
  34         if (override && (hidelink.style.display == 'none')) {\r
  35                 top.show();\r
  36                 hidelink.style.display='';\r
  37                 showlink.style.display='none';\r
  38         } else if (!override && (hidelink.style.display == 'none')) {\r
  39                 top.show();\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
  46         }\r
  47 }\r
  48 // -->\r
  49 </script>\r
  50 </head>\r
  51 <body>\r
  52 \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
  57 // <!--\r
  58 if (top.name == 'popup') {\r
  59         document.write('<a href="javascript:top.close();"><?php get_text('close_popup'); ?></a> | ');\r
  60 }\r
  61 // -->\r
  62 </script>\r
  63 \r
  64 <a href="../index/<?php echo $req_lang; ?>" target="_top"><?php get_text('return_to_handbook'); ?></a> | \r
  65 \r
  66 <input type="text" name="query" /> <input type="submit" name="search" value="<?php get_text('search'); ?>" /> |  <a href="print.php?<?php echo $section; ?>&amp;<?php echo $req_lang; ?>" target="_top"><?php get_text('print_version'); ?></a>\r
  67                         <script type="text/javascript">\r
  68                         //<!--\r
  69                         document.writeln(' | ');\r
  70                         showTocToggle('<?php get_text('show_contents'); ?>' ,'<?php get_text('hide_contents'); ?>');\r
  71                         if (top.name == 'popup') {\r
  72                                 toggleToc(true);\r
  73                         }\r
  74                         //-->\r
  75                         </script>\r
  76 \r
  77 </form>\r
  78 \r
  79 </body>\r
  80 </html>