Subversion Repositories LCARS

Rev

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

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

188

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

204

205
        <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>
206
        <a class="button" style="display: block; 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>
207
        <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>
208
        <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>
209

209

210
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
210
        <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>
211
        <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>
212
        <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>
213
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
214

214

215
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
215
        <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>
216
        <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>
217
        <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>
218
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
219

219

220
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
220
        <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>
221
        <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>
222
        <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>
223
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
224

224

225
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
225
        <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>
226
        <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>
227
        <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>
228
        <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>
229
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
230

230

231
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
231
        <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>
232
        <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>
233
        <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>
234
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
235

235

236
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
236
        <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>
237
        <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>
238
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
239

239

240
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
240
        <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>
241
        <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>
242
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
243

243

244
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
244
        <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>
245
        <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>
246
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
247

247

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

343

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