docs/documentation/frame_header.php

   1 <?php \r
   2 /************************************************************************/\r
   3 /* AContent                                                             */\r
   4 /************************************************************************/\r
   5 /* Copyright (c) 2010                                                   */\r
   6 /* Inclusive Design Institute                                           */\r
   7 /*                                                                      */\r
   8 /* This program is free software. You can redistribute it and/or        */\r
   9 /* modify it under the terms of the GNU General Public License          */\r
  10 /* as published by the Free Software Foundation.                        */\r
  11 /************************************************************************/\r
  12 \r
  13 define('TR_INCLUDE_PATH', '../include/');\r
  14 include(TR_INCLUDE_PATH.'vitals.inc.php');\r
  15 \r
  16 if (isset($_GET['p'])) {\r
  17         $this_page = htmlentities_utf8($_GET['p']);\r
  18 } else {\r
  19         exit;\r
  20 } \r
  21 \r
  22 ?>\r
  23 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict //EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">\r
  24 <html lang="<?php echo DEFAULT_LANGUAGE_CODE; ?>">\r
  25 <head>\r
  26         <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />\r
  27         <title><?php echo _AT('Transformable_documentation'); ?></title>\r
  28 <style type="text/css">\r
  29 body { font-family: Verdana,Arial,sans-serif; font-size: x-small; margin: 0px; padding: 3px; background: #f4f4f4; color: #afafaf; }\r
  30 ul, ol { list-style: none; padding-left: 0px; margin-left: -15px; }\r
  31 li { margin-left: 19pt; padding-top: 2px; }\r
  32 a { text-decoration: none; }\r
  33 a:link, a:visited { color: #006699; }\r
  34 a:hover { color: #66AECC; }\r
  35 input { border: 0px; padding: 2px 5px 2px 5px; }\r
  36 input[type=submit] { background-color: #dfdfdf; padding: 1px; border:  #AAA  solid 1px; }\r
  37 input[type=submit]:hover { color: blue; background-color: #eee; padding: 1px; }\r
  38 form { padding: 0px; margin: 0px; display: inline; }\r
  39 </style>\r
  40 <script type="text/javascript">\r
  41 // <!--\r
  42 var currentPage;\r
  43 \r
  44 function showTocToggle(show, hide) {\r
  45         if(document.getElementById) {\r
  46                 document.writeln('<a href="javascript:toggleToc(false)">' +\r
  47                 '<span id="showlink" style="display:none;">' + show + '</span>' +\r
  48                 '<span id="hidelink">' + hide + '</span>'       + '</a>');\r
  49         }\r
  50 }\r
  51 function toggleToc(override) {\r
  52         var showlink=document.getElementById('showlink');\r
  53         var hidelink=document.getElementById('hidelink');\r
  54 \r
  55         if (override && (hidelink.style.display == 'none')) {\r
  56                 top.show();\r
  57                 hidelink.style.display='';\r
  58                 showlink.style.display='none';\r
  59         } else if (!override && (hidelink.style.display == 'none')) {\r
  60                 top.show();\r
  61                 hidelink.style.display='';\r
  62                 showlink.style.display='none';\r
  63         } else if (!override) {\r
  64                 top.hide(); //('0, *');\r
  65                 hidelink.style.display='none';\r
  66                 showlink.style.display='';\r
  67         }\r
  68 }\r
  69 // -->\r
  70 </script>\r
  71 </head>\r
  72 <body><form method="get" action="search.php" target="toc" onsubmit='toggleToc(true);false;'>\r
  73 <input type="hidden" name="p" value="<?php echo $_GET['p']; ?>">\r
  74 \r
  75 <script type="text/javascript">\r
  76 // <!--\r
  77 if (top.name == 'popup') {\r
  78         document.write('<a href="javascript:top.close();"><?php echo _AT('close_popup'); ?></a> | ');\r
  79 }\r
  80 // -->\r
  81 </script>\r
  82 \r
  83 <input type="text" name="query" /> <input type="submit" name="search" value="<?php echo _AT('search'); ?>" /> |  \r
  84 <a href="print.php?p=<?php echo $this_page; ?>" target="_top"><?php echo _AT('print_version'); ?></a>\r
  85 \r
  86 <script type="text/javascript">\r
  87 //<!--\r
  88 document.writeln(' | ');\r
  89 showTocToggle('<?php echo _AT('show_contents'); ?>' ,'<?php echo _AT('hide_contents'); ?>');\r
  90 if (top.name == 'popup') {\r
  91         toggleToc(true);\r
  92 }\r
  93 //-->\r
  94 </script>\r
  95 \r
  96 </form>\r
  97 </body>\r
  98 </html>