document/ReleaseHtml5.txt

   1 </svg>\r
   2 \r
   3 <P style="margin-bottom:-7px; font-size:small;">\r
   4 <A name="table-of-contents">\82à\82\82¶</A>\r
   5 </P>\r
   6 <TABLE border="1"><TR><TD>\r
   7 \r
   8 <P>\r
   9 <SCRIPT>\r
  10 /***********************************************************\r
  11   <<< [OnLoad] HTML \83t\83@\83C\83\8b\82ð\83\8d\81[\83h\82µ\82½\8cã\82É\8eÀ\8ds\82·\82é\8f\88\97\9d >>>\r
  12 ************************************************************/\r
  13 function  OnLoad() {\r
  14   if ( !document.getElementsByTagName )  return;\r
  15 \r
  16   MyHashChangeEvent();\r
  17 \r
  18   // \91S\82Ä\82Ì\83m\81[\83h\82ð\95Â\82¶\82é\r
  19   divs = document.getElementsByTagName( "div" );\r
  20   for ( i = 0; i < divs.length; i++ ) {\r
  21     if ( divs[i].className == "node" ) {\r
  22       divs[i].style.display = "none";\r
  23     }\r
  24   }\r
  25   sw_imgs = document.getElementsByTagName( "IMG" );\r
  26   for ( i = 0; i < sw_imgs.length; i++ ) {\r
  27     if ( sw_imgs[i].className == "sw_img" ) {\r
  28       s = sw_imgs[i].src;\r
  29       sw_imgs[i].src = "image/t_plus"+ s.substring( s.length - 5, s.length - 4 ) +".gif";\r
  30     }\r
  31   }\r
  32 \r
  33   // URL \82Ì # \88È\8d~\82ð name \91®\90«\82É\8e\9d\82Â\83c\83\8a\81[\97v\91f\82ð\91I\91ð\82·\82é\r
  34   s = self.location.href;\r
  35   i = s.indexOf( "#" );  if ( i == -1 )  return;\r
  36   sub = s.substring( i + 1 );\r
  37 \r
  38   SelectTreeElem( sub );\r
  39 }\r
  40 \r
  41 \r
  42 /***********************************************************\r
  43   <<< [sw] \83c\83\8a\81[\83m\81[\83h\82ð\8aJ\82\82©\95Â\82¶\82é >>>\r
  44 ************************************************************/\r
  45 function  sw( node_name, edge_flag, url, target, open_flag ) {\r
  46   var sw       = document.getElementsByName( node_name + "_sw" );\r
  47   var icon     = document.getElementsByName( node_name + "_icon" );\r
  48   var children = document.getElementsByName( node_name + "_children" );\r
  49   var display_ext = "";\r
  50 \r
  51   try {\r
  52     display_ext = children[0].style.display;\r
  53   } catch ( e ) {}\r
  54 \r
  55   if ( display_ext == "block" ) { /* \8aJ\82¢\82Ä\82¢\82½\82Æ\82«\81A\95Â\82¶\82é */\r
  56     if ( open_flag != 1 ) {\r
  57       sw[0].src = "image/t_plus" + edge_flag + ".gif";\r
  58       icon[0].src = "image/t_node.gif";\r
  59       children[0].style.display = "none";\r
  60     }\r
  61   }\r
  62   else { /* \95Â\82¶\82Ä\82¢\82½\82Æ\82«\81A\8aJ\82¯\82é */\r
  63     if ( open_flag != 0 ) {\r
  64       sw[0].src = "image/t_minus" + edge_flag + ".gif";\r
  65       icon[0].src = "image/t_open.gif";\r
  66       children[0].style.display = "block";\r
  67     }\r
  68   }\r
  69 \r
  70   if ( url != '' )\r
  71     target.location.href = url;\r
  72 \r
  73   return  false;\r
  74 }\r
  75 \r
  76 \r
  77 /***********************************************************\r
  78   <<< [SelectTreeElem] \83c\83\8a\81[\97v\91f\82ð\91I\91ð\82·\82é >>>\r
  79 ************************************************************/\r
  80 function  SelectTreeElem( elem_id )\r
  81 {\r
  82   // \83m\81[\83h\94Ô\8d\86\82ð\93¾\82é\r
  83   for ( i = 0; i < g_elem_ids.length; i++ )\r
  84     if ( g_elem_ids[i] == elem_id )  break;\r
  85   if ( i == g_elem_ids.length ) return;\r
  86   iNode = i;\r
  87 \r
  88   // \90e\82ð\8aJ\82¢\82Ä\82¢\82\r
  89   for (;;) {\r
  90     i = g_parents[ i ];\r
  91     if ( i == -1 )  break;\r
  92 \r
  93     sw( "node" + i, g_flags[ i ], '', null, 1 );\r
  94   }\r
  95 \r
  96   // \83c\83\8a\81[\83m\81[\83h\82ð\91I\91ð\82·\82é\r
  97   nodes = document.getElementsByName( elem_id );\r
  98   if ( nodes.length > 0 )  nodes[0].focus();\r
  99 }\r
 100 \r
 101 var  g_HashOfHere = "";\r
 102 \r
 103 \r
 104 /***********************************************************\r
 105   <<< [MyHashChangeEvent] URL \82Ì # \88È\8d~\82ª\95Ï\8dX\82³\82ê\82½\82Æ\82« >>>\r
 106 ************************************************************/\r
 107 function  MyHashChangeEvent()  // http://www.w3.org/TR/html5/history.html#event-hashchange\r
 108 {                              // This code runs on FireFox and Chrome\r
 109   var  hash = window.location.hash;\r
 110 \r
 111   if ( hash != g_HashOfHere ) {\r
 112     g_HashOfHere = hash;\r
 113 \r
 114     try {\r
 115       //=== SVG \82Ì g \83^\83O\82Ì\92\86\82É\82 \82é\97v\91f\82É\83W\83\83\83\93\83v\82·\82é\r
 116       //\81i\82±\82Ì\8f\88\97\9d\82ª\96³\82¢\82Æ\81Ag \83^\83O\82Ì\90æ\93ª\82É\83W\83\83\83\93\83v\82µ\82Ä\82µ\82Ü\82¤\81j\r
 117       y = 0;\r
 118       if ( hash.toString() != "" ) {\r
 119         hash = hash.substring( 1 );\r
 120         var  y = document.getElementById( hash ).parentNode.transform.baseVal.getItem(0).matrix.f +\r
 121                  document.getElementById( hash ).y.baseVal.getItem(0).value - 20;\r
 122         y = y + document.getElementById( hash ).parentNode.parentNode.offsetTop;\r
 123       }\r
 124       window.scrollTo( 0, y );\r
 125     }\r
 126     catch ( e ) {}\r
 127   }\r
 128   setTimeout( 'MyHashChangeEvent()', 300 );\r
 129 }\r
 130 \r
 131 \r
 132 /************************************************************/\r
 133 </SCRIPT>\r
 134 <STYLE type="text/css">\r
 135 div.tree  { font-size:10pt;  vertical-align:middle; line-height:14px; margin-left:10px; margin-right:10px; }\r
 136 span.text { cursor:hand; color:black; text-decoration:none; }\r
 137 a         { color:black; text-decoration:none; }\r
 138 img       { vertical-align:middle; border:0; }\r
 139 p         { margin:10px; }\r
 140 table     { margin:10px; }\r
 141 </STYLE>\r
 142 \r