Subversion Repositories LCARS

Rev

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

Rev 151 Rev 153
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="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, Song, Songbook, Surf, anonymously, Raumschiff Enterprise, DNG, Die n&auml;chste Generation, VFP, F&ouml;deration, Vereinte F&ouml;deration der Planeten, Datenbasis, Datenbank, Lied, Liedtext, surfen, anonym">
27
          content="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, Song, Songbook, Surf, anonymously, Raumschiff Enterprise, DNG, Die n&auml;chste Generation, VFP, F&ouml;deration, Vereinte F&ouml;deration der Planeten, Datenbasis, Datenbank, 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: IE 9 in non-Compatibility Mode sends "Accept: text/css",
61
    <!-- No optimization here: IE 9 in non-Compatibility Mode sends "Accept: text/css",
62
         Apache responds with 406:
62
         Apache responds with 406:
63
         http://blog.s9y.org/archives/227-ie9-has-trouble-with-css-content-types.html -->
63
         http://blog.s9y.org/archives/227-ie9-has-trouble-with-css-content-types.html -->
64
*/ ?>
64
*/ ?>
65
    <link rel="stylesheet" type="text/css" href="styles/lcars-basic">
65
    <link rel="stylesheet" type="text/css" href="styles/lcars-basic">
66
<?php
66
<?php
67
  $isLocal = ($_SERVER['HTTP_HOST'] === 'localhost');
67
  $isLocal = ($_SERVER['HTTP_HOST'] === 'localhost');
68
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
68
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
69
  if (!$printable)
69
  if (!$printable)
70
  {
70
  {
71
?>
71
?>
72
    <link rel="stylesheet" type="text/css" href="styles/lcars22<?php
72
    <link rel="stylesheet" type="text/css" href="styles/lcars22<?php
73
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
73
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
74
      {
74
      {
75
        echo '?ani=' . $_GET['ani'];
75
        echo '?ani=' . $_GET['ani'];
76
      }
76
      }
77
    ?>">
77
    ?>">
78
<?php
78
<?php
79
  }
79
  }
80
?>
80
?>
81
    <style type="text/css">
81
    <style type="text/css">
82
      <!--
82
      <!--
83
      p {
83
      p {
84
        max-width: 100%;
84
        max-width: 100%;
85
      }
85
      }
86
      -->
86
      -->
87
    </style>
87
    </style>
88
88
89
    <script type="text/javascript" src="scripts/builder?src=object,dom,dom/storage,dom/events,dom/timeout,dom/window<?php
89
    <script type="text/javascript" src="scripts/builder?src=object,dom,dom/storage,dom/events,dom/timeout,dom/window<?php
90
      if ($isLocal)
90
      if ($isLocal)
91
      {
91
      {
92
        ?>&amp;verbose=1&amp;debug=1<?php
92
        ?>&amp;verbose=1&amp;debug=1<?php
93
      }
93
      }
94
    ?>"></script>
94
    ?>"></script>
95
    <script type="text/javascript">
95
    <script type="text/javascript">
96
<?php
96
<?php
97
      /*
97
      /*
98
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
98
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
99
      var msLeaveDays = ms1Day*6;
99
      var msLeaveDays = ms1Day*6;
100
      var ms30Days=ms1Day*30;
100
      var ms30Days=ms1Day*30;
101
      var delta;
101
      var delta;
102
      var newTime=new Date();
102
      var newTime=new Date();
103
      var msTime=newTime.getTime();
103
      var msTime=newTime.getTime();
104
      var msExpire=msTime+ms30Days;
104
      var msExpire=msTime+ms30Days;
105
      var expireTime=new Date(msExpire);
105
      var expireTime=new Date(msExpire);
106

106

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

187

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

203

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

208

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

213

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

218

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

223

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

229

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

234

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

238

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

242

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

246

247
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
247
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
248
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
248
        <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>
249
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
250
      </div>
250
      </div>
251
*/ ?>
251
*/ ?>
252
      <div id="bow">
252
      <div id="bow">
253
        <div id="bow-top">
253
        <div id="bow-top">
254
          <div class="separator-left">&nbsp;</div>
254
          <div class="separator-left">&nbsp;</div>
255
          <div class="text"><span>PointedEars’ Website</span></div>
255
          <div class="text"><span>PointedEars’ Website</span></div>
256
        </div>
256
        </div>
257
        <div id="bow-top-left">
257
        <div id="bow-top-left">
258
          <div class="concave">&nbsp;</div>
258
          <div class="concave">&nbsp;</div>
259
          <div style="position: absolute; top: 3.2em; left: 0; background-color: black">
259
          <div style="position: absolute; top: 3.2em; left: 0; background-color: black">
260
            <div class="bow" style="margin-top: 0.2em; width: 8em; height: 1em">&nbsp;</div>
260
            <div class="bow" style="margin-top: 0.2em; width: 8em; height: 1em">&nbsp;</div>
261
          </div>
261
          </div>
262
        </div>
262
        </div>
263
        <div id="bottom">
263
        <div id="bottom">
264
          <div id="bow-bottom">
264
          <div id="bow-bottom">
265
            <div class="concave">&nbsp;</div>
265
            <div class="concave">&nbsp;</div>
266
            <div class="spacer">&nbsp;</div>
266
            <div class="spacer">&nbsp;</div>
267
        </div>
267
        </div>
268
        </div>
268
        </div>
269
       
269
       
270
        <div class="menu-container">
270
        <div class="menu-container">
271
          <nav class="menu">
271
          <nav class="menu">
272
            <ul style="padding-top: 1em">
272
            <ul style="padding-top: 1em">
273
            <?php foreach ($languages as $key => $name): ?>
273
            <?php foreach ($languages as $key => $name): ?>
274
              <li><a href="index.<?php echo $key; ?>?ani=0"
274
              <li><a href="index.<?php echo $key; ?>?ani=0"
275
                     class="button<?php if ($language === $key) { ?> selected<?php } ?>"
275
                     class="button<?php if ($language === $key) { ?> selected<?php } ?>"
276
                     tabindex="2"><span class="text"><?php echo $name; ?></span></a></li>
276
                     tabindex="2"><span class="text"><?php echo $name; ?></span></a></li>
277
            <?php endforeach; ?>
277
            <?php endforeach; ?>
278
            </ul>
278
            </ul>
279
            <div class="bow" style="margin-bottom: 0.4em; width: 8em; height: 0.4em">&nbsp;</div>
279
            <div class="bow" style="margin-bottom: 0.4em; width: 8em; height: 0.4em">&nbsp;</div>
280
            <ul style="margin-bottom: 1.2em">
280
            <ul style="margin-bottom: 1.2em">
281
              <li><a href="<?php echo $menu['scripts']['path']; ?>" target="_top" class="button"><span class="text"><?php echo $menu['scripts']['text']; ?></span></a></li>
281
              <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['es-matrix']['path']; ?>" target="_top" class="button"
282
              <li><a href="<?php echo $menu['es-matrix']['path']; ?>" target="_top" class="button"
283
                     title="<?php echo $menu['es-matrix']['title']; ?>"
283
                     title="<?php echo $menu['es-matrix']['title']; ?>"
284
                     ><span class="text"><?php echo $menu['es-matrix']['text']; ?></span></a></li>
284
                     ><span class="text"><?php echo $menu['es-matrix']['text']; ?></span></a></li>
285
              <li><a href="<?php echo $menu['devel']['path']; ?>" target="_top" class="button"><span class="text"><?php echo $menu['devel']['text']; ?></span></a></li>
285
              <li><a href="<?php echo $menu['devel']['path']; ?>" target="_top" class="button"><span class="text"><?php echo $menu['devel']['text']; ?></span></a></li>
286
            </ul>
286
            </ul>
287
            <ul style="margin-bottom: 0.2em">
287
            <ul style="margin-bottom: 0.2em">
288
              <li><a href="psf/" target="_top"
288
              <li><a href="psf/" target="_top"
289
                 class="button ancillary"
289
                 class="button ancillary"
290
                 ><abbr title="<?php echo tr("PointedEars' Standard Frases"); ?>"
290
                 ><abbr title="<?php echo tr("PointedEars' Standard Frases"); ?>"
291
                        class="text">psf</abbr></a></li>
291
                        class="text">psf</abbr></a></li>
292
            <li><a href="<?php echo $menu['series']['path']; ?>" target="_top" class="button ancillary"
292
            <li><a href="<?php echo $menu['series']['path']; ?>" target="_top" class="button ancillary"
293
                     title="List of recommended TV shows and episodes, with logos in CSS"
293
                   title="<?php echo tr('List of recommended TV shows and episodes, with logos in CSS'); ?>"
294
                     ><span class="text"><?php echo $menu['series']['text']; ?></span></a></li>
294
                   ><span class="text"><?php echo $menu['series']['text']; ?></span></a></li>
295
              <li><a href="<?php echo $menu['ufpdb']['path']; ?>" target="_top" class="button database"
295
              <li><a href="<?php echo $menu['ufpdb']['path']; ?>" target="_top" class="button database"
296
                     ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
296
                     ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
297
                            class="text"><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
297
                            class="text"><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
298
            </ul>
298
            </ul>
299
            <div style="position: relative; margin-bottom: 1.2em">
299
            <div style="position: relative; margin-bottom: 1.2em">
300
              <div class="bow" style="width: 8em; height: 0.8em">&nbsp;</div>
300
              <div class="bow" style="width: 8em; height: 0.8em">&nbsp;</div>
301
            </div>
301
            </div>
302
            <ul>
302
            <ul>
303
              <li><a href="http://climateapps2.oerc.ox.ac.uk/cpdnboinc/show_user.php?userid=648544"
303
              <li><a href="http://climateapps2.oerc.ox.ac.uk/cpdnboinc/show_user.php?userid=648544"
304
                     target="_top" class="button secondary"
304
                     target="_top" class="button secondary"
305
                     title="<?php echo tr("The world’s largest climate forecasting experiment for the 21st century"); ?>"
305
                     title="<?php echo tr("The world’s largest climate forecasting experiment for the 21st century"); ?>"
306
                     ><span class="text">climateprediction.net</span></a></li>
306
                     ><span class="text">climateprediction.net</span></a></li>
307
<?php /* http://vspx27.stanford.edu/cgi-bin/main.py?qtype=userpage&amp;username=Thomas_Lahn */ ?>
307
<?php /* http://vspx27.stanford.edu/cgi-bin/main.py?qtype=userpage&amp;username=Thomas_Lahn */ ?>
308
              <li><a href="<?php echo tr("http://folding.stanford.edu/English/HomePage"); ?>"
308
              <li><a href="<?php echo tr("http://folding.stanford.edu/English/HomePage"); ?>"
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="https://twitter.com/PointedEars2"
-
 
321
                    target="_top" class="button secondary"
-
 
322
                    title="<?php echo tr("Me on Twitter"); ?>"
-
 
323
                    ><span class="text">Twitter</span></a></li>
320
           </ul>
324
           </ul>
321
<?php /*
325
<?php /*
322
            <script type="text/javascript">
326
            <script type="text/javascript">
323
              var sURL = location.href;
327
              var sURL = location.href;
324
              var sFavAnchorTitle =
328
              var sFavAnchorTitle =
325
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
329
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
326
                + " hinzuzufügen";
330
                + " hinzuzufügen";
327
              var sOtherAnchorTitle =
331
              var sOtherAnchorTitle =
328
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
332
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
329
                + " Ihren Lesezeichen hinzuzufügen";
333
                + " Ihren Lesezeichen hinzuzufügen";
330
              var sFavoriteTitle = "PointedEars' Website";
334
              var sFavoriteTitle = "PointedEars' Website";
331
       
335
       
332
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
336
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
333
              {
337
              {
334
                document.write(
338
                document.write(
335
                    '<div style="position: relative; margin-top: 1em; border-bottom: 0.2em solid transparent">'
339
                    '<div style="position: relative; margin-top: 1em; border-bottom: 0.2em solid transparent">'
336
                  + '  <div class="bow" style="width: 8em; height: 1em">&nbsp;<\/div>'
340
                  + '  <div class="bow" style="width: 8em; height: 1em">&nbsp;<\/div>'
337
                  + '  <div class="bow" style="position: absolute; top: 0; left: 8.2em; width: 2em; height: 1em">&nbsp;<\/div>'
341
                  + '  <div class="bow" style="position: absolute; top: 0; left: 8.2em; width: 2em; height: 1em">&nbsp;<\/div>'
338
                  + '</div>'
342
                  + '</div>'
339
                  + '<a href="javascript:window.external.AddFavorite('
343
                  + '<a href="javascript:window.external.AddFavorite('
340
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
344
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
341
                  + ' class="button"'
345
                  + ' class="button"'
342
                  + ' onclick="window.external.AddFavorite('
346
                  + ' onclick="window.external.AddFavorite('
343
                  + ' sURL, sFavoriteTitle); return false"'
347
                  + ' sURL, sFavoriteTitle); return false"'
344
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
348
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
345
                  + ' onmouseout="return resetStatus()"'
349
                  + ' onmouseout="return resetStatus()"'
346
                  + '><span class="text">Favorit<\/span><\/a>');
350
                  + '><span class="text">Favorit<\/span><\/a>');
347
              }
351
              }
348
            </script>
352
            </script>
349
*/ ?>
353
*/ ?>
350
          </nav>
354
          </nav>
351
        </div>
355
        </div>
352
      </div>
356
      </div>
353
      <div id="connectors">
357
      <div id="connectors">
354
        <div class="bow top left">&nbsp;</div>
358
        <div class="bow top left">&nbsp;</div>
355
        <div class="bow top right">&nbsp;</div>
359
        <div class="bow top right">&nbsp;</div>
356
       
360
       
357
        <div class="bow mid left">&nbsp;</div>
361
        <div class="bow mid left">&nbsp;</div>
358
        <div class="bow mid right">&nbsp;</div>
362
        <div class="bow mid right">&nbsp;</div>
359
      </div>
363
      </div>
360
      <div class="multi-display">
364
      <div class="multi-display">
361
        <div class="upper">
365
        <div class="upper">
362
          <div class="content">
366
          <div class="content">
363
            <div class="title"><span>Home</span></div>
367
            <div class="title"><span>Home</span></div>
364
            <div class="analysis">
368
            <div class="analysis">
365
              <table>
369
              <table>
366
                <tr>
370
                <tr>
367
                  <th><?php echo tr('Display'); ?>:</th>
371
                  <th><?php echo tr('Display'); ?>:</th>
368
                  <td><script type="text/javascript">
372
                  <td><script type="text/javascript">
369
                    var runAsync = jsx.dom.timeout.runAsync;
373
                    var runAsync = jsx.dom.timeout.runAsync;
370
                    var ID_SCREEN_DIM = 'screenDim';
374
                    var ID_SCREEN_DIM = 'screenDim';
371
                    var ID_AVAIL_DIM = 'availDim';
375
                    var ID_AVAIL_DIM = 'availDim';
372
                    var ID_INNER_DIM = 'innerDim';
376
                    var ID_INNER_DIM = 'innerDim';
373
                   
377
                   
374
                    var dim = (function () {
378
                    var dim = (function () {
375
                      var screenInfo = jsx.dom.window.screenInfo;
379
                      var screenInfo = jsx.dom.window.screenInfo;
376
380
377
                      return {
381
                      return {
378
                        getScreenText: function () {
382
                        getScreenText: function () {
379
                          var screenDim = screenInfo.getDim();
383
                          var screenDim = screenInfo.getDim();
380
                          return screenDim.width + "×" + screenDim.height;
384
                          return screenDim.width + "×" + screenDim.height;
381
                        },
385
                        },
382
 
386
 
383
                        getAvailText: function () {
387
                        getAvailText: function () {
384
                          var availDim = screenInfo.getAvailDim();
388
                          var availDim = screenInfo.getAvailDim();
385
                          return availDim.width + "×" + availDim.height + " <?php echo tr('available'); ?>";
389
                          return availDim.width + "×" + availDim.height + " <?php echo tr('available'); ?>";
386
                        },
390
                        },
387
 
391
 
388
                        getInnerText: function () {
392
                        getInnerText: function () {
389
                          var innerDim = screenInfo.getInnerDim();
393
                          var innerDim = screenInfo.getInnerDim();
390
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo tr('used'); ?>";
394
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo tr('used'); ?>";
391
                        },
395
                        },
392
 
396
 
393
                        getColorDepthText: function () {
397
                        getColorDepthText: function () {
394
                          var colorDepth = screenInfo.getColorDepth();
398
                          var colorDepth = screenInfo.getColorDepth();
395
                          return colorDepth
399
                          return colorDepth
396
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo tr('colors'); ?>"
400
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo tr('colors'); ?>"
397
                            : "";
401
                            : "";
398
                        }
402
                        }
399
                      };
403
                      };
400
                    }());
404
                    }());
401
                   
405
                   
402
                    (function () {
406
                    (function () {
403
407
404
                      var screenDimText = dim.getScreenText();
408
                      var screenDimText = dim.getScreenText();
405
                      var availDimText = dim.getAvailText();
409
                      var availDimText = dim.getAvailText();
406
                      var innerDimText = dim.getInnerText();
410
                      var innerDimText = dim.getInnerText();
407
                      var colorDepthText = dim.getColorDepthText();
411
                      var colorDepthText = dim.getColorDepthText();
408
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
412
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
409
                        ?   (screenDimText ? '<span id="' + ID_SCREEN_DIM + '">' + screenDimText + '<\/span> <?php echo tr('pixels'); ?>' : "")
413
                        ?   (screenDimText ? '<span id="' + ID_SCREEN_DIM + '">' + screenDimText + '<\/span> <?php echo tr('pixels'); ?>' : "")
410
                          + (availDimText ? ' (<span id="' + ID_AVAIL_DIM + '">' + availDimText + "<\/span>" : "")
414
                          + (availDimText ? ' (<span id="' + ID_AVAIL_DIM + '">' + availDimText + "<\/span>" : "")
411
                          + (innerDimText ? '<span id="' + ID_INNER_DIM + '">' + innerDimText + "<\/span>)" : "")
415
                          + (innerDimText ? '<span id="' + ID_INNER_DIM + '">' + innerDimText + "<\/span>)" : "")
412
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
416
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
413
                        : "<?php echo tr('N/A'); ?>";
417
                        : "<?php echo tr('N/A'); ?>";
414
 
418
 
415
                      /* FIXME: Convert HTML to text, update whole title text */
419
                      /* FIXME: Convert HTML to text, update whole title text */
416
                      document.write('<span>' + displayInfo + '<\/span>');
420
                      document.write('<span>' + displayInfo + '<\/span>');
417
421
418
                      var oColorDepth;
422
                      var oColorDepth;
419
                      runAsync(function () {
423
                      runAsync(function () {
420
                        if (typeof oColorDepth == "undefined")
424
                        if (typeof oColorDepth == "undefined")
421
                        {
425
                        {
422
                          oColorDepth = document.getElementById("colorDepth");
426
                          oColorDepth = document.getElementById("colorDepth");
423
                        }
427
                        }
424
 
428
 
425
                        if (oColorDepth)
429
                        if (oColorDepth)
426
                        {
430
                        {
427
                          var colorDepthText = dim.getColorDepthText();
431
                          var colorDepthText = dim.getColorDepthText();
428
                          /* FIXME: Also update title attribute value */
432
                          /* FIXME: Also update title attribute value */
429
                          if (oColorDepth.innerHTML != colorDepthText)
433
                          if (oColorDepth.innerHTML != colorDepthText)
430
                          {
434
                          {
431
                            oColorDepth.innerHTML = colorDepthText;
435
                            oColorDepth.innerHTML = colorDepthText;
432
                          }
436
                          }
433
                        }
437
                        }
434
438
435
                        this.run();
439
                        this.run();
436
                      }, 1000);
440
                      }, 1000);
437
                    }());
441
                    }());
438
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
442
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
439
                </tr>
443
                </tr>
440
                <tr>
444
                <tr>
441
                  <th><?php echo tr('User Agent'); ?>:</th>
445
                  <th><?php echo tr('User Agent'); ?>:</th>
442
                  <td><script type="text/javascript">
446
                  <td><script type="text/javascript">
443
                    (function () {
447
                    (function () {
444
                      var ua = navigator.userAgent;
448
                      var ua = navigator.userAgent;
445
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
449
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
446
450
447
                      var oUA;
451
                      var oUA;
448
                      runAsync(function () {
452
                      runAsync(function () {
449
                        if (typeof oUA == "undefined")
453
                        if (typeof oUA == "undefined")
450
                        {
454
                        {
451
                          oUA = document.getElementById("ua");
455
                          oUA = document.getElementById("ua");
452
                        }
456
                        }
453
                       
457
                       
454
                        if (oUA)
458
                        if (oUA)
455
                        {
459
                        {
456
                          var ua = navigator.userAgent;
460
                          var ua = navigator.userAgent;
457
461
458
                          if (oUA.innerHTML != ua)
462
                          if (oUA.innerHTML != ua)
459
                          {
463
                          {
460
                            oUA.innerHTML = ua;
464
                            oUA.innerHTML = ua;
461
                          }
465
                          }
462
466
463
                          /* Converts CREs */
467
                          /* Converts CREs */
464
                          var oUAhtml = oUA.innerHTML
468
                          var oUAhtml = oUA.innerHTML
465
                          if (oUA.title != oUAhtml)
469
                          if (oUA.title != oUAhtml)
466
                          {
470
                          {
467
                            oUA.title = oUAhtml;
471
                            oUA.title = oUAhtml;
468
                          }
472
                          }
469
                        }
473
                        }
470
474
471
                        this.run();
475
                        this.run();
472
                      }, 1000);
476
                      }, 1000);
473
                    }());
477
                    }());
474
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
478
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
475
                </tr>
479
                </tr>
476
                <tr>
480
                <tr>
477
                  <th><?php echo tr('Features'); ?>:</th>
481
                  <th><?php echo tr('Features'); ?>:</th>
478
                  <td><script type="text/javascript">
482
                  <td><script type="text/javascript">
479
                    var fullscreen = jsx.dom.window.fullscreen;
483
                    var fullscreen = jsx.dom.window.fullscreen;
480
                 
484
                 
481
                    (function () {
485
                    (function () {
482
                      function getFeatures ()
486
                      function getFeatures ()
483
                      {
487
                      {
484
                        var features = [];
488
                        var features = [];
485
                        if (typeof document.cookie != "undefined")
489
                        if (typeof document.cookie != "undefined")
486
                        {
490
                        {
487
                          var cookiesText = "<?php echo tr('Cookies'); ?>"
491
                          var cookiesText = "<?php echo tr('Cookies'); ?>"
488
                          if (navigator.cookieEnabled)
492
                          if (navigator.cookieEnabled)
489
                          {
493
                          {
490
                            if (document.cookie)
494
                            if (document.cookie)
491
                            {
495
                            {
492
                              features.push(cookiesText);
496
                              features.push(cookiesText);
493
                            }
497
                            }
494
                            else
498
                            else
495
                            {
499
                            {
496
                              features.push('<span class="unavailable"'
500
                              features.push('<span class="unavailable"'
497
                                + ' title="<?php echo tr('Cookies supported, but no data for this site'); ?>"'
501
                                + ' title="<?php echo tr('Cookies supported, but no data for this site'); ?>"'
498
                                + '>' + cookiesText + '<\/span>');
502
                                + '>' + cookiesText + '<\/span>');
499
                            }
503
                            }
500
                          }
504
                          }
501
                          else
505
                          else
502
                          {
506
                          {
503
                            features.push('<span class="offline"'
507
                            features.push('<span class="offline"'
504
                              + ' title="<?php echo tr('Cookies supported, but disabled'); ?>"'
508
                              + ' title="<?php echo tr('Cookies supported, but disabled'); ?>"'
505
                              + '>' + cookiesText + '<\/span>');
509
                              + '>' + cookiesText + '<\/span>');
506
                          }
510
                          }
507
                        }
511
                        }
508
512
509
                        if (fullscreen.isSupportedBy(document.documentElement))
513
                        if (fullscreen.isSupportedBy(document.documentElement))
510
                        {
514
                        {
511
                          features.push("<?php echo tr('Fullscreen'); ?>");
515
                          features.push("<?php echo tr('Fullscreen'); ?>");
512
                        }
516
                        }
513
                       
517
                       
514
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
518
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
515
                        {
519
                        {
516
                          features.push("<?php echo tr('Gamepad'); ?>");
520
                          features.push("<?php echo tr('Gamepad'); ?>");
517
                        }
521
                        }
518
                       
522
                       
519
                        if (navigator.geolocation)
523
                        if (navigator.geolocation)
520
                        {
524
                        {
521
                          features.push("<?php echo tr('Geolocation'); ?>");
525
                          features.push("<?php echo tr('Geolocation'); ?>");
522
                        }
526
                        }
523
527
524
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
528
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
525
                        {
529
                        {
526
                          features.push("Java");
530
                          features.push("Java");
527
                        }
531
                        }
528
                       
532
                       
529
                        var storage = jsx.dom.storage;
533
                        var storage = jsx.dom.storage;
530
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
534
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
531
535
532
                        if (navigator.plugins)
536
                        if (navigator.plugins)
533
                        {
537
                        {
534
                          if (navigator.plugins.length > 0)
538
                          if (navigator.plugins.length > 0)
535
                          {
539
                          {
536
                            features.push('<span title="'
540
                            features.push('<span title="'
537
                              + navigator.plugins.length
541
                              + navigator.plugins.length
538
                              + ' <?php echo tr('plugins installed'); ?>">Plugins<\/span>');
542
                              + ' <?php echo tr('plugins installed'); ?>">Plugins<\/span>');
539
                          }
543
                          }
540
                          else
544
                          else
541
                          {
545
                          {
542
                                features.push('<span class="unavailable"'
546
                                features.push('<span class="unavailable"'
543
                                + ' title="<?php echo tr('Plugins supported, but none detected'); ?>"'
547
                                + ' title="<?php echo tr('Plugins supported, but none detected'); ?>"'
544
                                + '>Plugins<\/span>');
548
                                + '>Plugins<\/span>');
545
                          }
549
                          }
546
                        }
550
                        }
547
551
548
                        if (storage.sessionStorage.isSupported())
552
                        if (storage.sessionStorage.isSupported())
549
                        {
553
                        {
550
                          features.push("Session Storage");
554
                          features.push("Session Storage");
551
                        }
555
                        }
552
556
553
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
557
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
554
                        return features.join(" &#8226; ");
558
                        return features.join(" &#8226; ");
555
                      }
559
                      }
556
560
557
                      function stripTags (s)
561
                      function stripTags (s)
558
                      {
562
                      {
559
                        return s.replace(/<[^>]+>/g, "")
563
                        return s.replace(/<[^>]+>/g, "")
560
                      }
564
                      }
561
                     
565
                     
562
                      var sFeatures = getFeatures();
566
                      var sFeatures = getFeatures();
563
                      document.write('<span id="features" title="'
567
                      document.write('<span id="features" title="'
564
                        + stripTags(sFeatures) + '">' + sFeatures
568
                        + stripTags(sFeatures) + '">' + sFeatures
565
                        + '<\/span>');
569
                        + '<\/span>');
566
570
567
                      var oFeatures;
571
                      var oFeatures;
568
                      var oFeaturesHtml;
572
                      var oFeaturesHtml;
569
                      var tFeatures = runAsync(function () {
573
                      var tFeatures = runAsync(function () {
570
                        if (typeof oFeatures == "undefined")
574
                        if (typeof oFeatures == "undefined")
571
                        {
575
                        {
572
                          oFeatures = document.getElementById("features");
576
                          oFeatures = document.getElementById("features");
573
                        }
577
                        }
574
578
575
                        if (oFeatures)
579
                        if (oFeatures)
576
                        {
580
                        {
577
                          var sNewFeatures = getFeatures();
581
                          var sNewFeatures = getFeatures();
578
582
579
                          if (!oFeaturesHtml)
583
                          if (!oFeaturesHtml)
580
                          {
584
                          {
581
                            oFeaturesHtml = document.createElement("span");
585
                            oFeaturesHtml = document.createElement("span");
582
                          }
586
                          }
583
                         
587
                         
584
                          if (oFeaturesHtml)
588
                          if (oFeaturesHtml)
585
                          {
589
                          {
586
                            oFeaturesHtml.innerHTML = sNewFeatures;
590
                            oFeaturesHtml.innerHTML = sNewFeatures;
587
                            sNewFeatures = oFeaturesHtml.innerHTML;
591
                            sNewFeatures = oFeaturesHtml.innerHTML;
588
                          }
592
                          }
589
                         
593
                         
590
                          if (oFeatures.innerHTML != sNewFeatures)
594
                          if (oFeatures.innerHTML != sNewFeatures)
591
                          {
595
                          {
592
                            oFeatures.innerHTML = sNewFeatures;
596
                            oFeatures.innerHTML = sNewFeatures;
593
                          }
597
                          }
594
598
595
                          /* Converts CREs */
599
                          /* Converts CREs */
596
                          var newTitle = stripTags(oFeatures.innerHTML)
600
                          var newTitle = stripTags(oFeatures.innerHTML)
597
                          if (oFeatures.title != newTitle)
601
                          if (oFeatures.title != newTitle)
598
                          {
602
                          {
599
                            oFeatures.title = newTitle;
603
                            oFeatures.title = newTitle;
600
                          }
604
                          }
601
                        }
605
                        }
602
606
603
                        tFeatures = this.run();
607
                        tFeatures = this.run();
604
                      }, 1000);
608
                      }, 1000);
605
                    }());
609
                    }());
606
610
607
                    var windowText = "<?php echo tr("Window"); ?>";
611
                    var windowText = "<?php echo tr("Window"); ?>";
608
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
612
                  </script><noscript><?php echo tr('N/A'); ?></noscript></td>
609
                </tr>
613
                </tr>
610
              </table>
614
              </table>
611
            </div>
615
            </div>
612
            <ul class="commands">
616
            <ul class="commands">
613
              <li id="cmd1"><a href="index.php"
617
              <li id="cmd1"><a href="index.php"
614
                title="Language selection"
618
                title="Language selection"
615
                tabindex="1"
619
                tabindex="1"
616
                class="button left right"
620
                class="button left right"
617
                onmouseover="return setStatus(this.title + ': ' + this.href)"
621
                onmouseover="return setStatus(this.title + ': ' + this.href)"
618
                onmouseout="return resetStatus()"
622
                onmouseout="return resetStatus()"
619
                onfocus="return this.onmouseover()"
623
                onfocus="return this.onmouseover()"
620
                onblur="return this.onmouseout()"
624
                onblur="return this.onmouseout()"
621
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
625
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
622
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
626
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
623
                title="<?php echo tr('Printable version'); ?>"
627
                title="<?php echo tr('Printable version'); ?>"
624
                tabindex="1"
628
                tabindex="1"
625
                class="button left right"
629
                class="button left right"
626
                onmouseover="return setStatus(this.title + ': ' + this.href)"
630
                onmouseover="return setStatus(this.title + ': ' + this.href)"
627
                onmouseout="return resetStatus()"
631
                onmouseout="return resetStatus()"
628
                onfocus="return this.onmouseover()"
632
                onfocus="return this.onmouseover()"
629
                onblur="return this.onmouseout()"
633
                onblur="return this.onmouseout()"
630
                ><span class="text"><?php echo tr("Printable"); ?></span></a></li>
634
                ><span class="text"><?php echo tr("Printable"); ?></span></a></li>
631
              <li id="cmd3"><div class="button left right"
635
              <li id="cmd3"><div class="button left right"
632
                   style="cursor: not-allowed !important"
636
                   style="cursor: not-allowed !important"
633
                   onclick="fullscreen.requestOn(document.documentElement, this)"
637
                   onclick="fullscreen.requestOn(document.documentElement, this)"
634
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
638
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
635
                   ><span class="text"><script type="text/javascript">
639
                   ><span class="text"><script type="text/javascript">
636
                     var cmd3;
640
                     var cmd3;
637
                     if (fullscreen.isSupportedBy(document.documentElement))
641
                     if (fullscreen.isSupportedBy(document.documentElement))
638
                     {
642
                     {
639
                       jsx.dom.addEventListener(window, "load", function () {
643
                       jsx.dom.addEventListener(window, "load", function () {
640
                         if (typeof cmd3 == "undefined")
644
                         if (typeof cmd3 == "undefined")
641
                         {
645
                         {
642
                           cmd3 = jsx.dom.getElementById("cmd3");
646
                           cmd3 = jsx.dom.getElementById("cmd3");
643
                         }
647
                         }
644
                         
648
                         
645
                         if (cmd3)
649
                         if (cmd3)
646
                         {
650
                         {
647
                           cmd3.firstChild.tabIndex = "1";
651
                           cmd3.firstChild.tabIndex = "1";
648
                         }
652
                         }
649
                       });
653
                       });
650
654
651
                       var fullscreenText = "<?php echo tr("Fullscreen"); ?>";
655
                       var fullscreenText = "<?php echo tr("Fullscreen"); ?>";
652
                       document.write(fullscreenText);
656
                       document.write(fullscreenText);
653
                     }
657
                     }
654
                     
658
                     
655
                     var oScreenDim;
659
                     var oScreenDim;
656
                     var oAvailDim;
660
                     var oAvailDim;
657
                     var oInnerDim;
661
                     var oInnerDim;
658
                     var _gEBI = jsx.dom.getElementById;
662
                     var _gEBI = jsx.dom.getElementById;
659
                     var previousIsFullscreen;
663
                     var previousIsFullscreen;
660
                     var oldHandler;
664
                     var oldHandler;
661
                     
665
                     
662
                     jsx.dom.addEventListener(window, "resize", function () {
666
                     jsx.dom.addEventListener(window, "resize", function () {
663
                       /* FIXME: Also update title attribute value */
667
                       /* FIXME: Also update title attribute value */
664
                       if (typeof oScreenDim == "undefined") oScreenDim = _gEBI(ID_SCREEN_DIM);
668
                       if (typeof oScreenDim == "undefined") oScreenDim = _gEBI(ID_SCREEN_DIM);
665
                       if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
669
                       if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
666
670
667
                       if (typeof oAvailDim == "undefined") oAvailDim = _gEBI(ID_AVAIL_DIM);
671
                       if (typeof oAvailDim == "undefined") oAvailDim = _gEBI(ID_AVAIL_DIM);
668
                       if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
672
                       if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
669
673
670
                       if (typeof oInnerDim == "undefined") oInnerDim = _gEBI(ID_INNER_DIM);
674
                       if (typeof oInnerDim == "undefined") oInnerDim = _gEBI(ID_INNER_DIM);
671
                       if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
675
                       if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
672
                       
676
                       
673
                       if (fullscreen.isSupportedBy(document.documentElement))
677
                       if (fullscreen.isSupportedBy(document.documentElement))
674
                       {
678
                       {
675
                         var nowIsFullscreen = fullscreen.isFullscreen();
679
                         var nowIsFullscreen = fullscreen.isFullscreen();
676
                         if (nowIsFullscreen != previousIsFullscreen)
680
                         if (nowIsFullscreen != previousIsFullscreen)
677
                         {
681
                         {
678
                           if (typeof cmd3 == "undefined")
682
                           if (typeof cmd3 == "undefined")
679
                           {
683
                           {
680
                             cmd3 = document.getElementById("cmd3");
684
                             cmd3 = document.getElementById("cmd3");
681
                           }
685
                           }
682
                           
686
                           
683
                           var target = cmd3.firstChild;
687
                           var target = cmd3.firstChild;
684
                           var textTarget = target.firstChild;
688
                           var textTarget = target.firstChild;
685
                           if (nowIsFullscreen)
689
                           if (nowIsFullscreen)
686
                           {
690
                           {
687
                             oldHandler = target.onclick;
691
                             oldHandler = target.onclick;
688
                             target.onclick = function () {
692
                             target.onclick = function () {
689
                               fullscreen.cancel();
693
                               fullscreen.cancel();
690
                             };
694
                             };
691
                             textTarget.textContent = "<?php echo tr("Window"); ?>";
695
                             textTarget.textContent = "<?php echo tr("Window"); ?>";
692
                           }
696
                           }
693
                           else
697
                           else
694
                           {
698
                           {
695
                             target.onclick = oldHandler;
699
                             target.onclick = oldHandler;
696
                             textTarget.textContent = fullscreenText;
700
                             textTarget.textContent = fullscreenText;
697
                           }
701
                           }
698
                           
702
                           
699
                           previousIsFullscreen = nowIsFullscreen;
703
                           previousIsFullscreen = nowIsFullscreen;
700
                         }
704
                         }
701
                       }
705
                       }
702
                     });
706
                     });
703
                   </script></span></div></li>
707
                   </script></span></div></li>
704
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
708
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
705
            </ul>
709
            </ul>
706
          </div>
710
          </div>
707
          <div class="elbo-button">
711
          <div class="elbo-button">
708
            <span class="text" title="<?php echo tr("Date of last modification"); ?>"
712
            <span class="text" title="<?php echo tr("Date of last modification"); ?>"
709
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
713
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
710
          </div>
714
          </div>
711
          <div class="elbo">
715
          <div class="elbo">
712
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
716
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
713
            <div class="concave">&nbsp;</div>
717
            <div class="concave">&nbsp;</div>
714
          </div>
718
          </div>
715
          <div class="border">
719
          <div class="border">
716
            <div class="left">&nbsp;</div>
720
            <div class="left">&nbsp;</div>
717
            <div class="right">&nbsp;</div>
721
            <div class="right">&nbsp;</div>
718
          </div>
722
          </div>
719
        </div>
723
        </div>
720
        <div class="lower">
724
        <div class="lower">
721
          <div class="elbo">
725
          <div class="elbo">
722
            <div class="concave">&nbsp;</div>
726
            <div class="concave">&nbsp;</div>
723
          </div>
727
          </div>
724
          <div class="bg">&nbsp;</div>
728
          <div class="bg">&nbsp;</div>
725
          <div class="border-container">
729
          <div class="border-container">
726
            <div class="border">
730
            <div class="border">
727
              <div class="left">&nbsp;</div>
731
              <div class="left">&nbsp;</div>
728
              <div class="right">&nbsp;</div>
732
              <div class="right">&nbsp;</div>
729
            </div>
733
            </div>
730
          </div>
734
          </div>
731
        </div>
735
        </div>
732
      </div>
736
      </div>
733
    </div>
737
    </div>
734
  </body>
738
  </body>
735
</html>
739
</html>
736
 
740