Subversion Repositories LCARS

Rev

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

Rev 146 Rev 147
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 = _("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 = _("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 _("All rights reserved."); ?> <?php echo _("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 _("All rights reserved."); ?> <?php echo _("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 _("Vulcan greeting"); ?>"
137
            alt="<?php echo _("Vulcan greeting"); ?>"
138
            title="<?php echo _("Vulcan greeting"); ?>"
138
            title="<?php echo _("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 _("Welcome to PointedEars’ Website"); ?></h1>
142
        <?php echo _("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
          _("This site uses recent <a href='https://developer.mozilla.org/en-US/docs/'"
149
          _("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
          _('Printable version'));
154
          _('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 _("PointedEars' Standard Frases"); ?>"
290
                 ><abbr title="<?php echo _("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="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 _("The world’s largest climate forecasting experiment for the 21st century"); ?>"
305
                     title="<?php echo _("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 _("http://folding.stanford.edu/English/HomePage"); ?>"
308
              <li><a href="<?php echo _("http://folding.stanford.edu/English/HomePage"); ?>"
309
                     target="_top" class="button secondary"
309
                     target="_top" class="button secondary"
310
                     title="<?php echo _("Distributed computing to understand protein folding, protein aggregation, and related diseases"); ?>"
310
                     title="<?php echo _("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 _("Particle physics research with the Large Hadron Collider at CERN"); ?>"
314
                    title="<?php echo _("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 _("The Search for Extra-Terrestrial Intelligence at HOME"); ?>"
318
                    title="<?php echo _("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
           </ul>
320
           </ul>
321
<?php /*
321
<?php /*
322
            <script type="text/javascript">
322
            <script type="text/javascript">
323
              var sURL = location.href;
323
              var sURL = location.href;
324
              var sFavAnchorTitle =
324
              var sFavAnchorTitle =
325
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
325
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
326
                + " hinzuzufügen";
326
                + " hinzuzufügen";
327
              var sOtherAnchorTitle =
327
              var sOtherAnchorTitle =
328
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
328
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
329
                + " Ihren Lesezeichen hinzuzufügen";
329
                + " Ihren Lesezeichen hinzuzufügen";
330
              var sFavoriteTitle = "PointedEars' Website";
330
              var sFavoriteTitle = "PointedEars' Website";
331
       
331
       
332
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
332
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
333
              {
333
              {
334
                document.write(
334
                document.write(
335
                    '<div style="position: relative; margin-top: 1em; border-bottom: 0.2em solid transparent">'
335
                    '<div style="position: relative; margin-top: 1em; border-bottom: 0.2em solid transparent">'
336
                  + '  <div class="bow" style="width: 8em; height: 1em">&nbsp;<\/div>'
336
                  + '  <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>'
337
                  + '  <div class="bow" style="position: absolute; top: 0; left: 8.2em; width: 2em; height: 1em">&nbsp;<\/div>'
338
                  + '</div>'
338
                  + '</div>'
339
                  + '<a href="javascript:window.external.AddFavorite('
339
                  + '<a href="javascript:window.external.AddFavorite('
340
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
340
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
341
                  + ' class="button"'
341
                  + ' class="button"'
342
                  + ' onclick="window.external.AddFavorite('
342
                  + ' onclick="window.external.AddFavorite('
343
                  + ' sURL, sFavoriteTitle); return false"'
343
                  + ' sURL, sFavoriteTitle); return false"'
344
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
344
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
345
                  + ' onmouseout="return resetStatus()"'
345
                  + ' onmouseout="return resetStatus()"'
346
                  + '><span class="text">Favorit<\/span><\/a>');
346
                  + '><span class="text">Favorit<\/span><\/a>');
347
              }
347
              }
348
            </script>
348
            </script>
349
*/ ?>
349
*/ ?>
350
          </nav>
350
          </nav>
351
        </div>
351
        </div>
352
      </div>
352
      </div>
353
      <div id="connectors">
353
      <div id="connectors">
354
        <div class="bow top left">&nbsp;</div>
354
        <div class="bow top left">&nbsp;</div>
355
        <div class="bow top right">&nbsp;</div>
355
        <div class="bow top right">&nbsp;</div>
356
       
356
       
357
        <div class="bow mid left">&nbsp;</div>
357
        <div class="bow mid left">&nbsp;</div>
358
        <div class="bow mid right">&nbsp;</div>
358
        <div class="bow mid right">&nbsp;</div>
359
      </div>
359
      </div>
360
      <div class="multi-display">
360
      <div class="multi-display">
361
        <div class="upper">
361
        <div class="upper">
362
          <div class="content">
362
          <div class="content">
363
            <div class="title"><span>Home</span></div>
363
            <div class="title"><span>Home</span></div>
364
            <div class="analysis">
364
            <div class="analysis">
365
              <table>
365
              <table>
366
                <tr>
366
                <tr>
367
                  <th><?php echo _('Display'); ?>:</th>
367
                  <th><?php echo _('Display'); ?>:</th>
368
                  <td><script type="text/javascript">
368
                  <td><script type="text/javascript">
369
                    var runAsync = jsx.dom.timeout.runAsync;
369
                    var runAsync = jsx.dom.timeout.runAsync;
370
                    var ID_SCREEN_DIM = 'screenDim';
370
                    var ID_SCREEN_DIM = 'screenDim';
371
                    var ID_AVAIL_DIM = 'availDim';
371
                    var ID_AVAIL_DIM = 'availDim';
372
                    var ID_INNER_DIM = 'innerDim';
372
                    var ID_INNER_DIM = 'innerDim';
373
                   
373
                   
374
                    var dim = (function () {
374
                    var dim = (function () {
375
                      var screenInfo = jsx.dom.window.screenInfo;
375
                      var screenInfo = jsx.dom.window.screenInfo;
376
376
377
                      return {
377
                      return {
378
                        getScreenText: function () {
378
                        getScreenText: function () {
379
                          var screenDim = screenInfo.getDim();
379
                          var screenDim = screenInfo.getDim();
380
                          return screenDim.width + "×" + screenDim.height;
380
                          return screenDim.width + "×" + screenDim.height;
381
                        },
381
                        },
382
 
382
 
383
                        getAvailText: function () {
383
                        getAvailText: function () {
384
                          var availDim = screenInfo.getAvailDim();
384
                          var availDim = screenInfo.getAvailDim();
385
                          return availDim.width + "×" + availDim.height + " <?php echo _('available'); ?>";
385
                          return availDim.width + "×" + availDim.height + " <?php echo _('available'); ?>";
386
                        },
386
                        },
387
 
387
 
388
                        getInnerText: function () {
388
                        getInnerText: function () {
389
                          var innerDim = screenInfo.getInnerDim();
389
                          var innerDim = screenInfo.getInnerDim();
390
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo _('used'); ?>";
390
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo _('used'); ?>";
391
                        },
391
                        },
392
 
392
 
393
                        getColorDepthText: function () {
393
                        getColorDepthText: function () {
394
                          var colorDepth = screenInfo.getColorDepth();
394
                          var colorDepth = screenInfo.getColorDepth();
395
                          return colorDepth
395
                          return colorDepth
396
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo _('colors'); ?>"
396
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo _('colors'); ?>"
397
                            : "";
397
                            : "";
398
                        }
398
                        }
399
                      };
399
                      };
400
                    }());
400
                    }());
401
                   
401
                   
402
                    (function () {
402
                    (function () {
403
403
404
                      var screenDimText = dim.getScreenText();
404
                      var screenDimText = dim.getScreenText();
405
                      var availDimText = dim.getAvailText();
405
                      var availDimText = dim.getAvailText();
406
                      var innerDimText = dim.getInnerText();
406
                      var innerDimText = dim.getInnerText();
407
                      var colorDepthText = dim.getColorDepthText();
407
                      var colorDepthText = dim.getColorDepthText();
408
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
408
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
409
                        ?   (screenDimText ? '<span id="' + ID_SCREEN_DIM + '">' + screenDimText + '<\/span> <?php echo _('pixels'); ?>' : "")
409
                        ?   (screenDimText ? '<span id="' + ID_SCREEN_DIM + '">' + screenDimText + '<\/span> <?php echo _('pixels'); ?>' : "")
410
                          + (availDimText ? ' (<span id="' + ID_AVAIL_DIM + '">' + availDimText + "<\/span>" : "")
410
                          + (availDimText ? ' (<span id="' + ID_AVAIL_DIM + '">' + availDimText + "<\/span>" : "")
411
                          + (innerDimText ? '<span id="' + ID_INNER_DIM + '">' + innerDimText + "<\/span>)" : "")
411
                          + (innerDimText ? '<span id="' + ID_INNER_DIM + '">' + innerDimText + "<\/span>)" : "")
412
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
412
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
413
                        : "<?php echo _('N/A'); ?>";
413
                        : "<?php echo _('N/A'); ?>";
414
 
414
 
415
                      /* FIXME: Convert HTML to text, update whole title text */
415
                      /* FIXME: Convert HTML to text, update whole title text */
416
                      document.write('<span>' + displayInfo + '<\/span>');
416
                      document.write('<span>' + displayInfo + '<\/span>');
417
417
418
                      var oColorDepth;
418
                      var oColorDepth;
419
                      runAsync(function () {
419
                      runAsync(function () {
420
                        if (typeof oColorDepth == "undefined")
420
                        if (typeof oColorDepth == "undefined")
421
                        {
421
                        {
422
                          oColorDepth = document.getElementById("colorDepth");
422
                          oColorDepth = document.getElementById("colorDepth");
423
                        }
423
                        }
424
 
424
 
425
                        if (oColorDepth)
425
                        if (oColorDepth)
426
                        {
426
                        {
427
                          var colorDepthText = dim.getColorDepthText();
427
                          var colorDepthText = dim.getColorDepthText();
428
                          /* FIXME: Also update title attribute value */
428
                          /* FIXME: Also update title attribute value */
429
                          if (oColorDepth.innerHTML != colorDepthText)
429
                          if (oColorDepth.innerHTML != colorDepthText)
430
                          {
430
                          {
431
                            oColorDepth.innerHTML = colorDepthText;
431
                            oColorDepth.innerHTML = colorDepthText;
432
                          }
432
                          }
433
                        }
433
                        }
434
434
435
                        this.run();
435
                        this.run();
436
                      }, 1000);
436
                      }, 1000);
437
                    }());
437
                    }());
438
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
438
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
439
                </tr>
439
                </tr>
440
                <tr>
440
                <tr>
441
                  <th><?php echo _('User Agent'); ?>:</th>
441
                  <th><?php echo _('User Agent'); ?>:</th>
442
                  <td><script type="text/javascript">
442
                  <td><script type="text/javascript">
443
                    (function () {
443
                    (function () {
444
                      var ua = navigator.userAgent;
444
                      var ua = navigator.userAgent;
445
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
445
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
446
446
447
                      var oUA;
447
                      var oUA;
448
                      runAsync(function () {
448
                      runAsync(function () {
449
                        if (typeof oUA == "undefined")
449
                        if (typeof oUA == "undefined")
450
                        {
450
                        {
451
                          oUA = document.getElementById("ua");
451
                          oUA = document.getElementById("ua");
452
                        }
452
                        }
453
                       
453
                       
454
                        if (oUA)
454
                        if (oUA)
455
                        {
455
                        {
456
                          var ua = navigator.userAgent;
456
                          var ua = navigator.userAgent;
457
457
458
                          if (oUA.innerHTML != ua)
458
                          if (oUA.innerHTML != ua)
459
                          {
459
                          {
460
                            oUA.innerHTML = ua;
460
                            oUA.innerHTML = ua;
461
                          }
461
                          }
462
462
463
                          /* Converts CREs */
463
                          /* Converts CREs */
464
                          var oUAhtml = oUA.innerHTML
464
                          var oUAhtml = oUA.innerHTML
465
                          if (oUA.title != oUAhtml)
465
                          if (oUA.title != oUAhtml)
466
                          {
466
                          {
467
                            oUA.title = oUAhtml;
467
                            oUA.title = oUAhtml;
468
                          }
468
                          }
469
                        }
469
                        }
470
470
471
                        this.run();
471
                        this.run();
472
                      }, 1000);
472
                      }, 1000);
473
                    }());
473
                    }());
474
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
474
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
475
                </tr>
475
                </tr>
476
                <tr>
476
                <tr>
477
                  <th><?php echo _('Features'); ?>:</th>
477
                  <th><?php echo _('Features'); ?>:</th>
478
                  <td><script type="text/javascript">
478
                  <td><script type="text/javascript">
479
                    var fullscreen = jsx.dom.window.fullscreen;
479
                    var fullscreen = jsx.dom.window.fullscreen;
480
                 
480
                 
481
                    (function () {
481
                    (function () {
482
                      function getFeatures ()
482
                      function getFeatures ()
483
                      {
483
                      {
484
                        var features = [];
484
                        var features = [];
485
                        if (typeof document.cookie != "undefined")
485
                        if (typeof document.cookie != "undefined")
486
                        {
486
                        {
487
                          var cookiesText = "<?php echo _('Cookies'); ?>"
487
                          var cookiesText = "<?php echo _('Cookies'); ?>"
488
                          if (navigator.cookieEnabled)
488
                          if (navigator.cookieEnabled)
489
                          {
489
                          {
490
                            if (document.cookie)
490
                            if (document.cookie)
491
                            {
491
                            {
492
                              features.push(cookiesText);
492
                              features.push(cookiesText);
493
                            }
493
                            }
494
                            else
494
                            else
495
                            {
495
                            {
496
                              features.push('<span class="unavailable"'
496
                              features.push('<span class="unavailable"'
497
                                +' title="Cookies supported, but no data for this site">' + cookiesText + '<\/span>');
497
                                +' title="Cookies supported, but no data for this site">' + cookiesText + '<\/span>');
498
                            }
498
                            }
499
                          }
499
                          }
500
                          else
500
                          else
501
                          {
501
                          {
502
                            features.push('<span class="offline" title="Cookies supported, but disabled">' + cookiesText + '<\/span>');
502
                            features.push('<span class="offline" title="Cookies supported, but disabled">' + cookiesText + '<\/span>');
503
                          }
503
                          }
504
                        }
504
                        }
505
505
506
                        if (fullscreen.isSupportedBy(document.documentElement))
506
                        if (fullscreen.isSupportedBy(document.documentElement))
507
                        {
507
                        {
508
                          features.push("<?php echo _('Fullscreen'); ?>");
508
                          features.push("<?php echo _('Fullscreen'); ?>");
509
                        }
509
                        }
510
                       
510
                       
511
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
511
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
512
                        {
512
                        {
513
                          features.push("<?php echo _('Gamepad'); ?>");
513
                          features.push("<?php echo _('Gamepad'); ?>");
514
                        }
514
                        }
515
                       
515
                       
516
                        if (navigator.geolocation)
516
                        if (navigator.geolocation)
517
                        {
517
                        {
518
                          features.push("<?php echo _('Geolocation'); ?>");
518
                          features.push("<?php echo _('Geolocation'); ?>");
519
                        }
519
                        }
520
520
521
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
521
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
522
                        {
522
                        {
523
                          features.push("Java");
523
                          features.push("Java");
524
                        }
524
                        }
525
                       
525
                       
526
                        var storage = jsx.dom.storage;
526
                        var storage = jsx.dom.storage;
527
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
527
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
528
528
529
                        if (navigator.plugins)
529
                        if (navigator.plugins)
530
                        {
530
                        {
531
                          if (navigator.plugins.length > 0)
531
                          if (navigator.plugins.length > 0)
532
                          {
532
                          {
533
                            features.push('<span title="'
533
                            features.push('<span title="'
534
                              + navigator.plugins.length
534
                              + navigator.plugins.length
535
                              + ' plugins installed">Plugins<\/span>');
535
                              + ' plugins installed">Plugins<\/span>');
536
                          }
536
                          }
537
                          else
537
                          else
538
                          {
538
                          {
539
                                features.push('<span class="unavailable" title="Plugins supported, but none detected">Plugins<\/span>');
539
                                features.push('<span class="unavailable" title="Plugins supported, but none detected">Plugins<\/span>');
540
                          }
540
                          }
541
                        }
541
                        }
542
542
543
                        if (storage.sessionStorage.isSupported())
543
                        if (storage.sessionStorage.isSupported())
544
                        {
544
                        {
545
                          features.push("Session Storage");
545
                          features.push("Session Storage");
546
                        }
546
                        }
547
547
548
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
548
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
549
                        return features.join(" &#8226; ");
549
                        return features.join(" &#8226; ");
550
                      }
550
                      }
551
551
552
                      function stripTags (s)
552
                      function stripTags (s)
553
                      {
553
                      {
554
                        return s.replace(/<[^>]+>/g, "")
554
                        return s.replace(/<[^>]+>/g, "")
555
                      }
555
                      }
556
                     
556
                     
557
                      var sFeatures = getFeatures();
557
                      var sFeatures = getFeatures();
558
                      document.write('<span id="features" title="' + stripTags(sFeatures) + '">' + sFeatures + '<\/span>');
558
                      document.write('<span id="features" title="' + stripTags(sFeatures) + '">' + sFeatures + '<\/span>');
559
559
560
                      var oFeatures;
560
                      var oFeatures;
561
                      var oFeaturesHtml;
561
                      var oFeaturesHtml;
562
                      var tFeatures = runAsync(function () {
562
                      var tFeatures = runAsync(function () {
563
                        if (typeof oFeatures == "undefined")
563
                        if (typeof oFeatures == "undefined")
564
                        {
564
                        {
565
                          oFeatures = document.getElementById("features");
565
                          oFeatures = document.getElementById("features");
566
                        }
566
                        }
567
567
568
                        if (oFeatures)
568
                        if (oFeatures)
569
                        {
569
                        {
570
                          var sNewFeatures = getFeatures();
570
                          var sNewFeatures = getFeatures();
571
571
572
                          if (!oFeaturesHtml)
572
                          if (!oFeaturesHtml)
573
                          {
573
                          {
574
                            oFeaturesHtml = document.createElement("span");
574
                            oFeaturesHtml = document.createElement("span");
575
                          }
575
                          }
576
                         
576
                         
577
                          if (oFeaturesHtml)
577
                          if (oFeaturesHtml)
578
                          {
578
                          {
579
                            oFeaturesHtml.innerHTML = sNewFeatures;
579
                            oFeaturesHtml.innerHTML = sNewFeatures;
580
                            sNewFeatures = oFeaturesHtml.innerHTML;
580
                            sNewFeatures = oFeaturesHtml.innerHTML;
581
                          }
581
                          }
582
                         
582
                         
583
                          if (oFeatures.innerHTML != sNewFeatures)
583
                          if (oFeatures.innerHTML != sNewFeatures)
584
                          {
584
                          {
585
                            oFeatures.innerHTML = sNewFeatures;
585
                            oFeatures.innerHTML = sNewFeatures;
586
                          }
586
                          }
587
587
588
                          /* Converts CREs */
588
                          /* Converts CREs */
589
                          var newTitle = stripTags(oFeatures.innerHTML)
589
                          var newTitle = stripTags(oFeatures.innerHTML)
590
                          if (oFeatures.title != newTitle)
590
                          if (oFeatures.title != newTitle)
591
                          {
591
                          {
592
                            oFeatures.title = newTitle;
592
                            oFeatures.title = newTitle;
593
                          }
593
                          }
594
                        }
594
                        }
595
595
596
                        tFeatures = this.run();
596
                        tFeatures = this.run();
597
                      }, 1000);
597
                      }, 1000);
598
                    }());
598
                    }());
599
599
600
                    var windowText = "<?php echo _("Window"); ?>";
600
                    var windowText = "<?php echo _("Window"); ?>";
601
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
601
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
602
                </tr>
602
                </tr>
603
              </table>
603
              </table>
604
            </div>
604
            </div>
605
            <ul class="commands">
605
            <ul class="commands">
606
              <li id="cmd1"><a href="index.php"
606
              <li id="cmd1"><a href="index.php"
607
                title="Language selection"
607
                title="Language selection"
608
                tabindex="1"
608
                tabindex="1"
609
                class="button left right"
609
                class="button left right"
610
                onmouseover="return setStatus(this.title + ': ' + this.href)"
610
                onmouseover="return setStatus(this.title + ': ' + this.href)"
611
                onmouseout="return resetStatus()"
611
                onmouseout="return resetStatus()"
612
                onfocus="return this.onmouseover()"
612
                onfocus="return this.onmouseover()"
613
                onblur="return this.onmouseout()"
613
                onblur="return this.onmouseout()"
614
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
614
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
615
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
615
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
616
                title="<?php echo _('Printable version'); ?>"
616
                title="<?php echo _('Printable version'); ?>"
617
                tabindex="1"
617
                tabindex="1"
618
                class="button left right"
618
                class="button left right"
619
                onmouseover="return setStatus(this.title + ': ' + this.href)"
619
                onmouseover="return setStatus(this.title + ': ' + this.href)"
620
                onmouseout="return resetStatus()"
620
                onmouseout="return resetStatus()"
621
                onfocus="return this.onmouseover()"
621
                onfocus="return this.onmouseover()"
622
                onblur="return this.onmouseout()"
622
                onblur="return this.onmouseout()"
623
                ><span class="text"><?php echo _("Printable"); ?></span></a></li>
623
                ><span class="text"><?php echo _("Printable"); ?></span></a></li>
624
              <li id="cmd3"><div class="button left right"
624
              <li id="cmd3"><div class="button left right"
625
                   style="cursor: not-allowed !important"
625
                   style="cursor: not-allowed !important"
626
                   onclick="fullscreen.requestOn(document.documentElement, this)"
626
                   onclick="fullscreen.requestOn(document.documentElement, this)"
627
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
627
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
628
                   ><span class="text"><script type="text/javascript">
628
                   ><span class="text"><script type="text/javascript">
629
                     var cmd3;
629
                     var cmd3;
630
                     if (fullscreen.isSupportedBy(document.documentElement))
630
                     if (fullscreen.isSupportedBy(document.documentElement))
631
                     {
631
                     {
632
                       jsx.dom.addEventListener(window, "load", function () {
632
                       jsx.dom.addEventListener(window, "load", function () {
633
                         if (typeof cmd3 == "undefined")
633
                         if (typeof cmd3 == "undefined")
634
                         {
634
                         {
635
                           cmd3 = jsx.dom.getElementById("cmd3");
635
                           cmd3 = jsx.dom.getElementById("cmd3");
636
                         }
636
                         }
637
                         
637
                         
638
                         if (cmd3)
638
                         if (cmd3)
639
                         {
639
                         {
640
                           cmd3.firstChild.tabIndex = "1";
640
                           cmd3.firstChild.tabIndex = "1";
641
                         }
641
                         }
642
                       });
642
                       });
-
 
643
-
 
644
                       var fullscreenText = "<?php echo _("Fullscreen"); ?>";
-
 
645
                       document.write(fullscreenText);
643
                     }
646
                     }
644
                     
647
                     
645
                     var oScreenDim;
648
                     var oScreenDim;
646
                     var oAvailDim;
649
                     var oAvailDim;
647
                     var oInnerDim;
650
                     var oInnerDim;
648
                     var _gEBI = jsx.dom.getElementById;
651
                     var _gEBI = jsx.dom.getElementById;
649
                     var previousIsFullscreen;
652
                     var previousIsFullscreen;
650
                     var oldHandler;
653
                     var oldHandler;
651
                     
654
                     
652
                     jsx.dom.addEventListener(window, "resize", function () {
655
                     jsx.dom.addEventListener(window, "resize", function () {
653
                       /* FIXME: Also update title attribute value */
656
                       /* FIXME: Also update title attribute value */
654
                       if (typeof oScreenDim == "undefined") oScreenDim = _gEBI(ID_SCREEN_DIM);
657
                       if (typeof oScreenDim == "undefined") oScreenDim = _gEBI(ID_SCREEN_DIM);
655
                       if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
658
                       if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
656
659
657
                       if (typeof oAvailDim == "undefined") oAvailDim = _gEBI(ID_AVAIL_DIM);
660
                       if (typeof oAvailDim == "undefined") oAvailDim = _gEBI(ID_AVAIL_DIM);
658
                       if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
661
                       if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
659
662
660
                       if (typeof oInnerDim == "undefined") oInnerDim = _gEBI(ID_INNER_DIM);
663
                       if (typeof oInnerDim == "undefined") oInnerDim = _gEBI(ID_INNER_DIM);
661
                       if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
664
                       if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
662
                       
665
                       
663
                       if (fullscreen.isSupportedBy(document.documentElement))
666
                       if (fullscreen.isSupportedBy(document.documentElement))
664
                       {
667
                       {
665
                         var nowIsFullscreen = fullscreen.isFullscreen();
668
                         var nowIsFullscreen = fullscreen.isFullscreen();
666
                         if (nowIsFullscreen != previousIsFullscreen)
669
                         if (nowIsFullscreen != previousIsFullscreen)
667
                         {
670
                         {
668
                           if (typeof cmd3 == "undefined")
671
                           if (typeof cmd3 == "undefined")
669
                           {
672
                           {
670
                             cmd3 = document.getElementById("cmd3");
673
                             cmd3 = document.getElementById("cmd3");
671
                           }
674
                           }
672
                           
675
                           
673
                           var target = cmd3.firstChild;
676
                           var target = cmd3.firstChild;
674
                           var textTarget = target.firstChild;
677
                           var textTarget = target.firstChild;
675
                           if (nowIsFullscreen)
678
                           if (nowIsFullscreen)
676
                           {
679
                           {
677
                             oldHandler = target.onclick;
680
                             oldHandler = target.onclick;
678
                             target.onclick = function () {
681
                             target.onclick = function () {
679
                               fullscreen.cancel();
682
                               fullscreen.cancel();
680
                             };
683
                             };
681
                             textTarget.textContent = "<?php echo _("Window"); ?>";
684
                             textTarget.textContent = "<?php echo _("Window"); ?>";
682
                           }
685
                           }
683
                           else
686
                           else
684
                           {
687
                           {
685
                             target.onclick = oldHandler;
688
                             target.onclick = oldHandler;
686
                             textTarget.textContent = "<?php echo _("Fullscreen"); ?>";
689
                             textTarget.textContent = fullscreenText;
687
                           }
690
                           }
688
                           
691
                           
689
                           previousIsFullscreen = nowIsFullscreen;
692
                           previousIsFullscreen = nowIsFullscreen;
690
                         }
693
                         }
691
                       }
694
                       }
692
                     });
695
                     });
693
-
 
694
                     document.write("<?php echo _("Fullscreen"); ?>");
-
 
695
                   </script></span></div></li>
696
                   </script></span></div></li>
696
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
697
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
697
            </ul>
698
            </ul>
698
          </div>
699
          </div>
699
          <div class="elbo-button">
700
          <div class="elbo-button">
700
            <span class="text" title="<?php echo _("Date of last modification"); ?>"
701
            <span class="text" title="<?php echo _("Date of last modification"); ?>"
701
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
702
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
702
          </div>
703
          </div>
703
          <div class="elbo">
704
          <div class="elbo">
704
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
705
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
705
            <div class="concave">&nbsp;</div>
706
            <div class="concave">&nbsp;</div>
706
          </div>
707
          </div>
707
          <div class="border">
708
          <div class="border">
708
            <div class="left">&nbsp;</div>
709
            <div class="left">&nbsp;</div>
709
            <div class="right">&nbsp;</div>
710
            <div class="right">&nbsp;</div>
710
          </div>
711
          </div>
711
        </div>
712
        </div>
712
        <div class="lower">
713
        <div class="lower">
713
          <div class="elbo">
714
          <div class="elbo">
714
            <div class="concave">&nbsp;</div>
715
            <div class="concave">&nbsp;</div>
715
          </div>
716
          </div>
716
          <div class="bg">&nbsp;</div>
717
          <div class="bg">&nbsp;</div>
717
          <div class="border-container">
718
          <div class="border-container">
718
            <div class="border">
719
            <div class="border">
719
              <div class="left">&nbsp;</div>
720
              <div class="left">&nbsp;</div>
720
              <div class="right">&nbsp;</div>
721
              <div class="right">&nbsp;</div>
721
            </div>
722
            </div>
722
          </div>
723
          </div>
723
        </div>
724
        </div>
724
      </div>
725
      </div>
725
    </div>
726
    </div>
726
  </body>
727
  </body>
727
</html>
728
</html>
728
 
729