Subversion Repositories LCARS

Rev

Rev 180 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 180 Rev 181
1
<!DOCTYPE html>
1
<!DOCTYPE html>
2
<html lang="<?php echo $language; ?>">
2
<html lang="<?php echo $language; ?>">
3
  <head>
3
  <head>
4
    <title>Home — PointedEars’ Website</title>
4
    <title>Home — PointedEars’ Website</title>
5
5
6
    <link rel="SHORTCUT ICON" href="favicon.ico">
6
    <link rel="SHORTCUT ICON" href="favicon.ico">
7
7
8
    <!-- Browsers: Character Encoding -->
8
    <!-- Browsers: Character Encoding -->
9
    <meta charset="UTF-8">
9
    <meta charset="UTF-8">
10
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
10
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
11
11
12
    <!-- Robots: Index, Subordinated Files, Description, Author,
12
    <!-- Robots: Index, Subordinated Files, Description, Author,
13
         Keywords, Document Date -->
13
         Keywords, Document Date -->
14
    <meta name="robots" content="index">
14
    <meta name="robots" content="index">
15
    <meta name="robots" content="follow">
15
    <meta name="robots" content="follow">
16
<?php /*
16
<?php /*
17
    <meta name="description"
17
    <meta name="description"
18
          content="PointedEars' Website: <?php
18
          content="PointedEars' Website: <?php
19
            $description = tr("Access to the United Federation of Planets Databanks, an online songbook and software downloads always worth a click. Coming soon: The best internet links categorized and much more via a bilingual (English/German) LCARS terminal styled user interface that can be also used to surf the web anonymously! Bookmark NOW!");
19
            $description = tr("Access to the United Federation of Planets Databanks, an online songbook and software downloads always worth a click. Coming soon: The best internet links categorized and much more via a bilingual (English/German) LCARS terminal styled user interface that can be also used to surf the web anonymously! Bookmark NOW!");
20
            echo $description;
20
            echo $description;
21
            ?>">
21
            ?>">
22
*/ ?>
22
*/ ?>
23
    <meta name="author" content="Thomas ‘PointedEars’ Lahn">
23
    <meta name="author" content="Thomas ‘PointedEars’ Lahn">
24
24
25
    <?php /* No localization of keywords at the time */ ?>
25
    <?php /* No localization of keywords at the time */ ?>
26
    <meta name="keywords"
26
    <meta name="keywords"
27
          content="<?php /* Appz, */ ?>Download, Links, LCARS, Star Trek, TNG, The Next Generation, DS9, Deep Space 9, Deep Space Nine, VOY, Voyager, UFP, Federation, United Federation of Planets, Database, Databank, <?php /* Song, Songbook, Surf, anonymously, */?>Raumschiff Enterprise, DNG, Die n&auml;chste Generation, VFP, F&ouml;deration, Vereinte F&ouml;deration der Planeten, Datenbasis, Datenbank<?php /*, Lied, Liedtext, surfen, anonym */ ?>">
27
          content="<?php /* Appz, */ ?>Download, Links, LCARS, Star Trek, TNG, The Next Generation, DS9, Deep Space 9, Deep Space Nine, VOY, Voyager, UFP, Federation, United Federation of Planets, Database, Databank, <?php /* Song, Songbook, Surf, anonymously, */?>Raumschiff Enterprise, DNG, Die n&auml;chste Generation, VFP, F&ouml;deration, Vereinte F&ouml;deration der Planeten, Datenbasis, Datenbank<?php /*, Lied, Liedtext, surfen, anonym */ ?>">
28
<?php /*
28
<?php /*
29
    <meta name="keywords" http-equiv="Keywords" lang="de" content="">
29
    <meta name="keywords" http-equiv="Keywords" lang="de" content="">
30
    <meta name="keywords" http-equiv="Keywords" lang="en-us" content="">
30
    <meta name="keywords" http-equiv="Keywords" lang="en-us" content="">
31
    <meta name="keywords" http-equiv="Keywords" lang="en" content="">
31
    <meta name="keywords" http-equiv="Keywords" lang="en" content="">
32
*/ ?>
32
*/ ?>
33
    <meta name="revisit-after" content="3 days">
33
    <meta name="revisit-after" content="3 days">
34
34
35
    <!-- Robots: Dublin Core Metadata (http://purl.org/metadata/dublin_core) -->
35
    <!-- Robots: Dublin Core Metadata (http://purl.org/metadata/dublin_core) -->
36
    <meta name="dcterms.title" content="PointedEars’ Website">
36
    <meta name="dcterms.title" content="PointedEars’ Website">
37
    <meta name="dcterms.creator" content="Thomas ‘PointedEars’ Lahn">
37
    <meta name="dcterms.creator" content="Thomas ‘PointedEars’ Lahn">
38
    <meta name="dcterms.subject" content="Private Web site">
38
    <meta name="dcterms.subject" content="Private Web site">
39
<?php /*
39
<?php /*
40
    <meta name="dcterms.description"
40
    <meta name="dcterms.description"
41
          content="PointedEars' Website: <?php echo $description; ?>">
41
          content="PointedEars' Website: <?php echo $description; ?>">
42
*/ ?>
42
*/ ?>
43
    <meta name="dcterms.publisher" content="PointedEars">
43
    <meta name="dcterms.publisher" content="PointedEars">
44
    <meta name="dcterms.date" content="2002-05-23T10:56:00+02:00">
44
    <meta name="dcterms.date" content="2002-05-23T10:56:00+02:00">
45
    <meta name="dcterms.created" content="2002-05-23">
45
    <meta name="dcterms.created" content="2002-05-23">
46
    <meta name="dcterms.modified" content="<?php echo gmdate('Y-m-dTH:i:sO', $modi); ?>">
46
    <meta name="dcterms.modified" content="<?php echo gmdate('Y-m-dTH:i:sO', $modi); ?>">
47
<?php /*
47
<?php /*
48
    <meta name="dcterms.type" content="">
48
    <meta name="dcterms.type" content="">
49
    <meta name="dcterms.format" content="">
49
    <meta name="dcterms.format" content="">
50
*/ ?>
50
*/ ?>
51
    <meta name="dcterms.identifier" content="http://pointedears.de/index.<?php echo $language; ?>">
51
    <meta name="dcterms.identifier" content="http://pointedears.de/index.<?php echo $language; ?>">
52
    <meta name="dcterms.language" content="<?php echo $language; ?>">
52
    <meta name="dcterms.language" content="<?php echo $language; ?>">
53
    <meta name="dcterms.rightsHolder"
53
    <meta name="dcterms.rightsHolder"
54
          content="Copyright © 2002&#8211;<?php echo gmdate('Y', $modi); ?> Thomas&nbsp;Lahn.">
54
          content="Copyright © 2002&#8211;<?php echo gmdate('Y', $modi); ?> Thomas&nbsp;Lahn.">
55
    <meta name="dcterms.rights"
55
    <meta name="dcterms.rights"
56
          content="<?php echo tr("All rights reserved."); ?> <?php echo tr("The author is not responsible for the availability and the content of websites referred by this site, and not responsible for the availability and the content of websites referred by those sites. Whereever outsourced material is used, copyright or trademark infringement is not intended. Third parties who claim copyrights or trademarks used herein are asked to send an informal email to webmaster@PointedEars.de for immediate removal or modification of the respective material on the website instead of reminding the author of usage of this material. Thank you."); ?>">
56
          content="<?php echo tr("All rights reserved."); ?> <?php echo tr("The author is not responsible for the availability and the content of websites referred by this site, and not responsible for the availability and the content of websites referred by those sites. Whereever outsourced material is used, copyright or trademark infringement is not intended. Third parties who claim copyrights or trademarks used herein are asked to send an informal email to webmaster@PointedEars.de for immediate removal or modification of the respective material on the website instead of reminding the author of usage of this material. Thank you."); ?>">
57
57
58
<?php /*
58
<?php /*
59
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars.css"> -->
59
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars.css"> -->
60
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars21.css"> -->
60
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars21.css"> -->
61
    <!-- No optimization here: Resource Builder does not handle URI parameters -->
61
    <!-- No optimization here: Resource Builder does not handle URI parameters -->
62
*/ ?>
62
*/ ?>
63
    <link rel="stylesheet" type="text/css" href="styles/lcars-basic">
63
    <link rel="stylesheet" type="text/css" href="styles/lcars-basic">
64
<?php
64
<?php
65
  $isLocal = ($_SERVER['HTTP_HOST'] === 'localhost');
65
  $isLocal = ($_SERVER['HTTP_HOST'] === 'localhost');
66
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
66
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
67
  if (!$printable)
67
  if (!$printable)
68
  {
68
  {
69
?>
69
?>
70
    <link rel="stylesheet" type="text/css" href="styles/lcars22<?php
70
    <link rel="stylesheet" type="text/css" href="styles/lcars22<?php
71
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
71
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
72
      {
72
      {
73
        echo '?ani=' . $_GET['ani'];
73
        echo '?ani=' . $_GET['ani'];
74
      }
74
      }
75
    ?>">
75
    ?>">
76
<?php
76
<?php
77
  }
77
  }
78
?>
78
?>
79
    <!--[if lt IE 7]>
79
    <!--[if lt IE 7]>
80
      <link rel="stylesheet" type="text/css" href="styles/lcars22-ie6.css">
80
      <link rel="stylesheet" type="text/css" href="styles/lcars22-ie6.css">
81
    <![endif]-->
81
    <![endif]-->
82
    <style type="text/css">
82
    <style type="text/css">
83
      <!--
83
      <!--
84
      p {
84
      p {
85
        max-width: 100%;
85
        max-width: 100%;
86
      }
86
      }
87
      -->
87
      -->
88
    </style>
88
    </style>
89
89
90
    <script type="text/javascript" src="scripts/builder?src=object,dom,dom/storage,dom/events,dom/timeout,dom/widgets,dom/window,http,lcars<?php
90
    <script type="text/javascript" src="scripts/builder?src=object,dom,dom/storage,dom/events,dom/timeout,dom/widgets,dom/window,http,lcars<?php
91
      if ($isLocal)
91
      if ($isLocal)
92
      {
92
      {
93
        ?>&amp;verbose=1&amp;debug=1<?php
93
        ?>&amp;verbose=1&amp;debug=1<?php
94
      }
94
      }
95
    ?>"></script>
95
    ?>"></script>
96
    <script type="text/javascript">
96
    <script type="text/javascript">
97
<?php
97
<?php
98
      /*
98
      /*
99
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
99
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
100
      var msLeaveDays = ms1Day*6;
100
      var msLeaveDays = ms1Day*6;
101
      var ms30Days=ms1Day*30;
101
      var ms30Days=ms1Day*30;
102
      var delta;
102
      var delta;
103
      var newTime=new Date();
103
      var newTime=new Date();
104
      var msTime=newTime.getTime();
104
      var msTime=newTime.getTime();
105
      var msExpire=msTime+ms30Days;
105
      var msExpire=msTime+ms30Days;
106
      var expireTime=new Date(msExpire);
106
      var expireTime=new Date(msExpire);
107

107

108
      cookieVal=
108
      cookieVal=
109
          "savedTime=" + newTime.toGMTString()
109
          "savedTime=" + newTime.toGMTString()
110
        + "; expires=" + expireTime.toGMTString()
110
        + "; expires=" + expireTime.toGMTString()
111
        + "; domain=anybody"
111
        + "; domain=anybody"
112
        + "; path=/";
112
        + "; path=/";
113
      document.cookie= cookieVal;
113
      document.cookie= cookieVal;
114
      */
114
      */
115
?>
115
?>
116
      function body_load ()
116
      function body_load ()
117
      {
117
      {
118
        if (typeof this.ontouchstart != 'undefined')
118
        if (typeof this.ontouchstart != 'undefined')
119
        {
119
        {
120
          this.ontouchstart = function () {};
120
          this.ontouchstart = function () {};
121
        }
121
        }
122
122
123
        if (fullscreen.isSupportedBy(document.documentElement))
123
        if (fullscreen.isSupportedBy(document.documentElement))
124
        {
124
        {
125
          var fullscreenLI = jsx.dom.getElementById("cmd3");
125
          var fullscreenLI = jsx.dom.getElementById("cmd3");
126
          fullscreenLI.firstChild.style.cursor = "";
126
          fullscreenLI.firstChild.style.cursor = "";
127
        }
127
        }
-
 
128
-
 
129
        lcars.multiDisplay = new lcars.MultiDisplay();
128
      }
130
      }
129
    </script>
131
    </script>
130
    <?php /* <bgsound src="media/interface/sound/beginop.wav" loop="infinite"> */ ?>
132
    <?php /* <bgsound src="media/interface/sound/beginop.wav" loop="infinite"> */ ?>
131
  </head>
133
  </head>
132
  <body class="fade-in" onload="body_load()">
134
  <body class="fade-in" onload="body_load()">
133
    <div id="content">
135
    <div id="content">
134
      <h1 style="text-align: center"><img
136
      <h1 style="text-align: center"><img
135
            src="media/video/img/vulcan_hand-black-bg.png"
137
            src="media/video/img/vulcan_hand-black-bg.png"
136
            width="120"
138
            width="120"
137
            height="168"
139
            height="168"
138
            alt="<?php echo tr("Vulcan greeting"); ?>"
140
            alt="<?php echo tr("Vulcan greeting"); ?>"
139
            title="<?php echo tr("Vulcan greeting"); ?>"
141
            title="<?php echo tr("Vulcan greeting"); ?>"
140
            style="border: none; cursor: default"
142
            style="border: none; cursor: default"
141
            onmouseover="return setStatus(this.title)"
143
            onmouseover="return setStatus(this.title)"
142
            onmouseout="return resetStatus()"><br>
144
            onmouseout="return resetStatus()"><br>
143
        <?php echo tr("Welcome to PointedEars’ Website"); ?></h1>
145
        <?php echo tr("Welcome to PointedEars’ Website"); ?></h1>
144
<?php
146
<?php
145
  if (!$printable)
147
  if (!$printable)
146
  {
148
  {
147
?>
149
?>
148
      <p class="instruction" style="font-size: 100%; text-align: center"><?php
150
      <p class="instruction" style="font-size: 100%; text-align: center"><?php
149
        echo sprintf(
151
        echo sprintf(
150
          tr("This site uses recent <a href='https://developer.mozilla.org/en-US/docs/'"
152
          tr("This site uses recent <a href='https://developer.mozilla.org/en-US/docs/'"
151
            . " title='Learn more: Mozilla Developer Network'>Web technologies</a>."
153
            . " title='Learn more: Mozilla Developer Network'>Web technologies</a>."
152
            . " You can use the <a href='index.%s?printable=1'>%s</a>"
154
            . " You can use the <a href='index.%s?printable=1'>%s</a>"
153
            . " if it is not displayed properly with your software."),
155
            . " if it is not displayed properly with your software."),
154
          $language,
156
          $language,
155
          tr('Printable version'));
157
          tr('Printable version'));
156
        ?></p>
158
        ?></p>
157
<?php
159
<?php
158
  }
160
  }
159
161
160
  /*
162
  /*
161
      <p>
163
      <p>
162
        | <a href="leisure/" target="_top"
164
        | <a href="leisure/" target="_top"
163
            >Freizeit-Datenbank</a>
165
            >Freizeit-Datenbank</a>
164
        | <a href="mozilla/" target="_top">Mozilla</a>
166
        | <a href="mozilla/" target="_top">Mozilla</a>
165
        | <a href="poetry/" target="_top">Poesie</a>
167
        | <a href="poetry/" target="_top">Poesie</a>
166
  */
168
  */
167
169
168
  /*
170
  /*
169
        | [<abbr title="nur in englischer Sprache verf&uuml;gbar"
171
        | [<abbr title="nur in englischer Sprache verf&uuml;gbar"
170
                 >en</abbr>]
172
                 >en</abbr>]
171
        | <a href="selfhtml.de/" target="_top">SELFHTML.DE</a>
173
        | <a href="selfhtml.de/" target="_top">SELFHTML.DE</a>
172
  */
174
  */
173
  /*
175
  /*
174
        | <a href="lyrics/" target="_top">Songbook</a>
176
        | <a href="lyrics/" target="_top">Songbook</a>
175
        | </p>
177
        | </p>
176
  */
178
  */
177
              /*
179
              /*
178
      <p><a href="about/worm.de.html" target="_top"
180
      <p><a href="about/worm.de.html" target="_top"
179
            >Seltsame E-Mails bekommen?</a></p>
181
            >Seltsame E-Mails bekommen?</a></p>
180
               */
182
               */
181
/*
183
/*
182
      <noscript>
184
      <noscript>
183
        <a
185
        <a
184
          href="http://pointedears.de/"
186
          href="http://pointedears.de/"
185
          title="PointedEars' Website"
187
          title="PointedEars' Website"
186
          >Diese Website zu Ihren Lesezeichen hinzuf&uuml;gen</a>
188
          >Diese Website zu Ihren Lesezeichen hinzuf&uuml;gen</a>
187
      </noscript>
189
      </noscript>
188

190

189
      <!-- Klicken Sie hier, falls Sie nach 5 Sekunden nicht automatisch
191
      <!-- Klicken Sie hier, falls Sie nach 5 Sekunden nicht automatisch
190
           weitergeleitet werden. -->
192
           weitergeleitet werden. -->
191
*/
193
*/
192
?>
194
?>
193
<?php
195
<?php
194
  $app = "Welcome/$language";
196
  $app = "Welcome/$language";
195
  require_once 'footer.phtml';
197
  require_once 'footer.phtml';
196
      /* embed src="media/interface/speech/de/warten.wav" width="0" height="0"
198
      /* embed src="media/interface/speech/de/warten.wav" width="0" height="0"
197
      hidden="true" autostart="true" dir="ltr" lang="de" */
199
      hidden="true" autostart="true" dir="ltr" lang="de" */
198
?>
200
?>
199
    </div>
201
    </div>
200
    <div id="LCARS">
202
    <div id="LCARS">
201
<?php /*
203
<?php /*
202
      <div id="button-grid" style="position: absolute; opacity: 0.3">
204
      <div id="button-grid" style="position: absolute; opacity: 0.3">
203
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
205
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
204

206

205
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
207
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
206
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
208
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
207
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
209
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
208
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
210
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
209

211

210
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
212
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
211
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
213
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
212
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
214
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
213
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
215
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
214

216

215
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
217
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
216
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
218
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
217
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
219
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
218
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
220
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
219

221

220
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
222
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
221
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
223
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
222
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
224
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
223
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
225
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
224

226

225
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
227
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
226
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
228
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
227
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
229
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
228
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
230
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
229
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
231
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
230

232

231
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
233
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
232
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
234
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
233
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
235
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
234
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
236
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
235

237

236
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
238
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
237
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
239
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
238
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
240
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
239

241

240
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
242
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
241
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
243
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
242
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
244
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
243

245

244
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
246
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
245
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
247
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
246
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
248
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
247

249

248
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
250
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
249
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
251
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
250
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
252
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
251
      </div>
253
      </div>
252
*/ ?>
254
*/ ?>
253
      <div id="bow">
255
      <div id="bow">
254
        <div id="bow-top">
256
        <div id="bow-top">
255
          <div class="separator-left">&nbsp;</div>
257
          <div class="separator-left">&nbsp;</div>
256
          <div class="text"><span>PointedEars’ Website</span></div>
258
          <div class="text"><span>PointedEars’ Website</span></div>
257
        </div>
259
        </div>
258
        <div id="bow-top-left">
260
        <div id="bow-top-left">
259
          <div class="concave">&nbsp;</div>
261
          <div class="concave">&nbsp;</div>
260
          <div style="position: absolute; top: 3.2em; left: 0; background-color: black">
262
          <div style="position: absolute; top: 3.2em; left: 0; background-color: black">
261
            <div class="bow" style="margin-top: 0.2em; width: 8em; height: 1em">&nbsp;</div>
263
            <div class="bow" style="margin-top: 0.2em; width: 8em; height: 1em">&nbsp;</div>
262
          </div>
264
          </div>
263
        </div>
265
        </div>
264
        <div id="bottom">
266
        <div id="bottom">
265
          <div id="bow-bottom">
267
          <div id="bow-bottom">
266
            <div class="concave">&nbsp;</div>
268
            <div class="concave">&nbsp;</div>
267
            <div class="spacer">&nbsp;</div>
269
            <div class="spacer">&nbsp;</div>
268
        </div>
270
        </div>
269
        </div>
271
        </div>
270
272
271
        <div class="menu-container">
273
        <div class="menu-container">
272
          <nav class="menu">
274
          <nav class="menu">
273
            <ul>
275
            <ul>
274
            <?php foreach ($languages as $key => $name): ?>
276
            <?php foreach ($languages as $key => $name): ?>
275
              <li><a href="index.<?php echo $key; ?>?ani=0"
277
              <li><a href="index.<?php echo $key; ?>?ani=0"
276
                     class="button<?php if ($language === $key) { ?> selected<?php } ?>"
278
                     class="button<?php if ($language === $key) { ?> selected<?php } ?>"
277
                     tabindex="2"><span class="text"><?php echo $name; ?></span></a></li>
279
                     tabindex="2"><span class="text"><?php echo $name; ?></span></a></li>
278
            <?php endforeach; ?>
280
            <?php endforeach; ?>
279
            </ul>
281
            </ul>
280
            <div class="bow" style="margin-bottom: 0.4em; height: 0.4em">&nbsp;</div>
282
            <div class="bow" style="margin-bottom: 0.4em; height: 0.4em">&nbsp;</div>
281
            <ul style="margin-bottom: 1.2em">
283
            <ul style="margin-bottom: 1.2em">
282
              <li><a href="<?php echo $menu['scripts']['path']; ?>" target="_top" class="button"><span class="text"><?php echo $menu['scripts']['text']; ?></span></a></li>
284
              <li><a href="<?php echo $menu['scripts']['path']; ?>" target="_top" class="button"><span class="text"><?php echo $menu['scripts']['text']; ?></span></a></li>
283
              <li><a href="<?php echo $menu['es-matrix']['path']; ?>" target="_top" class="button"
285
              <li><a href="<?php echo $menu['es-matrix']['path']; ?>" target="_top" class="button"
284
                     title="<?php echo $menu['es-matrix']['title']; ?>"
286
                     title="<?php echo $menu['es-matrix']['title']; ?>"
285
                     ><span class="text"><?php echo $menu['es-matrix']['text']; ?></span></a></li>
287
                     ><span class="text"><?php echo $menu['es-matrix']['text']; ?></span></a></li>
286
              <li><a href="<?php echo $menu['devel']['path']; ?>" target="_top" class="button"><span class="text"><?php echo $menu['devel']['text']; ?></span></a></li>
288
              <li><a href="<?php echo $menu['devel']['path']; ?>" target="_top" class="button"><span class="text"><?php echo $menu['devel']['text']; ?></span></a></li>
287
            </ul>
289
            </ul>
288
            <ul style="margin-bottom: 0.2em">
290
            <ul style="margin-bottom: 0.2em">
289
              <li><a href="psf/" target="_top"
291
              <li><a href="psf/" target="_top"
290
                 class="button ancillary"
292
                 class="button ancillary"
291
                 ><abbr title="<?php echo tr("PointedEars' Standard Frases"); ?>"
293
                 ><abbr title="<?php echo tr("PointedEars' Standard Frases"); ?>"
292
                        class="text">psf</abbr></a></li>
294
                        class="text">psf</abbr></a></li>
293
            <li><a href="<?php echo $menu['series']['path']; ?>" target="_top" class="button ancillary"
295
            <li><a href="<?php echo $menu['series']['path']; ?>" target="_top" class="button ancillary"
294
                   title="<?php echo tr('List of recommended TV shows and episodes, with logos in CSS'); ?>"
296
                   title="<?php echo tr('List of recommended TV shows and episodes, with logos in CSS'); ?>"
295
                   ><span class="text"><?php echo $menu['series']['text']; ?></span></a></li>
297
                   ><span class="text"><?php echo $menu['series']['text']; ?></span></a></li>
296
              <li><a href="<?php echo $menu['ufpdb']['path']; ?>" target="_top" class="button database"
298
              <li><a href="<?php echo $menu['ufpdb']['path']; ?>" target="_top" class="button database"
297
                     ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
299
                     ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
298
                            class="text"><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
300
                            class="text"><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
299
            </ul>
301
            </ul>
300
            <div style="position: relative; margin-bottom: 1.2em">
302
            <div style="position: relative; margin-bottom: 1.2em">
301
              <div class="bow" style="height: 0.8em">&nbsp;</div>
303
              <div class="bow" style="height: 0.8em">&nbsp;</div>
302
            </div>
304
            </div>
303
            <ul>
305
            <ul>
304
              <li><a href="http://climateapps2.oerc.ox.ac.uk/cpdnboinc/show_user.php?userid=648544"
306
              <li><a href="http://climateapps2.oerc.ox.ac.uk/cpdnboinc/show_user.php?userid=648544"
305
                     target="_top" class="button secondary"
307
                     target="_top" class="button secondary"
306
                     title="<?php echo tr("The world’s largest climate forecasting experiment for the 21st century"); ?>"
308
                     title="<?php echo tr("The world’s largest climate forecasting experiment for the 21st century"); ?>"
307
                     ><span class="text">climateprediction.net</span></a></li>
309
                     ><span class="text">climateprediction.net</span></a></li>
308
              <li><a href="http://fah-web2.stanford.edu/cgi-bin/main.py?qtype=userpage&username=Thomas_Lahn"
310
              <li><a href="http://fah-web2.stanford.edu/cgi-bin/main.py?qtype=userpage&username=Thomas_Lahn"
309
                     target="_top" class="button secondary"
311
                     target="_top" class="button secondary"
310
                     title="<?php echo tr("Distributed computing to understand protein folding, protein aggregation, and related diseases"); ?>"
312
                     title="<?php echo tr("Distributed computing to understand protein folding, protein aggregation, and related diseases"); ?>"
311
                     ><span class="text">Folding at home</span></a></li>
313
                     ><span class="text">Folding at home</span></a></li>
312
             <li><a href="http://lhcathomeclassic.cern.ch/sixtrack/show_user.php?userid=221181"
314
             <li><a href="http://lhcathomeclassic.cern.ch/sixtrack/show_user.php?userid=221181"
313
                    target="_top" class="button secondary"
315
                    target="_top" class="button secondary"
314
                    title="<?php echo tr("Particle physics research with the Large Hadron Collider at CERN"); ?>"
316
                    title="<?php echo tr("Particle physics research with the Large Hadron Collider at CERN"); ?>"
315
                    ><span class="text">LHC at home</span></a></li>
317
                    ><span class="text">LHC at home</span></a></li>
316
             <li><a href="http://setiathome.berkeley.edu/show_user.php?userid=378921"
318
             <li><a href="http://setiathome.berkeley.edu/show_user.php?userid=378921"
317
                    target="_top" class="button secondary"
319
                    target="_top" class="button secondary"
318
                    title="<?php echo tr("The Search for Extra-Terrestrial Intelligence at HOME"); ?>"
320
                    title="<?php echo tr("The Search for Extra-Terrestrial Intelligence at HOME"); ?>"
319
                    ><span class="text">SETI at home</span></a></li>
321
                    ><span class="text">SETI at home</span></a></li>
320
             <li><a href="http://stackoverflow.com/users/855543/pointedears"
322
             <li><a href="http://stackoverflow.com/users/855543/pointedears"
321
                    target="_top" class="button secondary"
323
                    target="_top" class="button secondary"
322
                    title="<?php echo tr("Me on Stack Overflow"); ?>"
324
                    title="<?php echo tr("Me on Stack Overflow"); ?>"
323
                    ><span class="text">Stack Overflow</span></a></li>
325
                    ><span class="text">Stack Overflow</span></a></li>
324
             <li><a href="https://twitter.com/PointedEars2"
326
             <li><a href="https://twitter.com/PointedEars2"
325
                    target="_top" class="button secondary"
327
                    target="_top" class="button secondary"
326
                    title="<?php echo tr("Me on Twitter"); ?>"
328
                    title="<?php echo tr("Me on Twitter"); ?>"
327
                    ><span class="text">Twitter</span></a></li>
329
                    ><span class="text">Twitter</span></a></li>
328
             <li><a href="<?php echo tr("http://en.wikipedia.org/wiki/Special:Contributions/PointedEars"); ?>"
330
             <li><a href="<?php echo tr("http://en.wikipedia.org/wiki/Special:Contributions/PointedEars"); ?>"
329
                    target="_top" class="button secondary"
331
                    target="_top" class="button secondary"
330
                    title="<?php echo tr("My contributions to Wikipedia"); ?>"
332
                    title="<?php echo tr("My contributions to Wikipedia"); ?>"
331
                    ><span class="text">Wikipedia</span></a></li>
333
                    ><span class="text">Wikipedia</span></a></li>
332
           </ul>
334
           </ul>
333
<?php /*
335
<?php /*
334
            <script type="text/javascript">
336
            <script type="text/javascript">
335
              var sURL = location.href;
337
              var sURL = location.href;
336
              var sFavAnchorTitle =
338
              var sFavAnchorTitle =
337
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
339
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
338
                + " hinzuzufügen";
340
                + " hinzuzufügen";
339
              var sOtherAnchorTitle =
341
              var sOtherAnchorTitle =
340
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
342
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
341
                + " Ihren Lesezeichen hinzuzufügen";
343
                + " Ihren Lesezeichen hinzuzufügen";
342
              var sFavoriteTitle = "PointedEars' Website";
344
              var sFavoriteTitle = "PointedEars' Website";
343

345

344
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
346
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
345
              {
347
              {
346
                document.write(
348
                document.write(
347
                    '<div style="position: relative; margin-top: 1em; border-bottom: 0.2em solid transparent">'
349
                    '<div style="position: relative; margin-top: 1em; border-bottom: 0.2em solid transparent">'
348
                  + '  <div class="bow" style="width: 8em; height: 1em">&nbsp;<\/div>'
350
                  + '  <div class="bow" style="width: 8em; height: 1em">&nbsp;<\/div>'
349
                  + '  <div class="bow" style="position: absolute; top: 0; left: 8.2em; width: 2em; height: 1em">&nbsp;<\/div>'
351
                  + '  <div class="bow" style="position: absolute; top: 0; left: 8.2em; width: 2em; height: 1em">&nbsp;<\/div>'
350
                  + '</div>'
352
                  + '</div>'
351
                  + '<a href="javascript:window.external.AddFavorite('
353
                  + '<a href="javascript:window.external.AddFavorite('
352
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
354
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
353
                  + ' class="button"'
355
                  + ' class="button"'
354
                  + ' onclick="window.external.AddFavorite('
356
                  + ' onclick="window.external.AddFavorite('
355
                  + ' sURL, sFavoriteTitle); return false"'
357
                  + ' sURL, sFavoriteTitle); return false"'
356
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
358
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
357
                  + ' onmouseout="return resetStatus()"'
359
                  + ' onmouseout="return resetStatus()"'
358
                  + '><span class="text">Favorit<\/span><\/a>');
360
                  + '><span class="text">Favorit<\/span><\/a>');
359
              }
361
              }
360
            </script>
362
            </script>
361
*/ ?>
363
*/ ?>
362
          </nav>
364
          </nav>
363
        </div>
365
        </div>
364
      </div>
366
      </div>
365
      <div id="connectors">
367
      <div id="connectors">
366
        <div class="bow top left">&nbsp;</div>
368
        <div class="bow top left">&nbsp;</div>
367
        <div class="bow top right">&nbsp;</div>
369
        <div class="bow top right">&nbsp;</div>
368
370
369
        <div class="bow mid left">&nbsp;</div>
371
        <div class="bow mid left">&nbsp;</div>
370
        <div class="bow mid right">&nbsp;</div>
372
        <div class="bow mid right">&nbsp;</div>
371
      </div>
373
      </div>
372
      <div class="multi-display">
374
      <div class="multi-display">
373
        <div class="upper">
375
        <div class="upper">
374
          <div class="content">
376
          <div class="content">
375
            <div class="title" id="title"><span>Home</span></div>
377
            <div class="title" id="title"><span>Home</span></div>
376
            <div class="analysis">
378
            <div class="analysis">
377
              <table>
379
              <table>
378
                <tr>
380
                <tr>
379
                  <th><?php echo tr('Display'); ?>:</th>
381
                  <th><?php echo tr('Display'); ?>:</th>
380
                  <td><script type="text/javascript">
382
                  <td><script type="text/javascript">
381
                    var _addEventListener = jsx.dom.addEventListener;
383
                    var _addEventListener = jsx.dom.addEventListener;
382
                    var _runAsync = jsx.dom.timeout.runAsync;
384
                    var _runAsync = jsx.dom.timeout.runAsync;
383
                    var ID_SCREEN_DIM = 'screenDim';
385
                    var ID_SCREEN_DIM = 'screenDim';
384
                    var ID_AVAIL_DIM = 'availDim';
386
                    var ID_AVAIL_DIM = 'availDim';
385
                    var ID_INNER_DIM = 'innerDim';
387
                    var ID_INNER_DIM = 'innerDim';
386
                    var TEXT_NOT_AVAILABLE = "<?php echo tr('N/A'); ?>";
388
                    var TEXT_NOT_AVAILABLE = "<?php echo tr('N/A'); ?>";
387
389
388
                    var dim = (function () {
390
                    var dim = (function () {
389
                      var screenInfo = jsx.dom.window.screenInfo;
391
                      var screenInfo = jsx.dom.window.screenInfo;
390
392
391
                      return {
393
                      return {
392
                        getScreenText: function () {
394
                        getScreenText: function () {
393
                          var screenDim = screenInfo.getDim();
395
                          var screenDim = screenInfo.getDim();
394
                          return screenDim.width + "×" + screenDim.height;
396
                          return screenDim.width + "×" + screenDim.height;
395
                        },
397
                        },
396
398
397
                        getAvailText: function () {
399
                        getAvailText: function () {
398
                          var availDim = screenInfo.getAvailDim();
400
                          var availDim = screenInfo.getAvailDim();
399
                          return availDim.width + "×" + availDim.height + " <?php echo tr('available'); ?>";
401
                          return availDim.width + "×" + availDim.height + " <?php echo tr('available'); ?>";
400
                        },
402
                        },
401
403
402
                        getInnerText: function () {
404
                        getInnerText: function () {
403
                          var innerDim = screenInfo.getInnerDim();
405
                          var innerDim = screenInfo.getInnerDim();
404
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo tr('used'); ?>";
406
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo tr('used'); ?>";
405
                        },
407
                        },
406
408
407
                        getColorDepthText: function () {
409
                        getColorDepthText: function () {
408
                          var colorDepth = screenInfo.getColorDepth();
410
                          var colorDepth = screenInfo.getColorDepth();
409
                          return colorDepth
411
                          return colorDepth
410
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo tr('colors'); ?>"
412
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo tr('colors'); ?>"
411
                            : "";
413
                            : "";
412
                        }
414
                        }
413
                      };
415
                      };
414
                    }());
416
                    }());
415
417
416
                    (function () {
418
                    (function () {
417
                      var screenDimText = dim.getScreenText();
419
                      var screenDimText = dim.getScreenText();
418
                      var availDimText = dim.getAvailText();
420
                      var availDimText = dim.getAvailText();
419
                      var innerDimText = dim.getInnerText();
421
                      var innerDimText = dim.getInnerText();
420
                      var colorDepthText = dim.getColorDepthText();
422
                      var colorDepthText = dim.getColorDepthText();
421
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
423
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
422
                        ?   (screenDimText ? '<span id="' + ID_SCREEN_DIM + '">' + screenDimText + '<\/span> <?php echo tr('pixels'); ?>' : "")
424
                        ?   (screenDimText ? '<span id="' + ID_SCREEN_DIM + '">' + screenDimText + '<\/span> <?php echo tr('pixels'); ?>' : "")
423
                          + (availDimText ? ' (<span id="' + ID_AVAIL_DIM + '">' + availDimText + "<\/span>" : "")
425
                          + (availDimText ? ' (<span id="' + ID_AVAIL_DIM + '">' + availDimText + "<\/span>" : "")
424
                          + (innerDimText ? '<span id="' + ID_INNER_DIM + '">' + innerDimText + "<\/span>)" : "")
426
                          + (innerDimText ? '<span id="' + ID_INNER_DIM + '">' + innerDimText + "<\/span>)" : "")
425
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
427
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
426
                        : TEXT_NOT_AVAILABLE;
428
                        : TEXT_NOT_AVAILABLE;
427
429
428
                      /* FIXME: Convert HTML to text, update whole title text */
430
                      /* FIXME: Convert HTML to text, update whole title text */
429
                      document.write('<span>' + displayInfo + '<\/span>');
431
                      document.write('<span>' + displayInfo + '<\/span>');
430
432
431
                      var oColorDepth;
433
                      var oColorDepth;
432
                      var tColor = _runAsync(function () {
434
                      var tColor = _runAsync(function () {
433
                        if (typeof oColorDepth == "undefined")
435
                        if (typeof oColorDepth == "undefined")
434
                        {
436
                        {
435
                          oColorDepth = document.getElementById("colorDepth");
437
                          oColorDepth = document.getElementById("colorDepth");
436
                        }
438
                        }
437
439
438
                        if (oColorDepth)
440
                        if (oColorDepth)
439
                        {
441
                        {
440
                          var colorDepthText = dim.getColorDepthText();
442
                          var colorDepthText = dim.getColorDepthText();
441
                          <?php /* FIXME: Also update title attribute value */ ?>
443
                          <?php /* FIXME: Also update title attribute value */ ?>
442
                          if (oColorDepth.innerHTML != colorDepthText)
444
                          if (oColorDepth.innerHTML != colorDepthText)
443
                          {
445
                          {
444
                            oColorDepth.innerHTML = colorDepthText;
446
                            oColorDepth.innerHTML = colorDepthText;
445
                          }
447
                          }
446
                        }
448
                        }
447
449
448
                        tColor = this.run();
450
                        tColor = this.run();
449
                      }, 1000);
451
                      }, 1000);
450
452
451
                      _addEventListener(document, "unload", function () {
453
                      _addEventListener(document, "unload", function () {
452
                        tColor.unset();
454
                        tColor.unset();
453
                        tColor = null;
455
                        tColor = null;
454
                      });
456
                      });
455
                    }());
457
                    }());
456
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
458
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
457
                </tr>
459
                </tr>
458
                <tr>
460
                <tr>
459
                  <th><?php echo tr('User Agent'); ?>:</th>
461
                  <th><?php echo tr('User Agent'); ?>:</th>
460
                  <td><script type="text/javascript">
462
                  <td><script type="text/javascript">
461
                    (function () {
463
                    (function () {
462
                      var ua = navigator.userAgent;
464
                      var ua = navigator.userAgent;
463
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
465
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
464
466
465
                      var oUA;
467
                      var oUA;
466
                      var tUA = _runAsync(function () {
468
                      var tUA = _runAsync(function () {
467
                        if (typeof oUA == "undefined")
469
                        if (typeof oUA == "undefined")
468
                        {
470
                        {
469
                          oUA = document.getElementById("ua");
471
                          oUA = document.getElementById("ua");
470
                        }
472
                        }
471
473
472
                        if (oUA)
474
                        if (oUA)
473
                        {
475
                        {
474
                          var ua = navigator.userAgent;
476
                          var ua = navigator.userAgent;
475
477
476
                          if (oUA.innerHTML != ua)
478
                          if (oUA.innerHTML != ua)
477
                          {
479
                          {
478
                            oUA.innerHTML = ua;
480
                            oUA.innerHTML = ua;
479
                          }
481
                          }
480
482
481
                          <?php /* Converts CREs */ ?>
483
                          <?php /* Converts CREs */ ?>
482
                          var oUAhtml = oUA.innerHTML
484
                          var oUAhtml = oUA.innerHTML
483
                          if (oUA.title != oUAhtml)
485
                          if (oUA.title != oUAhtml)
484
                          {
486
                          {
485
                            oUA.title = oUAhtml;
487
                            oUA.title = oUAhtml;
486
                          }
488
                          }
487
                        }
489
                        }
488
490
489
                        tUA = this.run();
491
                        tUA = this.run();
490
                      }, 1000);
492
                      }, 1000);
491
493
492
                      _addEventListener(document, "unload", function () {
494
                      _addEventListener(document, "unload", function () {
493
                        tUA.unset();
495
                        tUA.unset();
494
                        tUA = null;
496
                        tUA = null;
495
                      });
497
                      });
496
                    }());
498
                    }());
497
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
499
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
498
                </tr>
500
                </tr>
499
                <tr>
501
                <tr>
500
                  <th><?php echo tr('Features'); ?>:</th>
502
                  <th><?php echo tr('Features'); ?>:</th>
501
                  <td><script type="text/javascript">
503
                  <td><script type="text/javascript">
502
                    var fullscreen = jsx.dom.window.fullscreen;
504
                    var fullscreen = jsx.dom.window.fullscreen;
503
505
504
                    var map, circle;
-
 
505
-
 
506
                    function initGMap ()
-
 
507
                    {
-
 
508
                      var coords = jsx.dom.geolocation.position.coords;
-
 
509
                      //var title = document.getElementById("title");
-
 
510
                      //title.firstChild.textContent = [coords.latitude.toFixed(), "° ", coords.longitude, "° (", coords.accuracy, "\xA0m)"].join("");
-
 
511
                      var center = new google.maps.LatLng(coords.latitude, coords.longitude);
-
 
512
                      var zoom = 9;
-
 
513
-
 
514
                      var zoomAccuracy = [
-
 
515
                        1e7, 5e6, 2e6, 2e6, 1e6, 5e5, 2e5, 1e5, 5e4,
-
 
516
                        2e4, 1e4, 5e3, 2000, 2000, 1000, 500, 200,
-
 
517
                        100, 50, 20
-
 
518
                      ];
-
 
519
-
 
520
                      var accuracy = coords.accuracy;
-
 
521
                      if (!isNaN(accuracy))
-
 
522
                      {
-
 
523
                        for (var i = 0, len = zoomAccuracy.length; i < len; ++i)
-
 
524
                        {
-
 
525
                          if (accuracy > zoomAccuracy[i])
-
 
526
                          {
-
 
527
                            zoom = i;
-
 
528
                            break;
-
 
529
                          }
-
 
530
                        }
-
 
531
                      }
-
 
532
-
 
533
                      if (!map)
-
 
534
                      {
-
 
535
                        var mapOptions = {
-
 
536
                          center: center,
-
 
537
                          zoom: zoom,
-
 
538
                          mapTypeId: google.maps.MapTypeId.HYBRID,
-
 
539
                          backgroundColor: "#000",
-
 
540
                          noClear: true,
-
 
541
                          scaleControl: true
-
 
542
                        };
-
 
543
-
 
544
                        map = new google.maps.Map(document.getElementById("map-canvas"), mapOptions);
-
 
545
                      }
-
 
546
                      else
-
 
547
                      {
-
 
548
                        map.setCenter(center);
-
 
549
                        map.setZoom(zoom);
-
 
550
                      }
-
 
551
-
 
552
                      if (!circle)
-
 
553
                      {
-
 
554
                        if (!isNaN(coords.accuracy))
-
 
555
                        {
-
 
556
                          circle = new google.maps.Circle({
-
 
557
                            map: map,
-
 
558
                            center: center,
-
 
559
                            radius: coords.accuracy,
-
 
560
                            fillColor: "white",
-
 
561
                            fillOpacity: 0.125,
-
 
562
                            strokeColor: "white",
-
 
563
                            strokeOpacity: 0.5
-
 
564
                          });
-
 
565
                          circle.addListener("click", function () {
-
 
566
                            window.alert("<?php echo tr('Your current coordinates on Terra'); ?>\n\n"
-
 
567
                              + jsx.dom.geolocation.getText(jsx.dom.geolocation.position));
-
 
568
                          });
-
 
569
                        }
-
 
570
                      }
-
 
571
                      else
-
 
572
                      {
-
 
573
                        if (!isNaN(coords.accuracy))
-
 
574
                        {
-
 
575
                          circle.setCenter(center);
-
 
576
                          circle.setRadius(coords.accuracy);
-
 
577
                        }
-
 
578
                        else
-
 
579
                        {
-
 
580
                          circle.setMap(null);
-
 
581
                        }
-
 
582
                      }
-
 
583
-
 
584
                      /* Restore transition */
-
 
585
                      document.getElementById("content").style.transition = "";
-
 
586
                    }
-
 
587
-
 
588
                    jsx.dom.geolocation = {
506
                    jsx.dom.geolocation = {
589
                      getText: function (position) {
507
                      getText: function (position) {
590
                        var coords = position.coords;
508
                        var coords = position.coords;
591
                        var latitude = coords.latitude;
509
                        var latitude = coords.latitude;
592
                        var longitude = coords.longitude;
510
                        var longitude = coords.longitude;
593
                        var altitude = coords.altitude;
511
                        var altitude = coords.altitude;
594
                        var altitudeAccuracy = coords.altitudeAccuracy;
512
                        var altitudeAccuracy = coords.altitudeAccuracy;
595
                        var speed = coords.speed;
513
                        var speed = coords.speed;
596
                        var heading = coords.heading;
514
                        var heading = coords.heading;
597
515
598
                        return [
516
                        return [
599
                          "<?php echo tr('Latitude:'); ?> " + (latitude != null ? latitude + "°" : TEXT_NOT_AVAILABLE),
517
                          "<?php echo tr('Latitude:'); ?> " + (latitude != null ? latitude + "°" : TEXT_NOT_AVAILABLE),
600
                          "<?php echo tr('Longitude:'); ?> " + (longitude != null ? longitude + "°" : TEXT_NOT_AVAILABLE),
518
                          "<?php echo tr('Longitude:'); ?> " + (longitude != null ? longitude + "°" : TEXT_NOT_AVAILABLE),
601
                          "<?php echo tr('Lat/Lng Accuracy:'); ?> " + coords.accuracy + " m",
519
                          "<?php echo tr('Lat/Lng Accuracy:'); ?> " + coords.accuracy + " m",
602
                          "<?php echo tr('Altitude:'); ?> " + (altitude != null ? altitude + " m": TEXT_NOT_AVAILABLE),
520
                          "<?php echo tr('Altitude:'); ?> " + (altitude != null ? altitude + " m": TEXT_NOT_AVAILABLE),
603
                          "<?php echo tr('Alt. Accuracy:'); ?> " + (altitudeAccuracy != null ? altitudeAccuracy + " m": TEXT_NOT_AVAILABLE),
521
                          "<?php echo tr('Alt. Accuracy:'); ?> " + (altitudeAccuracy != null ? altitudeAccuracy + " m": TEXT_NOT_AVAILABLE),
604
                          "<?php echo tr('Speed:'); ?> " + (speed != null && !isNaN(speed) ? speed + " m∕s": TEXT_NOT_AVAILABLE),
522
                          "<?php echo tr('Speed:'); ?> " + (speed != null && !isNaN(speed) ? speed + " m∕s": TEXT_NOT_AVAILABLE),
605
                          "<?php echo tr('Heading:'); ?> " + (heading != null && !isNaN(heading) ? heading + "°" : TEXT_NOT_AVAILABLE)
523
                          "<?php echo tr('Heading:'); ?> " + (heading != null && !isNaN(heading) ? heading + "°" : TEXT_NOT_AVAILABLE)
606
                        ].join("\n");
524
                        ].join("\n");
607
                      },
525
                      },
608
-
 
609
                      show: function (position) {
-
 
610
                        this.position = position;
-
 
611
                        //document.getElementById("content").innerHTML = "<?php echo tr('Your current coordinates on Terra'); ?>\n\n" + this.getText(position);
-
 
612
                        var title = document.getElementById("title");
-
 
613
                        title.firstChild.textContent = "<?php echo tr('Geolocation'); ?>";
-
 
614
                        var content = document.getElementById("content");
-
 
615
-
 
616
                        if (!map)
-
 
617
                        {
-
 
618
                          /* Disable transition while map is loading */
-
 
619
                          content.style.transition = "none";
-
 
620
                          content.className = "fixed";
-
 
621
                          content.innerHTML =
-
 
622
                            // '<select><option>Google Maps</option><option>OpenStreetMap</option></select>'
-
 
623
                            '<div id="map-canvas" style="position: absolute; width: 100%; height: 100%"></div>';
-
 
624
                        }
-
 
625
-
 
626
                        var scriptId = "google-maps";
-
 
627
                        var script = document.getElementById(scriptId);
-
 
628
                        if (!script)
-
 
629
                        {
-
 
630
                          script = document.createElement("script");
-
 
631
                          script.id = scriptId;
-
 
632
                          script.type = "text/javascript";
-
 
633
                          script.src = "http://maps.googleapis.com/maps/api/js?key=AIzaSyCpW3bu57j4V7_vcK_cVpvFkXMmKkKgADI&sensor=true&callback=initGMap&language=<?php echo $language; ?>";
-
 
634
                          document.body.appendChild(script);
-
 
635
                        }
-
 
636
                        else
-
 
637
                        {
-
 
638
                          initGMap();
-
 
639
                        }
-
 
640
                      }
-
 
641
                    };
526
                    };
642
527
643
                    (function () {
528
                    (function () {
644
                      function getFeatures ()
529
                      function getFeatures ()
645
                      {
530
                      {
646
                        var features = [];
531
                        var features = [];
647
                        if (typeof document.cookie != "undefined")
532
                        if (typeof document.cookie != "undefined")
648
                        {
533
                        {
649
                          var cookiesText = "<?php echo tr('Cookies'); ?>"
534
                          var cookiesText = "<?php echo tr('Cookies'); ?>"
650
                          if (navigator.cookieEnabled)
535
                          if (navigator.cookieEnabled)
651
                          {
536
                          {
652
                            if (document.cookie)
537
                            if (document.cookie)
653
                            {
538
                            {
654
                              var cookies = document.cookie;
539
                              var cookies = document.cookie;
655
                              cookies = cookies.split(/\s*;\s*/);
540
                              cookies = cookies.split(/\s*;\s*/);
656
                              features.push('<a href="#" title="'
541
                              features.push('<a href="#" title="'
657
                                + cookies.join("&#13;&#10;")
542
                                + cookies.join("&#13;&#10;")
658
                                + '"'
543
                                + '"'
659
                                + ' onclick="window.alert(\'<?php echo tr('Cookies for'); ?> ' + document.domain + '\\n\\n' + cookies.join("\\n") + '\'); return false">' + cookiesText + '<\/a>');
544
                                + ' onclick="window.alert(\'<?php echo tr('Cookies for'); ?> ' + document.domain + '\\n\\n' + cookies.join("\\n") + '\'); return false">' + cookiesText + '<\/a>');
660
                            }
545
                            }
661
                            else
546
                            else
662
                            {
547
                            {
663
                              features.push('<span class="unavailable"'
548
                              features.push('<span class="unavailable"'
664
                                + ' title="<?php echo tr('Cookies supported, but no data for this site'); ?>"'
549
                                + ' title="<?php echo tr('Cookies supported, but no data for this site'); ?>"'
665
                                + '>' + cookiesText + '<\/span>');
550
                                + '>' + cookiesText + '<\/span>');
666
                            }
551
                            }
667
                          }
552
                          }
668
                          else
553
                          else
669
                          {
554
                          {
670
                            features.push('<span class="offline"'
555
                            features.push('<span class="offline"'
671
                              + ' title="<?php echo tr('Cookies supported, but disabled'); ?>"'
556
                              + ' title="<?php echo tr('Cookies supported, but disabled'); ?>"'
672
                              + '>' + cookiesText + '<\/span>');
557
                              + '>' + cookiesText + '<\/span>');
673
                          }
558
                          }
674
                        }
559
                        }
675
560
676
                        if (fullscreen.isSupportedBy(document.documentElement))
561
                        if (fullscreen.isSupportedBy(document.documentElement))
677
                        {
562
                        {
678
                          features.push("<?php echo tr('Fullscreen'); ?>");
563
                          features.push("<?php echo tr('Fullscreen'); ?>");
679
                        }
564
                        }
680
565
681
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
566
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
682
                        {
567
                        {
683
                          features.push("<?php echo tr('Gamepad'); ?>");
568
                          features.push("<?php echo tr('Gamepad'); ?>");
684
                        }
569
                        }
685
570
686
                        if (navigator.geolocation)
571
                        if (navigator.geolocation)
687
                        {
572
                        {
688
                          features.push('<a href="#" title="<?php echo tr('Get location'); ?>"'
573
                          features.push('<a href="#" title="<?php echo tr('Get location'); ?>"'
689
                            + ' onclick="navigator.geolocation.getCurrentPosition('
-
 
690
                            + 'function (position) { jsx.dom.geolocation.show(position); }); return false"'
574
                            + ' onclick="return lcars.multiDisplay.geolocate(\'<?php echo tr('Geolocation'); ?>\', \'<?php echo $language; ?>\')"'
691
                            + '><?php echo tr('Geolocation'); ?><\/a>');
575
                            + '><?php echo tr('Geolocation'); ?><\/a>');
692
                        }
576
                        }
693
577
694
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
578
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
695
                        {
579
                        {
696
                          features.push("Java");
580
                          features.push("Java");
697
                        }
581
                        }
698
582
699
                        var storage = jsx.dom.storage;
583
                        var storage = jsx.dom.storage;
700
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
584
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
701
585
702
                        if (navigator.plugins)
586
                        if (navigator.plugins)
703
                        {
587
                        {
704
                          if (navigator.plugins.length > 0)
588
                          if (navigator.plugins.length > 0)
705
                          {
589
                          {
706
                            features.push('<span title="'
590
                            features.push('<span title="'
707
                              + navigator.plugins.length
591
                              + navigator.plugins.length
708
                              + ' <?php echo tr('plugins installed'); ?>">Plugins<\/span>');
592
                              + ' <?php echo tr('plugins installed'); ?>">Plugins<\/span>');
709
                          }
593
                          }
710
                          else
594
                          else
711
                          {
595
                          {
712
                                features.push('<span class="unavailable"'
596
                                features.push('<span class="unavailable"'
713
                                + ' title="<?php echo tr('Plugins supported, but none detected'); ?>"'
597
                                + ' title="<?php echo tr('Plugins supported, but none detected'); ?>"'
714
                                + '>Plugins<\/span>');
598
                                + '>Plugins<\/span>');
715
                          }
599
                          }
716
                        }
600
                        }
717
601
718
                        if (storage.sessionStorage.isSupported())
602
                        if (storage.sessionStorage.isSupported())
719
                        {
603
                        {
720
                          features.push("Session Storage");
604
                          features.push("Session Storage");
721
                        }
605
                        }
722
606
723
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
607
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
724
                        return features.join(" &#8226; ");
608
                        return features.join(" &#8226; ");
725
                      }
609
                      }
726
610
727
                      function stripTags (s)
611
                      function stripTags (s)
728
                      {
612
                      {
729
                        return s.replace(/<[^>]+>/g, "");
613
                        return s.replace(/<[^>]+>/g, "");
730
                      }
614
                      }
731
615
732
                      var sFeatures = getFeatures();
616
                      var sFeatures = getFeatures();
733
                      document.write('<span id="features" title="' + stripTags(sFeatures) + '">' + sFeatures + '<\/span>');
617
                      document.write('<span id="features" title="' + stripTags(sFeatures) + '">' + sFeatures + '<\/span>');
734
618
735
                      var oFeatures;
619
                      var oFeatures;
736
                      var oFeaturesHtml;
620
                      var oFeaturesHtml;
737
                      var tFeatures = _runAsync(function () {
621
                      var tFeatures = _runAsync(function () {
738
                        if (typeof oFeatures == "undefined")
622
                        if (typeof oFeatures == "undefined")
739
                        {
623
                        {
740
                          oFeatures = document.getElementById("features");
624
                          oFeatures = document.getElementById("features");
741
                        }
625
                        }
742
626
743
                        if (oFeatures)
627
                        if (oFeatures)
744
                        {
628
                        {
745
                          var sNewFeatures = getFeatures();
629
                          var sNewFeatures = getFeatures();
746
630
747
                          if (!oFeaturesHtml)
631
                          if (!oFeaturesHtml)
748
                          {
632
                          {
749
                            oFeaturesHtml = document.createElement("span");
633
                            oFeaturesHtml = document.createElement("span");
750
                          }
634
                          }
751
635
752
                          if (oFeaturesHtml)
636
                          if (oFeaturesHtml)
753
                          {
637
                          {
754
                            oFeaturesHtml.innerHTML = sNewFeatures;
638
                            oFeaturesHtml.innerHTML = sNewFeatures;
755
                            sNewFeatures = oFeaturesHtml.innerHTML;
639
                            sNewFeatures = oFeaturesHtml.innerHTML;
756
                          }
640
                          }
757
641
758
                          if (oFeatures.innerHTML != sNewFeatures)
642
                          if (oFeatures.innerHTML != sNewFeatures)
759
                          {
643
                          {
760
                            oFeatures.innerHTML = sNewFeatures;
644
                            oFeatures.innerHTML = sNewFeatures;
761
                          }
645
                          }
762
646
763
                          /* Converts CREs */
647
                          /* Converts CREs */
764
                          var newTitle = stripTags(oFeatures.innerHTML)
648
                          var newTitle = stripTags(oFeatures.innerHTML)
765
                          if (oFeatures.title != newTitle)
649
                          if (oFeatures.title != newTitle)
766
                          {
650
                          {
767
                            oFeatures.title = newTitle;
651
                            oFeatures.title = newTitle;
768
                          }
652
                          }
769
                        }
653
                        }
770
654
771
                        tFeatures = this.run();
655
                        tFeatures = this.run();
772
                      }, 1000);
656
                      }, 1000);
773
                    }());
657
                    }());
774
658
775
                    _addEventListener(document, "unload", function () {
659
                    _addEventListener(document, "unload", function () {
776
                      tFeatures.unset();
660
                      tFeatures.unset();
777
                      tFeatures = null;
661
                      tFeatures = null;
778
                    });
662
                    });
779
663
780
                    var windowText = "<?php echo tr("Window"); ?>";
664
                    var windowText = "<?php echo tr("Window"); ?>";
781
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
665
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
782
                </tr>
666
                </tr>
783
              </table>
667
              </table>
784
            </div>
668
            </div>
785
            <ul class="commands">
669
            <ul class="commands">
786
              <li id="cmd1"><a href="index.php"
670
              <li id="cmd1"><a href="index.php"
787
                title="Language selection"
671
                title="Language selection"
788
                tabindex="1"
672
                tabindex="1"
789
                class="button left right"
673
                class="button left right"
790
                onmouseover="return setStatus(this.title + ': ' + this.href)"
674
                onmouseover="return setStatus(this.title + ': ' + this.href)"
791
                onmouseout="return resetStatus()"
675
                onmouseout="return resetStatus()"
792
                onfocus="return this.onmouseover()"
676
                onfocus="return this.onmouseover()"
793
                onblur="return this.onmouseout()"
677
                onblur="return this.onmouseout()"
794
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
678
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
795
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
679
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
796
                title="<?php echo tr('Printable version'); ?>"
680
                title="<?php echo tr('Printable version'); ?>"
797
                tabindex="1"
681
                tabindex="1"
798
                class="button left right"
682
                class="button left right"
799
                onmouseover="return setStatus(this.title + ': ' + this.href)"
683
                onmouseover="return setStatus(this.title + ': ' + this.href)"
800
                onmouseout="return resetStatus()"
684
                onmouseout="return resetStatus()"
801
                onfocus="return this.onmouseover()"
685
                onfocus="return this.onmouseover()"
802
                onblur="return this.onmouseout()"
686
                onblur="return this.onmouseout()"
803
                ><span class="text"><?php echo tr("Printable"); ?></span></a></li>
687
                ><span class="text"><?php echo tr("Printable"); ?></span></a></li>
804
              <li id="cmd3"><div class="button left right"
688
              <li id="cmd3"><div class="button left right"
805
                   style="cursor: not-allowed !important"
689
                   style="cursor: not-allowed !important"
806
                   onclick="fullscreen.requestOn(document.documentElement, this)"
690
                   onclick="fullscreen.requestOn(document.documentElement, this)"
807
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
691
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
808
                   ><span class="text"><script type="text/javascript">
692
                   ><span class="text"><script type="text/javascript">
809
                     var cmd3;
693
                     var cmd3;
810
                     if (fullscreen.isSupportedBy(document.documentElement))
694
                     if (fullscreen.isSupportedBy(document.documentElement))
811
                     {
695
                     {
812
                       _addEventListener(window, "load", function () {
696
                       _addEventListener(window, "load", function () {
813
                         if (typeof cmd3 == "undefined")
697
                         if (typeof cmd3 == "undefined")
814
                         {
698
                         {
815
                           cmd3 = jsx.dom.getElementById("cmd3");
699
                           cmd3 = jsx.dom.getElementById("cmd3");
816
                         }
700
                         }
817
701
818
                         if (cmd3)
702
                         if (cmd3)
819
                         {
703
                         {
820
                           cmd3.firstChild.tabIndex = "1";
704
                           cmd3.firstChild.tabIndex = "1";
821
                         }
705
                         }
822
                       });
706
                       });
823
707
824
                       var fullscreenText = "<?php echo tr("Fullscreen"); ?>";
708
                       var fullscreenText = "<?php echo tr("Fullscreen"); ?>";
825
                       document.write(fullscreenText);
709
                       document.write(fullscreenText);
826
                     }
710
                     }
827
711
828
                     var oScreenDim;
712
                     var oScreenDim;
829
                     var oAvailDim;
713
                     var oAvailDim;
830
                     var oInnerDim;
714
                     var oInnerDim;
831
                     var _gEBI = jsx.dom.getElementById;
715
                     var _gEBI = jsx.dom.getElementById;
832
                     var previousIsFullscreen;
716
                     var previousIsFullscreen;
833
                     var oldHandler;
717
                     var oldHandler;
834
718
835
                     _addEventListener(window, "resize", function () {
719
                     _addEventListener(window, "resize", function () {
836
                       <?php /* FIXME: Also update title attribute value */ ?>
720
                       <?php /* FIXME: Also update title attribute value */ ?>
837
                       if (typeof oScreenDim == "undefined") oScreenDim = _gEBI(ID_SCREEN_DIM);
721
                       if (typeof oScreenDim == "undefined") oScreenDim = _gEBI(ID_SCREEN_DIM);
838
                       if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
722
                       if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
839
723
840
                       if (typeof oAvailDim == "undefined") oAvailDim = _gEBI(ID_AVAIL_DIM);
724
                       if (typeof oAvailDim == "undefined") oAvailDim = _gEBI(ID_AVAIL_DIM);
841
                       if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
725
                       if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
842
726
843
                       if (typeof oInnerDim == "undefined") oInnerDim = _gEBI(ID_INNER_DIM);
727
                       if (typeof oInnerDim == "undefined") oInnerDim = _gEBI(ID_INNER_DIM);
844
                       if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
728
                       if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
845
729
846
                       if (fullscreen.isSupportedBy(document.documentElement))
730
                       if (fullscreen.isSupportedBy(document.documentElement))
847
                       {
731
                       {
848
                         var nowIsFullscreen = fullscreen.isFullscreen();
732
                         var nowIsFullscreen = fullscreen.isFullscreen();
849
                         if (nowIsFullscreen != previousIsFullscreen)
733
                         if (nowIsFullscreen != previousIsFullscreen)
850
                         {
734
                         {
851
                           if (typeof cmd3 == "undefined")
735
                           if (typeof cmd3 == "undefined")
852
                           {
736
                           {
853
                             cmd3 = document.getElementById("cmd3");
737
                             cmd3 = document.getElementById("cmd3");
854
                           }
738
                           }
855
739
856
                           var target = cmd3.firstChild;
740
                           var target = cmd3.firstChild;
857
                           var textTarget = target.firstChild;
741
                           var textTarget = target.firstChild;
858
                           if (nowIsFullscreen)
742
                           if (nowIsFullscreen)
859
                           {
743
                           {
860
                             oldHandler = target.onclick;
744
                             oldHandler = target.onclick;
861
                             target.onclick = function () {
745
                             target.onclick = function () {
862
                               fullscreen.cancel();
746
                               fullscreen.cancel();
863
                             };
747
                             };
864
                             textTarget.textContent = "<?php echo tr("Window"); ?>";
748
                             textTarget.textContent = "<?php echo tr("Window"); ?>";
865
                           }
749
                           }
866
                           else
750
                           else
867
                           {
751
                           {
868
                             target.onclick = oldHandler;
752
                             target.onclick = oldHandler;
869
                             textTarget.textContent = fullscreenText;
753
                             textTarget.textContent = fullscreenText;
870
                           }
754
                           }
871
755
872
                           previousIsFullscreen = nowIsFullscreen;
756
                           previousIsFullscreen = nowIsFullscreen;
873
                         }
757
                         }
874
                       }
758
                       }
875
                     });
759
                     });
876
                   </script></span></div></li>
760
                   </script></span></div></li>
877
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
761
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
878
            </ul>
762
            </ul>
879
          </div>
763
          </div>
880
          <div class="elbo-button">
764
          <div class="elbo-button">
881
            <span class="text" title="<?php echo tr("Date of last modification"); ?>"
765
            <span class="text" title="<?php echo tr("Date of last modification"); ?>"
882
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
766
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
883
          </div>
767
          </div>
884
          <div class="elbo">
768
          <div class="elbo">
885
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
769
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
886
            <div class="concave">&nbsp;</div>
770
            <div class="concave">&nbsp;</div>
887
          </div>
771
          </div>
888
          <div class="border">
772
          <div class="border">
889
            <div class="left">&nbsp;</div>
773
            <div class="left">&nbsp;</div>
890
            <div class="right">&nbsp;</div>
774
            <div class="right">&nbsp;</div>
891
          </div>
775
          </div>
892
        </div>
776
        </div>
893
        <div class="lower">
777
        <div class="lower">
894
          <div class="elbo">
778
          <div class="elbo">
895
            <div class="concave">&nbsp;</div>
779
            <div class="concave">&nbsp;</div>
896
          </div>
780
          </div>
897
          <div class="bg">&nbsp;</div>
781
          <div class="bg">&nbsp;</div>
898
          <div class="border-container">
782
          <div class="border-container">
899
            <div class="border">
783
            <div class="border">
900
              <div class="left">&nbsp;</div>
784
              <div class="left">&nbsp;</div>
901
              <div class="right">&nbsp;</div>
785
              <div class="right">&nbsp;</div>
902
            </div>
786
            </div>
903
          </div>
787
          </div>
904
        </div>
788
        </div>
905
      </div>
789
      </div>
906
    </div>
790
    </div>
907
  </body>
791
  </body>
908
</html>
792
</html>