Subversion Repositories LCARS

Rev

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

Rev 175 Rev 178
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/window<?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"><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;
-
 
505
-
 
506
                    function initGMap ()
-
 
507
                    {
-
 
508
                      var coords = jsx.dom.geolocation.position.coords;
-
 
509
                      //var title = document.getElementById("title");
-
 
510
                      //title.firstChild.textContent = [coords.latitude.toFixed(), "° ", coords.longitude, "° (", coords.accuracy, "\xA0m)"].join("");
-
 
511
                      var center = new google.maps.LatLng(coords.latitude, coords.longitude);
-
 
512
                      var zoom = 9;
-
 
513
-
 
514
                      var zoomAccuracy = [
-
 
515
                        1e7, 5e6, 2e6, 2e6, 1e6, 5e5, 2e5, 1e5, 5e4,
-
 
516
                        2e4, 1e4, 5e3, 2000, 2000, 1000, 500, 200,
-
 
517
                        100, 50, 20
-
 
518
                      ];
-
 
519
-
 
520
                      var accuracy = coords.accuracy;
-
 
521
                      if (!isNaN(accuracy))
-
 
522
                      {
-
 
523
                        for (var i = 0, len = zoomAccuracy.length; i < len; ++i)
-
 
524
                        {
-
 
525
                          if (accuracy > zoomAccuracy[i])
-
 
526
                          {
-
 
527
                            zoom = i;
-
 
528
                            break;
-
 
529
                          }
-
 
530
                        }
-
 
531
                      }
-
 
532
-
 
533
                      if (!map)
-
 
534
                      {
-
 
535
                        var mapOptions = {
-
 
536
                          center: center,
-
 
537
                          zoom: zoom,
-
 
538
                          mapTypeId: google.maps.MapTypeId.HYBRID,
-
 
539
                          backgroundColor: "#000",
-
 
540
                          noClear: true,
-
 
541
                          scaleControl: true
-
 
542
                        };
-
 
543
-
 
544
                        map = new google.maps.Map(document.getElementById("map-canvas"), mapOptions);
-
 
545
                      }
-
 
546
                      else
-
 
547
                      {
-
 
548
                        map.setCenter(center);
-
 
549
                        map.setZoom(zoom);
-
 
550
                      }
-
 
551
-
 
552
                      if (!circle)
-
 
553
                      {
-
 
554
                        if (!isNaN(coords.accuracy))
-
 
555
                        {
-
 
556
                          circle = new google.maps.Circle({
-
 
557
                            map: map,
-
 
558
                            center: center,
-
 
559
                            radius: coords.accuracy,
-
 
560
                            fillColor: "white",
-
 
561
                            fillOpacity: 0.125,
-
 
562
                            strokeColor: "white",
-
 
563
                            strokeOpacity: 0.5
-
 
564
                          });
-
 
565
                        }
-
 
566
                      }
-
 
567
                      else
-
 
568
                      {
-
 
569
                        if (!isNaN(coords.accuracy))
-
 
570
                        {
-
 
571
                          circle.setCenter(center);
-
 
572
                          circle.setRadius(coords.accuracy);
-
 
573
                        }
-
 
574
                        else
-
 
575
                        {
-
 
576
                          circle.setMap(null);
-
 
577
                        }
-
 
578
                      }
-
 
579
-
 
580
                      /* Restore transition */
-
 
581
                      document.getElementById("content").style.transition = "";
-
 
582
                    }
-
 
583
504
                    jsx.dom.geolocation = {
584
                    jsx.dom.geolocation = {
505
                      getText: function (position) {
585
                      getText: function (position) {
506
                        var coords = position.coords;
586
                        var coords = position.coords;
507
                        var latitude = coords.latitude;
587
                        var latitude = coords.latitude;
508
                        var longitude = coords.longitude;
588
                        var longitude = coords.longitude;
509
                        var altitude = coords.altitude;
589
                        var altitude = coords.altitude;
510
                        var altitudeAccuracy = coords.altitudeAccuracy;
590
                        var altitudeAccuracy = coords.altitudeAccuracy;
511
                        var speed = coords.speed;
591
                        var speed = coords.speed;
512
                        var heading = coords.heading;
592
                        var heading = coords.heading;
513
593
514
                        return [
594
                        return [
515
                          "<?php echo tr('Latitude:'); ?> " + (latitude != null ? latitude + "°" : TEXT_NOT_AVAILABLE),
595
                          "<?php echo tr('Latitude:'); ?> " + (latitude != null ? latitude + "°" : TEXT_NOT_AVAILABLE),
516
                          "<?php echo tr('Longitude:'); ?> " + (longitude != null ? longitude + "°" : TEXT_NOT_AVAILABLE),
596
                          "<?php echo tr('Longitude:'); ?> " + (longitude != null ? longitude + "°" : TEXT_NOT_AVAILABLE),
517
                          "<?php echo tr('Lat/Lng Accuracy:'); ?> " + coords.accuracy + " m",
597
                          "<?php echo tr('Lat/Lng Accuracy:'); ?> " + coords.accuracy + " m",
518
                          "<?php echo tr('Altitude:'); ?> " + (altitude != null ? altitude + " m": TEXT_NOT_AVAILABLE),
598
                          "<?php echo tr('Altitude:'); ?> " + (altitude != null ? altitude + " m": TEXT_NOT_AVAILABLE),
519
                          "<?php echo tr('Alt. Accuracy:'); ?> " + (altitudeAccuracy != null ? altitudeAccuracy + " m": TEXT_NOT_AVAILABLE),
599
                          "<?php echo tr('Alt. Accuracy:'); ?> " + (altitudeAccuracy != null ? altitudeAccuracy + " m": TEXT_NOT_AVAILABLE),
520
                          "<?php echo tr('Speed:'); ?> " + (speed != null && !isNaN(speed) ? speed + " m∕s": TEXT_NOT_AVAILABLE),
600
                          "<?php echo tr('Speed:'); ?> " + (speed != null && !isNaN(speed) ? speed + " m∕s": TEXT_NOT_AVAILABLE),
521
                          "<?php echo tr('Heading:'); ?> " + (heading != null && !isNaN(heading) ? heading + "°" : TEXT_NOT_AVAILABLE)
601
                          "<?php echo tr('Heading:'); ?> " + (heading != null && !isNaN(heading) ? heading + "°" : TEXT_NOT_AVAILABLE)
522
                        ].join("\n");
602
                        ].join("\n");
523
                      },
603
                      },
524
604
525
                      show: function (position) {
605
                      show: function (position) {
-
 
606
                        this.position = position;
526
                        window.alert("<?php echo tr('Your current coordinates on Terra'); ?>\n\n" + this.getText(position));
607
                        //document.getElementById("content").innerHTML = "<?php echo tr('Your current coordinates on Terra'); ?>\n\n" + this.getText(position);
-
 
608
                        var title = document.getElementById("title");
-
 
609
                        title.firstChild.textContent = "<?php echo tr('Geolocation'); ?>";
-
 
610
                        var content = document.getElementById("content");
-
 
611
-
 
612
                        if (!map)
-
 
613
                        {
-
 
614
                          /* Disable transition while map is loading */
-
 
615
                          content.style.transition = "none";
-
 
616
                          content.className = "fixed";
-
 
617
                          content.innerHTML =
-
 
618
                            // '<select><option>Google Maps</option><option>OpenStreetMap</option></select>'
-
 
619
                            '<div id="map-canvas" style="position: absolute; width: 100%; height: 100%"></div>';
-
 
620
                        }
-
 
621
-
 
622
                        var scriptId = "google-maps";
-
 
623
                        var script = document.getElementById(scriptId);
-
 
624
                        if (!script)
-
 
625
                        {
-
 
626
                          script = document.createElement("script");
-
 
627
                          script.id = scriptId;
-
 
628
                          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; ?>";
-
 
630
                          document.body.appendChild(script);
-
 
631
                        }
-
 
632
                        else
-
 
633
                        {
-
 
634
                          initGMap();
-
 
635
                        }
527
                      }
636
                      }
528
                    };
637
                    };
529
638
530
                    (function () {
639
                    (function () {
531
                      function getFeatures ()
640
                      function getFeatures ()
532
                      {
641
                      {
533
                        var features = [];
642
                        var features = [];
534
                        if (typeof document.cookie != "undefined")
643
                        if (typeof document.cookie != "undefined")
535
                        {
644
                        {
536
                          var cookiesText = "<?php echo tr('Cookies'); ?>"
645
                          var cookiesText = "<?php echo tr('Cookies'); ?>"
537
                          if (navigator.cookieEnabled)
646
                          if (navigator.cookieEnabled)
538
                          {
647
                          {
539
                            if (document.cookie)
648
                            if (document.cookie)
540
                            {
649
                            {
541
                              var cookies = document.cookie;
650
                              var cookies = document.cookie;
542
                              cookies = cookies.split(/\s*;\s*/);
651
                              cookies = cookies.split(/\s*;\s*/);
543
                              features.push('<a href="#" title="'
652
                              features.push('<a href="#" title="'
544
                                + cookies.join("&#13;&#10;")
653
                                + cookies.join("&#13;&#10;")
545
                                + '"'
654
                                + '"'
546
                                + ' onclick="window.alert(\'<?php echo tr('Cookies for'); ?> ' + document.domain + '\\n\\n' + cookies.join("\\n") + '\'); return false">' + cookiesText + '<\/a>');
655
                                + ' onclick="window.alert(\'<?php echo tr('Cookies for'); ?> ' + document.domain + '\\n\\n' + cookies.join("\\n") + '\'); return false">' + cookiesText + '<\/a>');
547
                            }
656
                            }
548
                            else
657
                            else
549
                            {
658
                            {
550
                              features.push('<span class="unavailable"'
659
                              features.push('<span class="unavailable"'
551
                                + ' title="<?php echo tr('Cookies supported, but no data for this site'); ?>"'
660
                                + ' title="<?php echo tr('Cookies supported, but no data for this site'); ?>"'
552
                                + '>' + cookiesText + '<\/span>');
661
                                + '>' + cookiesText + '<\/span>');
553
                            }
662
                            }
554
                          }
663
                          }
555
                          else
664
                          else
556
                          {
665
                          {
557
                            features.push('<span class="offline"'
666
                            features.push('<span class="offline"'
558
                              + ' title="<?php echo tr('Cookies supported, but disabled'); ?>"'
667
                              + ' title="<?php echo tr('Cookies supported, but disabled'); ?>"'
559
                              + '>' + cookiesText + '<\/span>');
668
                              + '>' + cookiesText + '<\/span>');
560
                          }
669
                          }
561
                        }
670
                        }
562
671
563
                        if (fullscreen.isSupportedBy(document.documentElement))
672
                        if (fullscreen.isSupportedBy(document.documentElement))
564
                        {
673
                        {
565
                          features.push("<?php echo tr('Fullscreen'); ?>");
674
                          features.push("<?php echo tr('Fullscreen'); ?>");
566
                        }
675
                        }
567
676
568
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
677
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
569
                        {
678
                        {
570
                          features.push("<?php echo tr('Gamepad'); ?>");
679
                          features.push("<?php echo tr('Gamepad'); ?>");
571
                        }
680
                        }
572
681
573
                        if (navigator.geolocation)
682
                        if (navigator.geolocation)
574
                        {
683
                        {
575
                          features.push('<a href="#" title="<?php echo tr('Get location'); ?>"'
684
                          features.push('<a href="#" title="<?php echo tr('Get location'); ?>"'
576
                            + ' onclick="navigator.geolocation.getCurrentPosition('
685
                            + ' onclick="navigator.geolocation.getCurrentPosition('
577
                            + 'function (position) { jsx.dom.geolocation.show(position); }); return false"'
686
                            + 'function (position) { jsx.dom.geolocation.show(position); }); return false"'
578
                            + '><?php echo tr('Geolocation'); ?><\/a>');
687
                            + '><?php echo tr('Geolocation'); ?><\/a>');
579
                        }
688
                        }
580
689
581
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
690
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
582
                        {
691
                        {
583
                          features.push("Java");
692
                          features.push("Java");
584
                        }
693
                        }
585
694
586
                        var storage = jsx.dom.storage;
695
                        var storage = jsx.dom.storage;
587
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
696
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
588
697
589
                        if (navigator.plugins)
698
                        if (navigator.plugins)
590
                        {
699
                        {
591
                          if (navigator.plugins.length > 0)
700
                          if (navigator.plugins.length > 0)
592
                          {
701
                          {
593
                            features.push('<span title="'
702
                            features.push('<span title="'
594
                              + navigator.plugins.length
703
                              + navigator.plugins.length
595
                              + ' <?php echo tr('plugins installed'); ?>">Plugins<\/span>');
704
                              + ' <?php echo tr('plugins installed'); ?>">Plugins<\/span>');
596
                          }
705
                          }
597
                          else
706
                          else
598
                          {
707
                          {
599
                                features.push('<span class="unavailable"'
708
                                features.push('<span class="unavailable"'
600
                                + ' title="<?php echo tr('Plugins supported, but none detected'); ?>"'
709
                                + ' title="<?php echo tr('Plugins supported, but none detected'); ?>"'
601
                                + '>Plugins<\/span>');
710
                                + '>Plugins<\/span>');
602
                          }
711
                          }
603
                        }
712
                        }
604
713
605
                        if (storage.sessionStorage.isSupported())
714
                        if (storage.sessionStorage.isSupported())
606
                        {
715
                        {
607
                          features.push("Session Storage");
716
                          features.push("Session Storage");
608
                        }
717
                        }
609
718
610
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
719
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
611
                        return features.join(" &#8226; ");
720
                        return features.join(" &#8226; ");
612
                      }
721
                      }
613
722
614
                      function stripTags (s)
723
                      function stripTags (s)
615
                      {
724
                      {
616
                        return s.replace(/<[^>]+>/g, "");
725
                        return s.replace(/<[^>]+>/g, "");
617
                      }
726
                      }
618
727
619
                      var sFeatures = getFeatures();
728
                      var sFeatures = getFeatures();
620
                      document.write('<span id="features" title="' + stripTags(sFeatures) + '">' + sFeatures + '<\/span>');
729
                      document.write('<span id="features" title="' + stripTags(sFeatures) + '">' + sFeatures + '<\/span>');
621
730
622
                      var oFeatures;
731
                      var oFeatures;
623
                      var oFeaturesHtml;
732
                      var oFeaturesHtml;
624
                      var tFeatures = _runAsync(function () {
733
                      var tFeatures = _runAsync(function () {
625
                        if (typeof oFeatures == "undefined")
734
                        if (typeof oFeatures == "undefined")
626
                        {
735
                        {
627
                          oFeatures = document.getElementById("features");
736
                          oFeatures = document.getElementById("features");
628
                        }
737
                        }
629
738
630
                        if (oFeatures)
739
                        if (oFeatures)
631
                        {
740
                        {
632
                          var sNewFeatures = getFeatures();
741
                          var sNewFeatures = getFeatures();
633
742
634
                          if (!oFeaturesHtml)
743
                          if (!oFeaturesHtml)
635
                          {
744
                          {
636
                            oFeaturesHtml = document.createElement("span");
745
                            oFeaturesHtml = document.createElement("span");
637
                          }
746
                          }
638
747
639
                          if (oFeaturesHtml)
748
                          if (oFeaturesHtml)
640
                          {
749
                          {
641
                            oFeaturesHtml.innerHTML = sNewFeatures;
750
                            oFeaturesHtml.innerHTML = sNewFeatures;
642
                            sNewFeatures = oFeaturesHtml.innerHTML;
751
                            sNewFeatures = oFeaturesHtml.innerHTML;
643
                          }
752
                          }
644
753
645
                          if (oFeatures.innerHTML != sNewFeatures)
754
                          if (oFeatures.innerHTML != sNewFeatures)
646
                          {
755
                          {
647
                            oFeatures.innerHTML = sNewFeatures;
756
                            oFeatures.innerHTML = sNewFeatures;
648
                          }
757
                          }
649
758
650
                          /* Converts CREs */
759
                          /* Converts CREs */
651
                          var newTitle = stripTags(oFeatures.innerHTML)
760
                          var newTitle = stripTags(oFeatures.innerHTML)
652
                          if (oFeatures.title != newTitle)
761
                          if (oFeatures.title != newTitle)
653
                          {
762
                          {
654
                            oFeatures.title = newTitle;
763
                            oFeatures.title = newTitle;
655
                          }
764
                          }
656
                        }
765
                        }
657
766
658
                        tFeatures = this.run();
767
                        tFeatures = this.run();
659
                      }, 1000);
768
                      }, 1000);
660
                    }());
769
                    }());
661
770
662
                    _addEventListener(document, "unload", function () {
771
                    _addEventListener(document, "unload", function () {
663
                      tFeatures.unset();
772
                      tFeatures.unset();
664
                      tFeatures = null;
773
                      tFeatures = null;
665
                    });
774
                    });
666
775
667
                    var windowText = "<?php echo tr("Window"); ?>";
776
                    var windowText = "<?php echo tr("Window"); ?>";
668
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
777
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
669
                </tr>
778
                </tr>
670
              </table>
779
              </table>
671
            </div>
780
            </div>
672
            <ul class="commands">
781
            <ul class="commands">
673
              <li id="cmd1"><a href="index.php"
782
              <li id="cmd1"><a href="index.php"
674
                title="Language selection"
783
                title="Language selection"
675
                tabindex="1"
784
                tabindex="1"
676
                class="button left right"
785
                class="button left right"
677
                onmouseover="return setStatus(this.title + ': ' + this.href)"
786
                onmouseover="return setStatus(this.title + ': ' + this.href)"
678
                onmouseout="return resetStatus()"
787
                onmouseout="return resetStatus()"
679
                onfocus="return this.onmouseover()"
788
                onfocus="return this.onmouseover()"
680
                onblur="return this.onmouseout()"
789
                onblur="return this.onmouseout()"
681
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
790
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
682
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
791
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
683
                title="<?php echo tr('Printable version'); ?>"
792
                title="<?php echo tr('Printable version'); ?>"
684
                tabindex="1"
793
                tabindex="1"
685
                class="button left right"
794
                class="button left right"
686
                onmouseover="return setStatus(this.title + ': ' + this.href)"
795
                onmouseover="return setStatus(this.title + ': ' + this.href)"
687
                onmouseout="return resetStatus()"
796
                onmouseout="return resetStatus()"
688
                onfocus="return this.onmouseover()"
797
                onfocus="return this.onmouseover()"
689
                onblur="return this.onmouseout()"
798
                onblur="return this.onmouseout()"
690
                ><span class="text"><?php echo tr("Printable"); ?></span></a></li>
799
                ><span class="text"><?php echo tr("Printable"); ?></span></a></li>
691
              <li id="cmd3"><div class="button left right"
800
              <li id="cmd3"><div class="button left right"
692
                   style="cursor: not-allowed !important"
801
                   style="cursor: not-allowed !important"
693
                   onclick="fullscreen.requestOn(document.documentElement, this)"
802
                   onclick="fullscreen.requestOn(document.documentElement, this)"
694
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
803
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
695
                   ><span class="text"><script type="text/javascript">
804
                   ><span class="text"><script type="text/javascript">
696
                     var cmd3;
805
                     var cmd3;
697
                     if (fullscreen.isSupportedBy(document.documentElement))
806
                     if (fullscreen.isSupportedBy(document.documentElement))
698
                     {
807
                     {
699
                       _addEventListener(window, "load", function () {
808
                       _addEventListener(window, "load", function () {
700
                         if (typeof cmd3 == "undefined")
809
                         if (typeof cmd3 == "undefined")
701
                         {
810
                         {
702
                           cmd3 = jsx.dom.getElementById("cmd3");
811
                           cmd3 = jsx.dom.getElementById("cmd3");
703
                         }
812
                         }
704
813
705
                         if (cmd3)
814
                         if (cmd3)
706
                         {
815
                         {
707
                           cmd3.firstChild.tabIndex = "1";
816
                           cmd3.firstChild.tabIndex = "1";
708
                         }
817
                         }
709
                       });
818
                       });
710
819
711
                       var fullscreenText = "<?php echo tr("Fullscreen"); ?>";
820
                       var fullscreenText = "<?php echo tr("Fullscreen"); ?>";
712
                       document.write(fullscreenText);
821
                       document.write(fullscreenText);
713
                     }
822
                     }
714
823
715
                     var oScreenDim;
824
                     var oScreenDim;
716
                     var oAvailDim;
825
                     var oAvailDim;
717
                     var oInnerDim;
826
                     var oInnerDim;
718
                     var _gEBI = jsx.dom.getElementById;
827
                     var _gEBI = jsx.dom.getElementById;
719
                     var previousIsFullscreen;
828
                     var previousIsFullscreen;
720
                     var oldHandler;
829
                     var oldHandler;
721
830
722
                     _addEventListener(window, "resize", function () {
831
                     _addEventListener(window, "resize", function () {
723
                       <?php /* FIXME: Also update title attribute value */ ?>
832
                       <?php /* FIXME: Also update title attribute value */ ?>
724
                       if (typeof oScreenDim == "undefined") oScreenDim = _gEBI(ID_SCREEN_DIM);
833
                       if (typeof oScreenDim == "undefined") oScreenDim = _gEBI(ID_SCREEN_DIM);
725
                       if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
834
                       if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
726
835
727
                       if (typeof oAvailDim == "undefined") oAvailDim = _gEBI(ID_AVAIL_DIM);
836
                       if (typeof oAvailDim == "undefined") oAvailDim = _gEBI(ID_AVAIL_DIM);
728
                       if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
837
                       if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
729
838
730
                       if (typeof oInnerDim == "undefined") oInnerDim = _gEBI(ID_INNER_DIM);
839
                       if (typeof oInnerDim == "undefined") oInnerDim = _gEBI(ID_INNER_DIM);
731
                       if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
840
                       if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
732
841
733
                       if (fullscreen.isSupportedBy(document.documentElement))
842
                       if (fullscreen.isSupportedBy(document.documentElement))
734
                       {
843
                       {
735
                         var nowIsFullscreen = fullscreen.isFullscreen();
844
                         var nowIsFullscreen = fullscreen.isFullscreen();
736
                         if (nowIsFullscreen != previousIsFullscreen)
845
                         if (nowIsFullscreen != previousIsFullscreen)
737
                         {
846
                         {
738
                           if (typeof cmd3 == "undefined")
847
                           if (typeof cmd3 == "undefined")
739
                           {
848
                           {
740
                             cmd3 = document.getElementById("cmd3");
849
                             cmd3 = document.getElementById("cmd3");
741
                           }
850
                           }
742
851
743
                           var target = cmd3.firstChild;
852
                           var target = cmd3.firstChild;
744
                           var textTarget = target.firstChild;
853
                           var textTarget = target.firstChild;
745
                           if (nowIsFullscreen)
854
                           if (nowIsFullscreen)
746
                           {
855
                           {
747
                             oldHandler = target.onclick;
856
                             oldHandler = target.onclick;
748
                             target.onclick = function () {
857
                             target.onclick = function () {
749
                               fullscreen.cancel();
858
                               fullscreen.cancel();
750
                             };
859
                             };
751
                             textTarget.textContent = "<?php echo tr("Window"); ?>";
860
                             textTarget.textContent = "<?php echo tr("Window"); ?>";
752
                           }
861
                           }
753
                           else
862
                           else
754
                           {
863
                           {
755
                             target.onclick = oldHandler;
864
                             target.onclick = oldHandler;
756
                             textTarget.textContent = fullscreenText;
865
                             textTarget.textContent = fullscreenText;
757
                           }
866
                           }
758
867
759
                           previousIsFullscreen = nowIsFullscreen;
868
                           previousIsFullscreen = nowIsFullscreen;
760
                         }
869
                         }
761
                       }
870
                       }
762
                     });
871
                     });
763
                   </script></span></div></li>
872
                   </script></span></div></li>
764
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
873
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
765
            </ul>
874
            </ul>
766
          </div>
875
          </div>
767
          <div class="elbo-button">
876
          <div class="elbo-button">
768
            <span class="text" title="<?php echo tr("Date of last modification"); ?>"
877
            <span class="text" title="<?php echo tr("Date of last modification"); ?>"
769
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
878
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
770
          </div>
879
          </div>
771
          <div class="elbo">
880
          <div class="elbo">
772
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
881
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
773
            <div class="concave">&nbsp;</div>
882
            <div class="concave">&nbsp;</div>
774
          </div>
883
          </div>
775
          <div class="border">
884
          <div class="border">
776
            <div class="left">&nbsp;</div>
885
            <div class="left">&nbsp;</div>
777
            <div class="right">&nbsp;</div>
886
            <div class="right">&nbsp;</div>
778
          </div>
887
          </div>
779
        </div>
888
        </div>
780
        <div class="lower">
889
        <div class="lower">
781
          <div class="elbo">
890
          <div class="elbo">
782
            <div class="concave">&nbsp;</div>
891
            <div class="concave">&nbsp;</div>
783
          </div>
892
          </div>
784
          <div class="bg">&nbsp;</div>
893
          <div class="bg">&nbsp;</div>
785
          <div class="border-container">
894
          <div class="border-container">
786
            <div class="border">
895
            <div class="border">
787
              <div class="left">&nbsp;</div>
896
              <div class="left">&nbsp;</div>
788
              <div class="right">&nbsp;</div>
897
              <div class="right">&nbsp;</div>
789
            </div>
898
            </div>
790
          </div>
899
          </div>
791
        </div>
900
        </div>
792
      </div>
901
      </div>
793
    </div>
902
    </div>
794
  </body>
903
  </body>
795
</html>
904
</html>