Subversion Repositories LCARS

Rev

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

Rev 167 Rev 170
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]>
-
 
80
      <link rel="stylesheet" type="text/css" href="styles/lcars22-ie6.css">
-
 
81
    <![endif]-->
79
    <style type="text/css">
82
    <style type="text/css">
80
      <!--
83
      <!--
81
      p {
84
      p {
82
        max-width: 100%;
85
        max-width: 100%;
83
      }
86
      }
84
      -->
87
      -->
85
    </style>
88
    </style>
86
89
87
    <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/window<?php
88
      if ($isLocal)
91
      if ($isLocal)
89
      {
92
      {
90
        ?>&amp;verbose=1&amp;debug=1<?php
93
        ?>&amp;verbose=1&amp;debug=1<?php
91
      }
94
      }
92
    ?>"></script>
95
    ?>"></script>
93
    <script type="text/javascript">
96
    <script type="text/javascript">
94
<?php
97
<?php
95
      /*
98
      /*
96
      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
97
      var msLeaveDays = ms1Day*6;
100
      var msLeaveDays = ms1Day*6;
98
      var ms30Days=ms1Day*30;
101
      var ms30Days=ms1Day*30;
99
      var delta;
102
      var delta;
100
      var newTime=new Date();
103
      var newTime=new Date();
101
      var msTime=newTime.getTime();
104
      var msTime=newTime.getTime();
102
      var msExpire=msTime+ms30Days;
105
      var msExpire=msTime+ms30Days;
103
      var expireTime=new Date(msExpire);
106
      var expireTime=new Date(msExpire);
104

107

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

188

186
      <!-- Klicken Sie hier, falls Sie nach 5 Sekunden nicht automatisch
189
      <!-- Klicken Sie hier, falls Sie nach 5 Sekunden nicht automatisch
187
           weitergeleitet werden. -->
190
           weitergeleitet werden. -->
188
*/
191
*/
189
?>
192
?>
190
<?php
193
<?php
191
  $app = "Welcome/$language";
194
  $app = "Welcome/$language";
192
  require_once 'footer.phtml';
195
  require_once 'footer.phtml';
193
      /* 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"
194
      hidden="true" autostart="true" dir="ltr" lang="de" */
197
      hidden="true" autostart="true" dir="ltr" lang="de" */
195
?>
198
?>
196
    </div>
199
    </div>
197
    <div id="LCARS">
200
    <div id="LCARS">
198
<?php /*
201
<?php /*
199
      <div id="button-grid" style="position: absolute; opacity: 0.3">
202
      <div id="button-grid" style="position: absolute; opacity: 0.3">
200
        <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>
201

204

202
        <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>
203
        <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>
204
        <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>
205
        <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>
206

209

207
        <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>
208
        <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>
209
        <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>
210
        <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>
211

214

212
        <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>
213
        <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>
214
        <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>
215
        <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>
216

219

217
        <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>
218
        <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>
219
        <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>
220
        <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>
221

224

222
        <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>
223
        <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>
224
        <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>
225
        <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>
226
        <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>
227

230

228
        <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>
229
        <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>
230
        <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>
231
        <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>
232

235

233
        <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>
234
        <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>
235
        <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>
236

239

237
        <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>
238
        <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>
239
        <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>
240

243

241
        <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>
242
        <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>
243
        <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>
244

247

245
        <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>
246
        <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>
247
        <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>
248
      </div>
251
      </div>
249
*/ ?>
252
*/ ?>
250
      <div id="bow">
253
      <div id="bow">
251
        <div id="bow-top">
254
        <div id="bow-top">
252
          <div class="separator-left">&nbsp;</div>
255
          <div class="separator-left">&nbsp;</div>
253
          <div class="text"><span>PointedEars’ Website</span></div>
256
          <div class="text"><span>PointedEars’ Website</span></div>
254
        </div>
257
        </div>
255
        <div id="bow-top-left">
258
        <div id="bow-top-left">
256
          <div class="concave">&nbsp;</div>
259
          <div class="concave">&nbsp;</div>
257
          <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">
258
            <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>
259
          </div>
262
          </div>
260
        </div>
263
        </div>
261
        <div id="bottom">
264
        <div id="bottom">
262
          <div id="bow-bottom">
265
          <div id="bow-bottom">
263
            <div class="concave">&nbsp;</div>
266
            <div class="concave">&nbsp;</div>
264
            <div class="spacer">&nbsp;</div>
267
            <div class="spacer">&nbsp;</div>
265
        </div>
268
        </div>
266
        </div>
269
        </div>
267
270
268
        <div class="menu-container">
271
        <div class="menu-container">
269
          <nav class="menu">
272
          <nav class="menu">
270
            <ul style="padding-top: 1em">
273
            <ul style="padding-top: 1em">
271
            <?php foreach ($languages as $key => $name): ?>
274
            <?php foreach ($languages as $key => $name): ?>
272
              <li><a href="index.<?php echo $key; ?>?ani=0"
275
              <li><a href="index.<?php echo $key; ?>?ani=0"
273
                     class="button<?php if ($language === $key) { ?> selected<?php } ?>"
276
                     class="button<?php if ($language === $key) { ?> selected<?php } ?>"
274
                     tabindex="2"><span class="text"><?php echo $name; ?></span></a></li>
277
                     tabindex="2"><span class="text"><?php echo $name; ?></span></a></li>
275
            <?php endforeach; ?>
278
            <?php endforeach; ?>
276
            </ul>
279
            </ul>
277
            <div class="bow" style="margin-bottom: 0.4em; width: 8em; height: 0.4em">&nbsp;</div>
280
            <div class="bow" style="margin-bottom: 0.4em; width: 8em; height: 0.4em">&nbsp;</div>
278
            <ul style="margin-bottom: 1.2em">
281
            <ul style="margin-bottom: 1.2em">
279
              <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>
280
              <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"
281
                     title="<?php echo $menu['es-matrix']['title']; ?>"
284
                     title="<?php echo $menu['es-matrix']['title']; ?>"
282
                     ><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>
283
              <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>
284
            </ul>
287
            </ul>
285
            <ul style="margin-bottom: 0.2em">
288
            <ul style="margin-bottom: 0.2em">
286
              <li><a href="psf/" target="_top"
289
              <li><a href="psf/" target="_top"
287
                 class="button ancillary"
290
                 class="button ancillary"
288
                 ><abbr title="<?php echo tr("PointedEars' Standard Frases"); ?>"
291
                 ><abbr title="<?php echo tr("PointedEars' Standard Frases"); ?>"
289
                        class="text">psf</abbr></a></li>
292
                        class="text">psf</abbr></a></li>
290
            <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"
291
                   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'); ?>"
292
                   ><span class="text"><?php echo $menu['series']['text']; ?></span></a></li>
295
                   ><span class="text"><?php echo $menu['series']['text']; ?></span></a></li>
293
              <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"
294
                     ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
297
                     ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
295
                            class="text"><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
298
                            class="text"><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
296
            </ul>
299
            </ul>
297
            <div style="position: relative; margin-bottom: 1.2em">
300
            <div style="position: relative; margin-bottom: 1.2em">
298
              <div class="bow" style="width: 8em; height: 0.8em">&nbsp;</div>
301
              <div class="bow" style="width: 8em; height: 0.8em">&nbsp;</div>
299
            </div>
302
            </div>
300
            <ul>
303
            <ul>
301
              <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"
302
                     target="_top" class="button secondary"
305
                     target="_top" class="button secondary"
303
                     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"); ?>"
304
                     ><span class="text">climateprediction.net</span></a></li>
307
                     ><span class="text">climateprediction.net</span></a></li>
305
              <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"
306
                     target="_top" class="button secondary"
309
                     target="_top" class="button secondary"
307
                     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"); ?>"
308
                     ><span class="text">Folding at home</span></a></li>
311
                     ><span class="text">Folding at home</span></a></li>
309
             <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"
310
                    target="_top" class="button secondary"
313
                    target="_top" class="button secondary"
311
                    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"); ?>"
312
                    ><span class="text">LHC at home</span></a></li>
315
                    ><span class="text">LHC at home</span></a></li>
313
             <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"
314
                    target="_top" class="button secondary"
317
                    target="_top" class="button secondary"
315
                    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"); ?>"
316
                    ><span class="text">SETI at home</span></a></li>
319
                    ><span class="text">SETI at home</span></a></li>
317
             <li><a href="http://stackoverflow.com/users/855543/pointedears"
320
             <li><a href="http://stackoverflow.com/users/855543/pointedears"
318
                    target="_top" class="button secondary"
321
                    target="_top" class="button secondary"
319
                    title="<?php echo tr("Me on Stack Overflow"); ?>"
322
                    title="<?php echo tr("Me on Stack Overflow"); ?>"
320
                    ><span class="text">Stack Overflow</span></a></li>
323
                    ><span class="text">Stack Overflow</span></a></li>
321
             <li><a href="https://twitter.com/PointedEars2"
324
             <li><a href="https://twitter.com/PointedEars2"
322
                    target="_top" class="button secondary"
325
                    target="_top" class="button secondary"
323
                    title="<?php echo tr("Me on Twitter"); ?>"
326
                    title="<?php echo tr("Me on Twitter"); ?>"
324
                    ><span class="text">Twitter</span></a></li>
327
                    ><span class="text">Twitter</span></a></li>
325
             <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"); ?>"
326
                    target="_top" class="button secondary"
329
                    target="_top" class="button secondary"
327
                    title="<?php echo tr("My contributions to Wikipedia"); ?>"
330
                    title="<?php echo tr("My contributions to Wikipedia"); ?>"
328
                    ><span class="text">Wikipedia</span></a></li>
331
                    ><span class="text">Wikipedia</span></a></li>
329
           </ul>
332
           </ul>
330
<?php /*
333
<?php /*
331
            <script type="text/javascript">
334
            <script type="text/javascript">
332
              var sURL = location.href;
335
              var sURL = location.href;
333
              var sFavAnchorTitle =
336
              var sFavAnchorTitle =
334
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
337
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
335
                + " hinzuzufügen";
338
                + " hinzuzufügen";
336
              var sOtherAnchorTitle =
339
              var sOtherAnchorTitle =
337
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
340
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
338
                + " Ihren Lesezeichen hinzuzufügen";
341
                + " Ihren Lesezeichen hinzuzufügen";
339
              var sFavoriteTitle = "PointedEars' Website";
342
              var sFavoriteTitle = "PointedEars' Website";
340

343

341
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
344
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
342
              {
345
              {
343
                document.write(
346
                document.write(
344
                    '<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">'
345
                  + '  <div class="bow" style="width: 8em; height: 1em">&nbsp;<\/div>'
348
                  + '  <div class="bow" style="width: 8em; height: 1em">&nbsp;<\/div>'
346
                  + '  <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>'
347
                  + '</div>'
350
                  + '</div>'
348
                  + '<a href="javascript:window.external.AddFavorite('
351
                  + '<a href="javascript:window.external.AddFavorite('
349
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
352
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
350
                  + ' class="button"'
353
                  + ' class="button"'
351
                  + ' onclick="window.external.AddFavorite('
354
                  + ' onclick="window.external.AddFavorite('
352
                  + ' sURL, sFavoriteTitle); return false"'
355
                  + ' sURL, sFavoriteTitle); return false"'
353
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
356
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
354
                  + ' onmouseout="return resetStatus()"'
357
                  + ' onmouseout="return resetStatus()"'
355
                  + '><span class="text">Favorit<\/span><\/a>');
358
                  + '><span class="text">Favorit<\/span><\/a>');
356
              }
359
              }
357
            </script>
360
            </script>
358
*/ ?>
361
*/ ?>
359
          </nav>
362
          </nav>
360
        </div>
363
        </div>
361
      </div>
364
      </div>
362
      <div id="connectors">
365
      <div id="connectors">
363
        <div class="bow top left">&nbsp;</div>
366
        <div class="bow top left">&nbsp;</div>
364
        <div class="bow top right">&nbsp;</div>
367
        <div class="bow top right">&nbsp;</div>
365
368
366
        <div class="bow mid left">&nbsp;</div>
369
        <div class="bow mid left">&nbsp;</div>
367
        <div class="bow mid right">&nbsp;</div>
370
        <div class="bow mid right">&nbsp;</div>
368
      </div>
371
      </div>
369
      <div class="multi-display">
372
      <div class="multi-display">
370
        <div class="upper">
373
        <div class="upper">
371
          <div class="content">
374
          <div class="content">
372
            <div class="title"><span>Home</span></div>
375
            <div class="title"><span>Home</span></div>
373
            <div class="analysis">
376
            <div class="analysis">
374
              <table>
377
              <table>
375
                <tr>
378
                <tr>
376
                  <th><?php echo tr('Display'); ?>:</th>
379
                  <th><?php echo tr('Display'); ?>:</th>
377
                  <td><script type="text/javascript">
380
                  <td><script type="text/javascript">
378
                    var _addEventListener = jsx.dom.addEventListener;
381
                    var _addEventListener = jsx.dom.addEventListener;
379
                    var _runAsync = jsx.dom.timeout.runAsync;
382
                    var _runAsync = jsx.dom.timeout.runAsync;
380
                    var ID_SCREEN_DIM = 'screenDim';
383
                    var ID_SCREEN_DIM = 'screenDim';
381
                    var ID_AVAIL_DIM = 'availDim';
384
                    var ID_AVAIL_DIM = 'availDim';
382
                    var ID_INNER_DIM = 'innerDim';
385
                    var ID_INNER_DIM = 'innerDim';
383
                    var TEXT_NOT_AVAILABLE = "<?php echo tr('N/A'); ?>";
386
                    var TEXT_NOT_AVAILABLE = "<?php echo tr('N/A'); ?>";
384
387
385
                    var dim = (function () {
388
                    var dim = (function () {
386
                      var screenInfo = jsx.dom.window.screenInfo;
389
                      var screenInfo = jsx.dom.window.screenInfo;
387
390
388
                      return {
391
                      return {
389
                        getScreenText: function () {
392
                        getScreenText: function () {
390
                          var screenDim = screenInfo.getDim();
393
                          var screenDim = screenInfo.getDim();
391
                          return screenDim.width + "×" + screenDim.height;
394
                          return screenDim.width + "×" + screenDim.height;
392
                        },
395
                        },
393
396
394
                        getAvailText: function () {
397
                        getAvailText: function () {
395
                          var availDim = screenInfo.getAvailDim();
398
                          var availDim = screenInfo.getAvailDim();
396
                          return availDim.width + "×" + availDim.height + " <?php echo tr('available'); ?>";
399
                          return availDim.width + "×" + availDim.height + " <?php echo tr('available'); ?>";
397
                        },
400
                        },
398
401
399
                        getInnerText: function () {
402
                        getInnerText: function () {
400
                          var innerDim = screenInfo.getInnerDim();
403
                          var innerDim = screenInfo.getInnerDim();
401
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo tr('used'); ?>";
404
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo tr('used'); ?>";
402
                        },
405
                        },
403
406
404
                        getColorDepthText: function () {
407
                        getColorDepthText: function () {
405
                          var colorDepth = screenInfo.getColorDepth();
408
                          var colorDepth = screenInfo.getColorDepth();
406
                          return colorDepth
409
                          return colorDepth
407
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo tr('colors'); ?>"
410
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo tr('colors'); ?>"
408
                            : "";
411
                            : "";
409
                        }
412
                        }
410
                      };
413
                      };
411
                    }());
414
                    }());
412
415
413
                    (function () {
416
                    (function () {
414
                      var screenDimText = dim.getScreenText();
417
                      var screenDimText = dim.getScreenText();
415
                      var availDimText = dim.getAvailText();
418
                      var availDimText = dim.getAvailText();
416
                      var innerDimText = dim.getInnerText();
419
                      var innerDimText = dim.getInnerText();
417
                      var colorDepthText = dim.getColorDepthText();
420
                      var colorDepthText = dim.getColorDepthText();
418
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
421
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
419
                        ?   (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'); ?>' : "")
420
                          + (availDimText ? ' (<span id="' + ID_AVAIL_DIM + '">' + availDimText + "<\/span>" : "")
423
                          + (availDimText ? ' (<span id="' + ID_AVAIL_DIM + '">' + availDimText + "<\/span>" : "")
421
                          + (innerDimText ? '<span id="' + ID_INNER_DIM + '">' + innerDimText + "<\/span>)" : "")
424
                          + (innerDimText ? '<span id="' + ID_INNER_DIM + '">' + innerDimText + "<\/span>)" : "")
422
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
425
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
423
                        : TEXT_NOT_AVAILABLE;
426
                        : TEXT_NOT_AVAILABLE;
424
427
425
                      /* FIXME: Convert HTML to text, update whole title text */
428
                      /* FIXME: Convert HTML to text, update whole title text */
426
                      document.write('<span>' + displayInfo + '<\/span>');
429
                      document.write('<span>' + displayInfo + '<\/span>');
427
430
428
                      var oColorDepth;
431
                      var oColorDepth;
429
                      var tColor = _runAsync(function () {
432
                      var tColor = _runAsync(function () {
430
                        if (typeof oColorDepth == "undefined")
433
                        if (typeof oColorDepth == "undefined")
431
                        {
434
                        {
432
                          oColorDepth = document.getElementById("colorDepth");
435
                          oColorDepth = document.getElementById("colorDepth");
433
                        }
436
                        }
434
437
435
                        if (oColorDepth)
438
                        if (oColorDepth)
436
                        {
439
                        {
437
                          var colorDepthText = dim.getColorDepthText();
440
                          var colorDepthText = dim.getColorDepthText();
438
                          <?php /* FIXME: Also update title attribute value */ ?>
441
                          <?php /* FIXME: Also update title attribute value */ ?>
439
                          if (oColorDepth.innerHTML != colorDepthText)
442
                          if (oColorDepth.innerHTML != colorDepthText)
440
                          {
443
                          {
441
                            oColorDepth.innerHTML = colorDepthText;
444
                            oColorDepth.innerHTML = colorDepthText;
442
                          }
445
                          }
443
                        }
446
                        }
444
447
445
                        tColor = this.run();
448
                        tColor = this.run();
446
                      }, 1000);
449
                      }, 1000);
447
450
448
                      _addEventListener(document, "unload", function () {
451
                      _addEventListener(document, "unload", function () {
449
                        tColor.unset();
452
                        tColor.unset();
450
                        tColor = null;
453
                        tColor = null;
451
                      });
454
                      });
452
                    }());
455
                    }());
453
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
456
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
454
                </tr>
457
                </tr>
455
                <tr>
458
                <tr>
456
                  <th><?php echo tr('User Agent'); ?>:</th>
459
                  <th><?php echo tr('User Agent'); ?>:</th>
457
                  <td><script type="text/javascript">
460
                  <td><script type="text/javascript">
458
                    (function () {
461
                    (function () {
459
                      var ua = navigator.userAgent;
462
                      var ua = navigator.userAgent;
460
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
463
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
461
464
462
                      var oUA;
465
                      var oUA;
463
                      var tUA = _runAsync(function () {
466
                      var tUA = _runAsync(function () {
464
                        if (typeof oUA == "undefined")
467
                        if (typeof oUA == "undefined")
465
                        {
468
                        {
466
                          oUA = document.getElementById("ua");
469
                          oUA = document.getElementById("ua");
467
                        }
470
                        }
468
471
469
                        if (oUA)
472
                        if (oUA)
470
                        {
473
                        {
471
                          var ua = navigator.userAgent;
474
                          var ua = navigator.userAgent;
472
475
473
                          if (oUA.innerHTML != ua)
476
                          if (oUA.innerHTML != ua)
474
                          {
477
                          {
475
                            oUA.innerHTML = ua;
478
                            oUA.innerHTML = ua;
476
                          }
479
                          }
477
480
478
                          <?php /* Converts CREs */ ?>
481
                          <?php /* Converts CREs */ ?>
479
                          var oUAhtml = oUA.innerHTML
482
                          var oUAhtml = oUA.innerHTML
480
                          if (oUA.title != oUAhtml)
483
                          if (oUA.title != oUAhtml)
481
                          {
484
                          {
482
                            oUA.title = oUAhtml;
485
                            oUA.title = oUAhtml;
483
                          }
486
                          }
484
                        }
487
                        }
485
488
486
                        tUA = this.run();
489
                        tUA = this.run();
487
                      }, 1000);
490
                      }, 1000);
488
491
489
                      _addEventListener(document, "unload", function () {
492
                      _addEventListener(document, "unload", function () {
490
                        tUA.unset();
493
                        tUA.unset();
491
                        tUA = null;
494
                        tUA = null;
492
                      });
495
                      });
493
                    }());
496
                    }());
494
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
497
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
495
                </tr>
498
                </tr>
496
                <tr>
499
                <tr>
497
                  <th><?php echo tr('Features'); ?>:</th>
500
                  <th><?php echo tr('Features'); ?>:</th>
498
                  <td><script type="text/javascript">
501
                  <td><script type="text/javascript">
499
                    var fullscreen = jsx.dom.window.fullscreen;
502
                    var fullscreen = jsx.dom.window.fullscreen;
500
503
501
                    jsx.dom.geolocation = {
504
                    jsx.dom.geolocation = {
502
                      getText: function (position) {
505
                      getText: function (position) {
503
                        var coords = position.coords;
506
                        var coords = position.coords;
504
                        var latitude = coords.latitude;
507
                        var latitude = coords.latitude;
505
                        var longitude = coords.longitude;
508
                        var longitude = coords.longitude;
506
                        var altitude = coords.altitude;
509
                        var altitude = coords.altitude;
507
                        var altitudeAccuracy = coords.altitudeAccuracy;
510
                        var altitudeAccuracy = coords.altitudeAccuracy;
508
                        var speed = coords.speed;
511
                        var speed = coords.speed;
509
                        var heading = coords.heading;
512
                        var heading = coords.heading;
510
513
511
                        return [
514
                        return [
512
                          "<?php echo tr('Latitude:'); ?> " + (latitude != null ? latitude + "°" : TEXT_NOT_AVAILABLE),
515
                          "<?php echo tr('Latitude:'); ?> " + (latitude != null ? latitude + "°" : TEXT_NOT_AVAILABLE),
513
                          "<?php echo tr('Longitude:'); ?> " + (longitude != null ? longitude + "°" : TEXT_NOT_AVAILABLE),
516
                          "<?php echo tr('Longitude:'); ?> " + (longitude != null ? longitude + "°" : TEXT_NOT_AVAILABLE),
514
                          "<?php echo tr('Lat/Lng Accuracy:'); ?> " + coords.accuracy + " m",
517
                          "<?php echo tr('Lat/Lng Accuracy:'); ?> " + coords.accuracy + " m",
515
                          "<?php echo tr('Altitude:'); ?> " + (altitude != null ? altitude + " m": TEXT_NOT_AVAILABLE),
518
                          "<?php echo tr('Altitude:'); ?> " + (altitude != null ? altitude + " m": TEXT_NOT_AVAILABLE),
516
                          "<?php echo tr('Alt. Accuracy:'); ?> " + (altitudeAccuracy != null ? altitudeAccuracy + " m": TEXT_NOT_AVAILABLE),
519
                          "<?php echo tr('Alt. Accuracy:'); ?> " + (altitudeAccuracy != null ? altitudeAccuracy + " m": TEXT_NOT_AVAILABLE),
517
                          "<?php echo tr('Speed:'); ?> " + (speed != null && !isNaN(speed) ? speed + " m∕s": TEXT_NOT_AVAILABLE),
520
                          "<?php echo tr('Speed:'); ?> " + (speed != null && !isNaN(speed) ? speed + " m∕s": TEXT_NOT_AVAILABLE),
518
                          "<?php echo tr('Heading:'); ?> " + (heading != null && !isNaN(heading) ? heading + "°" : TEXT_NOT_AVAILABLE)
521
                          "<?php echo tr('Heading:'); ?> " + (heading != null && !isNaN(heading) ? heading + "°" : TEXT_NOT_AVAILABLE)
519
                        ].join("\n");
522
                        ].join("\n");
520
                      },
523
                      },
521
524
522
                      show: function (position) {
525
                      show: function (position) {
523
                        window.alert("<?php echo tr('Your current coordinates on Terra'); ?>\n\n" + this.getText(position));
526
                        window.alert("<?php echo tr('Your current coordinates on Terra'); ?>\n\n" + this.getText(position));
524
                      }
527
                      }
525
                    };
528
                    };
526
529
527
                    (function () {
530
                    (function () {
528
                      function getFeatures ()
531
                      function getFeatures ()
529
                      {
532
                      {
530
                        var features = [];
533
                        var features = [];
531
                        if (typeof document.cookie != "undefined")
534
                        if (typeof document.cookie != "undefined")
532
                        {
535
                        {
533
                          var cookiesText = "<?php echo tr('Cookies'); ?>"
536
                          var cookiesText = "<?php echo tr('Cookies'); ?>"
534
                          if (navigator.cookieEnabled)
537
                          if (navigator.cookieEnabled)
535
                          {
538
                          {
536
                            if (document.cookie)
539
                            if (document.cookie)
537
                            {
540
                            {
538
                              var cookies = document.cookie;
541
                              var cookies = document.cookie;
539
                              cookies = cookies.split(/\s*;\s*/);
542
                              cookies = cookies.split(/\s*;\s*/);
540
                              features.push('<a href="#" title="'
543
                              features.push('<a href="#" title="'
541
                                + cookies.join("&#13;&#10;")
544
                                + cookies.join("&#13;&#10;")
542
                                + '"'
545
                                + '"'
543
                                + ' onclick="window.alert(\'<?php echo tr('Cookies for'); ?> ' + document.domain + '\\n\\n' + cookies.join("\\n") + '\'); return false">' + cookiesText + '<\/a>');
546
                                + ' onclick="window.alert(\'<?php echo tr('Cookies for'); ?> ' + document.domain + '\\n\\n' + cookies.join("\\n") + '\'); return false">' + cookiesText + '<\/a>');
544
                            }
547
                            }
545
                            else
548
                            else
546
                            {
549
                            {
547
                              features.push('<span class="unavailable"'
550
                              features.push('<span class="unavailable"'
548
                                + ' title="<?php echo tr('Cookies supported, but no data for this site'); ?>"'
551
                                + ' title="<?php echo tr('Cookies supported, but no data for this site'); ?>"'
549
                                + '>' + cookiesText + '<\/span>');
552
                                + '>' + cookiesText + '<\/span>');
550
                            }
553
                            }
551
                          }
554
                          }
552
                          else
555
                          else
553
                          {
556
                          {
554
                            features.push('<span class="offline"'
557
                            features.push('<span class="offline"'
555
                              + ' title="<?php echo tr('Cookies supported, but disabled'); ?>"'
558
                              + ' title="<?php echo tr('Cookies supported, but disabled'); ?>"'
556
                              + '>' + cookiesText + '<\/span>');
559
                              + '>' + cookiesText + '<\/span>');
557
                          }
560
                          }
558
                        }
561
                        }
559
562
560
                        if (fullscreen.isSupportedBy(document.documentElement))
563
                        if (fullscreen.isSupportedBy(document.documentElement))
561
                        {
564
                        {
562
                          features.push("<?php echo tr('Fullscreen'); ?>");
565
                          features.push("<?php echo tr('Fullscreen'); ?>");
563
                        }
566
                        }
564
567
565
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
568
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
566
                        {
569
                        {
567
                          features.push("<?php echo tr('Gamepad'); ?>");
570
                          features.push("<?php echo tr('Gamepad'); ?>");
568
                        }
571
                        }
569
572
570
                        if (navigator.geolocation)
573
                        if (navigator.geolocation)
571
                        {
574
                        {
572
                          features.push('<a href="#" title="<?php echo tr('Get location'); ?>"'
575
                          features.push('<a href="#" title="<?php echo tr('Get location'); ?>"'
573
                            + ' onclick="navigator.geolocation.getCurrentPosition('
576
                            + ' onclick="navigator.geolocation.getCurrentPosition('
574
                            + 'function (position) { jsx.dom.geolocation.show(position); }); return false"'
577
                            + 'function (position) { jsx.dom.geolocation.show(position); }); return false"'
575
                            + '><?php echo tr('Geolocation'); ?><\/a>');
578
                            + '><?php echo tr('Geolocation'); ?><\/a>');
576
                        }
579
                        }
577
580
578
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
581
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
579
                        {
582
                        {
580
                          features.push("Java");
583
                          features.push("Java");
581
                        }
584
                        }
582
585
583
                        var storage = jsx.dom.storage;
586
                        var storage = jsx.dom.storage;
584
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
587
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
585
588
586
                        if (navigator.plugins)
589
                        if (navigator.plugins)
587
                        {
590
                        {
588
                          if (navigator.plugins.length > 0)
591
                          if (navigator.plugins.length > 0)
589
                          {
592
                          {
590
                            features.push('<span title="'
593
                            features.push('<span title="'
591
                              + navigator.plugins.length
594
                              + navigator.plugins.length
592
                              + ' <?php echo tr('plugins installed'); ?>">Plugins<\/span>');
595
                              + ' <?php echo tr('plugins installed'); ?>">Plugins<\/span>');
593
                          }
596
                          }
594
                          else
597
                          else
595
                          {
598
                          {
596
                                features.push('<span class="unavailable"'
599
                                features.push('<span class="unavailable"'
597
                                + ' title="<?php echo tr('Plugins supported, but none detected'); ?>"'
600
                                + ' title="<?php echo tr('Plugins supported, but none detected'); ?>"'
598
                                + '>Plugins<\/span>');
601
                                + '>Plugins<\/span>');
599
                          }
602
                          }
600
                        }
603
                        }
601
604
602
                        if (storage.sessionStorage.isSupported())
605
                        if (storage.sessionStorage.isSupported())
603
                        {
606
                        {
604
                          features.push("Session Storage");
607
                          features.push("Session Storage");
605
                        }
608
                        }
606
609
607
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
610
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
608
                        return features.join(" &#8226; ");
611
                        return features.join(" &#8226; ");
609
                      }
612
                      }
610
613
611
                      function stripTags (s)
614
                      function stripTags (s)
612
                      {
615
                      {
613
                        return s.replace(/<[^>]+>/g, "");
616
                        return s.replace(/<[^>]+>/g, "");
614
                      }
617
                      }
615
618
616
                      var sFeatures = getFeatures();
619
                      var sFeatures = getFeatures();
617
                      document.write('<span id="features" title="' + stripTags(sFeatures) + '">' + sFeatures + '<\/span>');
620
                      document.write('<span id="features" title="' + stripTags(sFeatures) + '">' + sFeatures + '<\/span>');
618
621
619
                      var oFeatures;
622
                      var oFeatures;
620
                      var oFeaturesHtml;
623
                      var oFeaturesHtml;
621
                      var tFeatures = _runAsync(function () {
624
                      var tFeatures = _runAsync(function () {
622
                        if (typeof oFeatures == "undefined")
625
                        if (typeof oFeatures == "undefined")
623
                        {
626
                        {
624
                          oFeatures = document.getElementById("features");
627
                          oFeatures = document.getElementById("features");
625
                        }
628
                        }
626
629
627
                        if (oFeatures)
630
                        if (oFeatures)
628
                        {
631
                        {
629
                          var sNewFeatures = getFeatures();
632
                          var sNewFeatures = getFeatures();
630
633
631
                          if (!oFeaturesHtml)
634
                          if (!oFeaturesHtml)
632
                          {
635
                          {
633
                            oFeaturesHtml = document.createElement("span");
636
                            oFeaturesHtml = document.createElement("span");
634
                          }
637
                          }
635
638
636
                          if (oFeaturesHtml)
639
                          if (oFeaturesHtml)
637
                          {
640
                          {
638
                            oFeaturesHtml.innerHTML = sNewFeatures;
641
                            oFeaturesHtml.innerHTML = sNewFeatures;
639
                            sNewFeatures = oFeaturesHtml.innerHTML;
642
                            sNewFeatures = oFeaturesHtml.innerHTML;
640
                          }
643
                          }
641
644
642
                          if (oFeatures.innerHTML != sNewFeatures)
645
                          if (oFeatures.innerHTML != sNewFeatures)
643
                          {
646
                          {
644
                            oFeatures.innerHTML = sNewFeatures;
647
                            oFeatures.innerHTML = sNewFeatures;
645
                          }
648
                          }
646
649
647
                          /* Converts CREs */
650
                          /* Converts CREs */
648
                          var newTitle = stripTags(oFeatures.innerHTML)
651
                          var newTitle = stripTags(oFeatures.innerHTML)
649
                          if (oFeatures.title != newTitle)
652
                          if (oFeatures.title != newTitle)
650
                          {
653
                          {
651
                            oFeatures.title = newTitle;
654
                            oFeatures.title = newTitle;
652
                          }
655
                          }
653
                        }
656
                        }
654
657
655
                        tFeatures = this.run();
658
                        tFeatures = this.run();
656
                      }, 1000);
659
                      }, 1000);
657
                    }());
660
                    }());
658
661
659
                    _addEventListener(document, "unload", function () {
662
                    _addEventListener(document, "unload", function () {
660
                      tFeatures.unset();
663
                      tFeatures.unset();
661
                      tFeatures = null;
664
                      tFeatures = null;
662
                    });
665
                    });
663
666
664
                    var windowText = "<?php echo tr("Window"); ?>";
667
                    var windowText = "<?php echo tr("Window"); ?>";
665
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
668
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
666
                </tr>
669
                </tr>
667
              </table>
670
              </table>
668
            </div>
671
            </div>
669
            <ul class="commands">
672
            <ul class="commands">
670
              <li id="cmd1"><a href="index.php"
673
              <li id="cmd1"><a href="index.php"
671
                title="Language selection"
674
                title="Language selection"
672
                tabindex="1"
675
                tabindex="1"
673
                class="button left right"
676
                class="button left right"
674
                onmouseover="return setStatus(this.title + ': ' + this.href)"
677
                onmouseover="return setStatus(this.title + ': ' + this.href)"
675
                onmouseout="return resetStatus()"
678
                onmouseout="return resetStatus()"
676
                onfocus="return this.onmouseover()"
679
                onfocus="return this.onmouseover()"
677
                onblur="return this.onmouseout()"
680
                onblur="return this.onmouseout()"
678
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
681
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
679
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
682
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
680
                title="<?php echo tr('Printable version'); ?>"
683
                title="<?php echo tr('Printable version'); ?>"
681
                tabindex="1"
684
                tabindex="1"
682
                class="button left right"
685
                class="button left right"
683
                onmouseover="return setStatus(this.title + ': ' + this.href)"
686
                onmouseover="return setStatus(this.title + ': ' + this.href)"
684
                onmouseout="return resetStatus()"
687
                onmouseout="return resetStatus()"
685
                onfocus="return this.onmouseover()"
688
                onfocus="return this.onmouseover()"
686
                onblur="return this.onmouseout()"
689
                onblur="return this.onmouseout()"
687
                ><span class="text"><?php echo tr("Printable"); ?></span></a></li>
690
                ><span class="text"><?php echo tr("Printable"); ?></span></a></li>
688
              <li id="cmd3"><div class="button left right"
691
              <li id="cmd3"><div class="button left right"
689
                   style="cursor: not-allowed !important"
692
                   style="cursor: not-allowed !important"
690
                   onclick="fullscreen.requestOn(document.documentElement, this)"
693
                   onclick="fullscreen.requestOn(document.documentElement, this)"
691
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
694
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
692
                   ><span class="text"><script type="text/javascript">
695
                   ><span class="text"><script type="text/javascript">
693
                     var cmd3;
696
                     var cmd3;
694
                     if (fullscreen.isSupportedBy(document.documentElement))
697
                     if (fullscreen.isSupportedBy(document.documentElement))
695
                     {
698
                     {
696
                       _addEventListener(window, "load", function () {
699
                       _addEventListener(window, "load", function () {
697
                         if (typeof cmd3 == "undefined")
700
                         if (typeof cmd3 == "undefined")
698
                         {
701
                         {
699
                           cmd3 = jsx.dom.getElementById("cmd3");
702
                           cmd3 = jsx.dom.getElementById("cmd3");
700
                         }
703
                         }
701
704
702
                         if (cmd3)
705
                         if (cmd3)
703
                         {
706
                         {
704
                           cmd3.firstChild.tabIndex = "1";
707
                           cmd3.firstChild.tabIndex = "1";
705
                         }
708
                         }
706
                       });
709
                       });
707
710
708
                       var fullscreenText = "<?php echo tr("Fullscreen"); ?>";
711
                       var fullscreenText = "<?php echo tr("Fullscreen"); ?>";
709
                       document.write(fullscreenText);
712
                       document.write(fullscreenText);
710
                     }
713
                     }
711
714
712
                     var oScreenDim;
715
                     var oScreenDim;
713
                     var oAvailDim;
716
                     var oAvailDim;
714
                     var oInnerDim;
717
                     var oInnerDim;
715
                     var _gEBI = jsx.dom.getElementById;
718
                     var _gEBI = jsx.dom.getElementById;
716
                     var previousIsFullscreen;
719
                     var previousIsFullscreen;
717
                     var oldHandler;
720
                     var oldHandler;
718
721
719
                     _addEventListener(window, "resize", function () {
722
                     _addEventListener(window, "resize", function () {
720
                       <?php /* FIXME: Also update title attribute value */ ?>
723
                       <?php /* FIXME: Also update title attribute value */ ?>
721
                       if (typeof oScreenDim == "undefined") oScreenDim = _gEBI(ID_SCREEN_DIM);
724
                       if (typeof oScreenDim == "undefined") oScreenDim = _gEBI(ID_SCREEN_DIM);
722
                       if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
725
                       if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
723
726
724
                       if (typeof oAvailDim == "undefined") oAvailDim = _gEBI(ID_AVAIL_DIM);
727
                       if (typeof oAvailDim == "undefined") oAvailDim = _gEBI(ID_AVAIL_DIM);
725
                       if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
728
                       if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
726
729
727
                       if (typeof oInnerDim == "undefined") oInnerDim = _gEBI(ID_INNER_DIM);
730
                       if (typeof oInnerDim == "undefined") oInnerDim = _gEBI(ID_INNER_DIM);
728
                       if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
731
                       if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
729
732
730
                       if (fullscreen.isSupportedBy(document.documentElement))
733
                       if (fullscreen.isSupportedBy(document.documentElement))
731
                       {
734
                       {
732
                         var nowIsFullscreen = fullscreen.isFullscreen();
735
                         var nowIsFullscreen = fullscreen.isFullscreen();
733
                         if (nowIsFullscreen != previousIsFullscreen)
736
                         if (nowIsFullscreen != previousIsFullscreen)
734
                         {
737
                         {
735
                           if (typeof cmd3 == "undefined")
738
                           if (typeof cmd3 == "undefined")
736
                           {
739
                           {
737
                             cmd3 = document.getElementById("cmd3");
740
                             cmd3 = document.getElementById("cmd3");
738
                           }
741
                           }
739
742
740
                           var target = cmd3.firstChild;
743
                           var target = cmd3.firstChild;
741
                           var textTarget = target.firstChild;
744
                           var textTarget = target.firstChild;
742
                           if (nowIsFullscreen)
745
                           if (nowIsFullscreen)
743
                           {
746
                           {
744
                             oldHandler = target.onclick;
747
                             oldHandler = target.onclick;
745
                             target.onclick = function () {
748
                             target.onclick = function () {
746
                               fullscreen.cancel();
749
                               fullscreen.cancel();
747
                             };
750
                             };
748
                             textTarget.textContent = "<?php echo tr("Window"); ?>";
751
                             textTarget.textContent = "<?php echo tr("Window"); ?>";
749
                           }
752
                           }
750
                           else
753
                           else
751
                           {
754
                           {
752
                             target.onclick = oldHandler;
755
                             target.onclick = oldHandler;
753
                             textTarget.textContent = fullscreenText;
756
                             textTarget.textContent = fullscreenText;
754
                           }
757
                           }
755
758
756
                           previousIsFullscreen = nowIsFullscreen;
759
                           previousIsFullscreen = nowIsFullscreen;
757
                         }
760
                         }
758
                       }
761
                       }
759
                     });
762
                     });
760
                   </script></span></div></li>
763
                   </script></span></div></li>
761
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
764
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
762
            </ul>
765
            </ul>
763
          </div>
766
          </div>
764
          <div class="elbo-button">
767
          <div class="elbo-button">
765
            <span class="text" title="<?php echo tr("Date of last modification"); ?>"
768
            <span class="text" title="<?php echo tr("Date of last modification"); ?>"
766
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
769
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
767
          </div>
770
          </div>
768
          <div class="elbo">
771
          <div class="elbo">
769
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
772
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
770
            <div class="concave">&nbsp;</div>
773
            <div class="concave">&nbsp;</div>
771
          </div>
774
          </div>
772
          <div class="border">
775
          <div class="border">
773
            <div class="left">&nbsp;</div>
776
            <div class="left">&nbsp;</div>
774
            <div class="right">&nbsp;</div>
777
            <div class="right">&nbsp;</div>
775
          </div>
778
          </div>
776
        </div>
779
        </div>
777
        <div class="lower">
780
        <div class="lower">
778
          <div class="elbo">
781
          <div class="elbo">
779
            <div class="concave">&nbsp;</div>
782
            <div class="concave">&nbsp;</div>
780
          </div>
783
          </div>
781
          <div class="bg">&nbsp;</div>
784
          <div class="bg">&nbsp;</div>
782
          <div class="border-container">
785
          <div class="border-container">
783
            <div class="border">
786
            <div class="border">
784
              <div class="left">&nbsp;</div>
787
              <div class="left">&nbsp;</div>
785
              <div class="right">&nbsp;</div>
788
              <div class="right">&nbsp;</div>
786
            </div>
789
            </div>
787
          </div>
790
          </div>
788
        </div>
791
        </div>
789
      </div>
792
      </div>
790
    </div>
793
    </div>
791
  </body>
794
  </body>
792
</html>
795
</html>