Subversion Repositories LCARS

Rev

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

Rev 130 Rev 131
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
*/ ?>
61
*/ ?>
62
    <link rel="stylesheet" type="text/css" href="scripts/builder?type=text/css&amp;prefix=../styles/&amp;src=lcars-basic<?php
62
    <link rel="stylesheet" type="text/css" href="scripts/builder?type=text/css&amp;prefix=../styles/&amp;src=lcars-basic<?php
63
      $isLocal = ($_SERVER['HTTP_HOST'] === 'localhost');
63
      $isLocal = ($_SERVER['HTTP_HOST'] === 'localhost');
64
      if ($isLocal)
64
      if ($isLocal)
65
      {
65
      {
66
        ?>&amp;verbose=1&amp;debug=1<?php
66
        ?>&amp;verbose=1&amp;debug=1<?php
67
      }
67
      }
68
    ?>">
68
    ?>">
69
<?php
69
<?php
70
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
70
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
71
  if (!$printable)
71
  if (!$printable)
72
  {
72
  {
73
?>
73
?>
74
    <link rel="stylesheet" type="text/css" href="scripts/builder?type=text/css&amp;prefix=../styles/&amp;src=lcars22<?php
74
    <link rel="stylesheet" type="text/css" href="scripts/builder?type=text/css&amp;prefix=../styles/&amp;src=lcars22<?php
75
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
75
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
76
      {
76
      {
77
        echo '?ani=' . $_GET['ani'];
77
        echo '?ani=' . $_GET['ani'];
78
      }
78
      }
79
79
80
      if ($isLocal)
80
      if ($isLocal)
81
      {
81
      {
82
        ?>&amp;verbose=1&amp;debug=1<?php
82
        ?>&amp;verbose=1&amp;debug=1<?php
83
      }
83
      }
84
    ?>">
84
    ?>">
85
<?php
85
<?php
86
  }
86
  }
87
?>
87
?>
88
    <style type="text/css">
88
    <style type="text/css">
89
      <!--
89
      <!--
90
      p {
90
      p {
91
        max-width: 100%;
91
        max-width: 100%;
92
      }
92
      }
93
      -->
93
      -->
94
    </style>
94
    </style>
95
95
96
    <script type="text/javascript" src="scripts/builder?src=object,dom,dom/storage,dom/events,dom/timeout,dom/window<?php
96
    <script type="text/javascript" src="scripts/builder?src=object,dom,dom/storage,dom/events,dom/timeout,dom/window<?php
97
      if ($isLocal)
97
      if ($isLocal)
98
      {
98
      {
99
        ?>&amp;verbose=1&amp;debug=1<?php
99
        ?>&amp;verbose=1&amp;debug=1<?php
100
      }
100
      }
101
    ?>"></script>
101
    ?>"></script>
102
    <script type="text/javascript">
102
    <script type="text/javascript">
103
<?php
103
<?php
104
      /*
104
      /*
105
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
105
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
106
      var msLeaveDays = ms1Day*6;
106
      var msLeaveDays = ms1Day*6;
107
      var ms30Days=ms1Day*30;
107
      var ms30Days=ms1Day*30;
108
      var delta;
108
      var delta;
109
      var newTime=new Date();
109
      var newTime=new Date();
110
      var msTime=newTime.getTime();
110
      var msTime=newTime.getTime();
111
      var msExpire=msTime+ms30Days;
111
      var msExpire=msTime+ms30Days;
112
      var expireTime=new Date(msExpire);
112
      var expireTime=new Date(msExpire);
113

113

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

194

195
      <!-- Klicken Sie hier, falls Sie nach 5 Sekunden nicht automatisch
195
      <!-- Klicken Sie hier, falls Sie nach 5 Sekunden nicht automatisch
196
           weitergeleitet werden. -->
196
           weitergeleitet werden. -->
197
*/
197
*/
198
?>
198
?>
199
<?php
199
<?php
200
  $app = "Welcome/$language";
200
  $app = "Welcome/$language";
201
  require_once 'footer.phtml';
201
  require_once 'footer.phtml';
202
      /* embed src="media/interface/speech/de/warten.wav" width="0" height="0"
202
      /* embed src="media/interface/speech/de/warten.wav" width="0" height="0"
203
      hidden="true" autostart="true" dir="ltr" lang="de" */
203
      hidden="true" autostart="true" dir="ltr" lang="de" */
204
?>
204
?>
205
    </div>
205
    </div>
206
    <div id="LCARS">
206
    <div id="LCARS">
207
<?php /*
207
<?php /*
208
      <div id="button-grid" style="position: absolute; opacity: 0.3">
208
      <div id="button-grid" style="position: absolute; opacity: 0.3">
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

210

211
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
211
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
212
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
212
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
213
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
213
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
214
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
214
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
215

215

216
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
216
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
217
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
217
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
218
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
218
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
219
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
219
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
220

220

221
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
221
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
222
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
222
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
223
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
223
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
224
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
224
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
225

225

226
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
226
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
227
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
227
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
228
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
228
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
229
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
229
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
230

230

231
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
231
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
232
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
232
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
233
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
233
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
234
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
234
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
235
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
235
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
236

236

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

241

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

245

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

249

250
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
250
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
251
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
251
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
252
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
252
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
253

253

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