Subversion Repositories LCARS

Rev

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

Rev 132 Rev 133
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
<?php /*
-
 
373
              <table>
372
              <table>
374
                <tr>
373
                <tr>
375
                  <th><?php echo _('Display'); ?>:</th>
374
                  <th><?php echo _('Display'); ?>:</th>
376
                  <td><script type="text/javascript">
375
                  <td><script type="text/javascript">
377
                    var runAsync = jsx.dom.timeout.runAsync;
376
                    var runAsync = jsx.dom.timeout.runAsync;
378
                 
377
                 
379
                    (function () {
378
                    (function () {
380
                      var screenInfo = jsx.dom.window.screenInfo;
379
                      var screenInfo = jsx.dom.window.screenInfo;
381
                     
380
                     
382
                      var dim = {
381
                      var dim = {
383
                        getScreenText: function () {
382
                        getScreenText: function () {
384
                          var screenDim = screenInfo.getDim();
383
                          var screenDim = screenInfo.getDim();
385
                          return screenDim.width + "×" + screenDim.height;
384
                          return screenDim.width + "×" + screenDim.height;
386
                        },
385
                        },
387

386
388
                        getAvailText: function () {
387
                        getAvailText: function () {
389
                          var availDim = screenInfo.getAvailDim();
388
                          var availDim = screenInfo.getAvailDim();
390
                          return availDim.width + "×" + availDim.height + " <?php echo _('available'); ?>";
389
                          return availDim.width + "×" + availDim.height + " <?php echo _('available'); ?>";
391
                        },
390
                        },
392

391
393
                        getInnerText: function () {
392
                        getInnerText: function () {
394
                          var innerDim = screenInfo.getInnerDim();
393
                          var innerDim = screenInfo.getInnerDim();
395
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo _('used'); ?>";
394
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo _('used'); ?>";
396
                        },
395
                        },
397

396
398
                        getColorDepthText: function () {
397
                        getColorDepthText: function () {
399
                          var colorDepth = screenInfo.getColorDepth();
398
                          var colorDepth = screenInfo.getColorDepth();
400
                          return colorDepth
399
                          return colorDepth
401
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo _('colors'); ?>"
400
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo _('colors'); ?>"
402
                            : "";
401
                            : "";
403
                        }
402
                        }
404
                      };
403
                      };
405

404
406
                      var screenDimText = dim.getScreenText();
405
                      var screenDimText = dim.getScreenText();
407
                      var availDimText = dim.getAvailText();
406
                      var availDimText = dim.getAvailText();
408
                      var innerDimText = dim.getInnerText();
407
                      var innerDimText = dim.getInnerText();
409
                      var colorDepthText = dim.getColorDepthText();
408
                      var colorDepthText = dim.getColorDepthText();
410
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
409
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
411
                        ?   (screenDimText ? '<span id="screenDim">' + screenDimText + '<\/span>' : "")
410
                        ?   (screenDimText ? '<span id="screenDim">' + screenDimText + '<\/span>' : "")
412
                          + (availDimText ? ' (<span id="availDim">' + availDimText + "<\/span>" : "")
411
                          + (availDimText ? ' (<span id="availDim">' + availDimText + "<\/span>" : "")
413
                          + (innerDimText ? '<span id="innerDim">' + innerDimText + "<\/span>) <?php echo _('pixels'); ?>" : "")
412
                          + (innerDimText ? '<span id="innerDim">' + innerDimText + "<\/span>) <?php echo _('pixels'); ?>" : "")
414
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
413
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
415
                        : "<?php echo _('N/A'); ?>";
414
                        : "<?php echo _('N/A'); ?>";
416
 
415
 
417
                      // FIXME: Convert HTML to text, update whole title text
416
                      /* FIXME: Convert HTML to text, update whole title text */
418
                      document.write('<span>' + displayInfo + '<\/span>');
417
                      document.write('<span>' + displayInfo + '<\/span>');
419

418
420
                      var oScreenDim;
419
                      var oScreenDim;
421
                      var oAvailDim;
420
                      var oAvailDim;
422
                      var oInnerDim;
421
                      var oInnerDim;
423
                      var _gEBI = jsx.dom.getElementById;
422
                      var _gEBI = jsx.dom.getElementById;
424
                      jsx.dom.addEventListener(window, "resize", function () {
423
                      jsx.dom.addEventListener(window, "resize", function () {
425
                        // FIXME: Also update title attribute value
424
                        /* FIXME: Also update title attribute value */
426
                        if (typeof oScreenDim == "undefined") oScreenDim = _gEBI("screenDim");
425
                        if (typeof oScreenDim == "undefined") oScreenDim = _gEBI("screenDim");
427
                        if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
426
                        if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
428

427
429
                        if (typeof oAvailDim == "undefined") oAvailDim = _gEBI("availDim");
428
                        if (typeof oAvailDim == "undefined") oAvailDim = _gEBI("availDim");
430
                        if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
429
                        if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
431

430
432
                        if (typeof oInnerDim == "undefined") oInnerDim = _gEBI("innerDim");
431
                        if (typeof oInnerDim == "undefined") oInnerDim = _gEBI("innerDim");
433
                        if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
432
                        if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
434
                      });
433
                      });
435

434
436
                      var oColorDepth;
435
                      var oColorDepth;
437
                      runAsync(function () {
436
                      runAsync(function () {
438
                        if (typeof oColorDepth == "undefined")
437
                        if (typeof oColorDepth == "undefined")
439
                        {
438
                        {
440
                          oColorDepth = document.getElementById("colorDepth");
439
                          oColorDepth = document.getElementById("colorDepth");
441
                        }
440
                        }
442
 
441
 
443
                        if (oColorDepth)
442
                        if (oColorDepth)
444
                        {
443
                        {
445
                          // FIXME: Also update title attribute value
444
                          /* FIXME: Also update title attribute value */
446
                          oColorDepth.innerHTML = dim.getColorDepthText();
445
                          oColorDepth.innerHTML = dim.getColorDepthText();
447
                        }
446
                        }
448

447
449
                        this.run();
448
                        this.run();
450
                      }, 1000);
449
                      }, 1000);
451
                    }());
450
                    }());
452
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
451
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
453
                </tr>
452
                </tr>
454
                <tr>
453
                <tr>
455
                  <th><?php echo _('User Agent'); ?>:</th>
454
                  <th><?php echo _('User Agent'); ?>:</th>
456
                  <td><script type="text/javascript">
455
                  <td><script type="text/javascript">
457
                    (function () {
456
                    (function () {
458
                      var ua = navigator.userAgent;
457
                      var ua = navigator.userAgent;
459
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
458
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
460

459
461
                      var oUA;
460
                      var oUA;
462
                      runAsync(function () {
461
                      runAsync(function () {
463
                        if (typeof oUA == "undefined")
462
                        if (typeof oUA == "undefined")
464
                        {
463
                        {
465
                          oUA = document.getElementById("ua");
464
                          oUA = document.getElementById("ua");
466
                        }
465
                        }
467
                       
466
                       
468
                        if (oUA)
467
                        if (oUA)
469
                        {
468
                        {
470
                          oUA.innerHTML = navigator.userAgent;
469
                          oUA.innerHTML = navigator.userAgent;
471

470
472
                          // Converts CREs
471
                          /* Converts CREs */
473
                          oUA.title = oUA.innerHTML;
472
                          oUA.title = oUA.innerHTML;
474
                        }
473
                        }
475

474
476
                        this.run();
475
                        this.run();
477
                      }, 1000);
476
                      }, 1000);
478
                    }());
477
                    }());
479
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
478
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
480
                </tr>
479
                </tr>
481
                <tr>
480
                <tr>
482
                  <th><?php echo _('Features'); ?>:</th>
481
                  <th><?php echo _('Features'); ?>:</th>
483
                  <td>*/ ?><script type="text/javascript">
482
                  <td><script type="text/javascript">
484
                    // FIXME: Move to window.js, keep i18n
483
                    <?php /* FIXME: Move to window.js, keep i18n */ ?>
485
                    var fullscreen = jsx.dom.window.fullscreen = (function () {
484
                    var fullscreen = jsx.dom.window.fullscreen = (function () {
486
                      var _isHostMethod = jsx.object.isHostMethod;
485
                      var _isHostMethod = jsx.object.isHostMethod;
487
                     
486
                     
488
                      return {
487
                      return {
489
                        getSupportedProperty: function (base, names, test) {
488
                        getSupportedProperty: function (base, names, test) {
490
                          for (var i = 0, len = names.length; i < len; ++i)
489
                          for (var i = 0, len = names.length; i < len; ++i)
491
                          {
490
                          {
492
                            var name = names[i];
491
                            var name = names[i];
493
                            if (test.call(null, base, name))
492
                            if (test.call(null, base, name))
494
                            {
493
                            {
495
                              return name;
494
                              return name;
496
                            }
495
                            }
497
                          }
496
                          }
498
 
497
 
499
                          return null;
498
                          return null;
500
                        },
499
                        },
501
 
500
 
502
                        getSupportedCancel: (function () {
501
                        getSupportedCancel: (function () {
503
                          var _supportedCancel;
502
                          var _supportedCancel;
504
 
503
 
505
                          return function () {
504
                          return function () {
506
                            if (typeof _supportedCancel == "undefined")
505
                            if (typeof _supportedCancel == "undefined")
507
                            {
506
                            {
508
                              var properties = ["cancelFullScreen", "mozCancelFullScreen",
507
                              var properties = ["cancelFullScreen", "mozCancelFullScreen",
509
                                                "webkitCancelFullScreen"];
508
                                                "webkitCancelFullScreen"];
510
                           
509
                           
511
                              _supportedCancel = this.getSupportedProperty(document, properties, _isHostMethod);
510
                              _supportedCancel = this.getSupportedProperty(document, properties, _isHostMethod);
512
                            }
511
                            }
513
 
512
 
514
                            return _supportedCancel;
513
                            return _supportedCancel;
515
                          };
514
                          };
516
                        }()),
515
                        }()),
517
                       
516
                       
518
                        getSupportedElement: (function () {
517
                        getSupportedElement: (function () {
519
                          var _supportedElement;
518
                          var _supportedElement;
520
 
519
 
521
                          return function () {
520
                          return function () {
522
                            if (typeof _supportedElement == "undefined")
521
                            if (typeof _supportedElement == "undefined")
523
                            {
522
                            {
524
                              var properties = ["fullscreenElement", "mozFullscreenElement",
523
                              var properties = ["fullscreenElement", "mozFullscreenElement",
525
                                                "webkitFullscreenElement"];
524
                                                "webkitFullscreenElement"];
526
 
525
 
527
                              _supportedElement = this.getSupportedProperty(document, properties,
526
                              _supportedElement = this.getSupportedProperty(document, properties,
528
                                function (base, name) {
527
                                function (base, name) {
529
                                  return typeof base[name] != "undefined";
528
                                  return typeof base[name] != "undefined";
530
                                });
529
                                });
531
                            }
530
                            }
532
 
531
 
533
                            return _supportedElement;
532
                            return _supportedElement;
534
                          };
533
                          };
535
                        }()),
534
                        }()),
536
                       
535
                       
537
                        isSupportedBy: function (elem) {
536
                        isSupportedBy: function (elem) {
538
                          var methods = ["requestFullscreen", "mozRequestFullscreen",
537
                          var methods = ["requestFullscreen", "mozRequestFullscreen",
539
                                         "webkitRequestFullscreen"];
538
                                         "webkitRequestFullscreen"];
540
                          return this.getSupportedProperty(elem, methods, _isHostMethod);
539
                          return this.getSupportedProperty(elem, methods, _isHostMethod);
541
                        },
540
                        },
542
 
541
 
543
                        isFullscreen: function () {
542
                        isFullscreen: function () {
544
                          var properties = ["fullscreenElement", "mozFullscreenElement",
543
                          var properties = ["fullscreenElement", "mozFullscreenElement",
545
                                            "webkitFullscreenElement"];
544
                                            "webkitFullscreenElement"];
546
                          var supportedProperty = this.getSupportedProperty(
545
                          var supportedProperty = this.getSupportedProperty(
547
                            document, properties,
546
                            document, properties,
548
                            function (base, name) {
547
                            function (base, name) {
549
                              return typeof base[name] != "undefined";
548
                              return typeof base[name] != "undefined";
550
                            });
549
                            });
551
 
550
 
552
                          return supportedProperty && document[supportedProperty] != null;
551
                          return supportedProperty && document[supportedProperty] != null;
553
                        },
552
                        },
554
 
553
 
555
                        cancel: function (target, oldHandler, textTarget) {
554
                        cancel: function (target, oldHandler, textTarget) {
556
                          var supportedCancel = this.getSupportedCancel();
555
                          var supportedCancel = this.getSupportedCancel();
557
                          if (supportedCancel)
556
                          if (supportedCancel)
558
                          {
557
                          {
559
                            document[supportedCancel]();
558
                            document[supportedCancel]();
560
                           
559
                           
561
                            var supportedElement = this.getSupportedElement();
560
                            var supportedElement = this.getSupportedElement();
562
                            if (supportedElement)
561
                            if (supportedElement)
563
                            {
562
                            {
564
                              if (document[supportedElement] == null)
563
                              if (document[supportedElement] == null)
565
                              {
564
                              {
566
                                if (textTarget)
565
                                if (textTarget)
567
                                {
566
                                {
568
                                  textTarget.textContent = "<?php echo _("Fullscreen"); ?>";
567
                                  textTarget.textContent = "<?php echo _("Fullscreen"); ?>";
569
                                }
568
                                }
570
                               
569
                               
571
                                if (target)
570
                                if (target)
572
                                {
571
                                {
573
                                  target.onclick = oldHandler;
572
                                  target.onclick = oldHandler;
574
                                }
573
                                }
575
                              }
574
                              }
576
                            }
575
                            }
577
                          }
576
                          }
578
                        },
577
                        },
579
                       
578
                       
580
                        requestOn: function (elem, eventTarget, textTarget) {
579
                        requestOn: function (elem, eventTarget, textTarget) {
581
                          var requestMethodName;
580
                          var requestMethodName;
582
 
581
 
583
                          if (elem && (requestMethodName = this.isSupportedBy(elem)))
582
                          if (elem && (requestMethodName = this.isSupportedBy(elem)))
584
                          {
583
                          {
585
                            elem[requestMethodName]();
584
                            elem[requestMethodName]();
586
                            if (textTarget && this.isFullscreen())
585
                            if (textTarget && this.isFullscreen())
587
                            {
586
                            {
588
                              var oldText = textTarget.textContent;
587
                              var oldText = textTarget.textContent;
589
                              var me = this;
588
                              var me = this;
590
                              var oldHandler = eventTarget.onclick;
589
                              var oldHandler = eventTarget.onclick;
591
                              eventTarget.onclick = function () {
590
                              eventTarget.onclick = function () {
592
                                me.cancel(this, oldHandler, textTarget);
591
                                me.cancel(this, oldHandler, textTarget);
593
                              };
592
                              };
594
                              textTarget.textContent = "<?php echo _("Window"); ?>";
593
                              textTarget.textContent = "<?php echo _("Window"); ?>";
595
                            }
594
                            }
596
                          }
595
                          }
597
                        }
596
                        }
598
                      };
597
                      };
599
                    }());
598
                    }());
600
<?php /*
599
                 
601
                    (function () {
600
                    (function () {
602
                      function getFeatures ()
601
                      function getFeatures ()
603
                      {
602
                      {
604
                        var features = [];
603
                        var features = [];
605
                        if (navigator.cookieEnabled) features.push("<?php echo _('Cookies'); ?>");
604
                        if (navigator.cookieEnabled) features.push("<?php echo _('Cookies'); ?>");
606
                        if (fullscreen.isSupportedBy(document.documentElement)) features.push("<?php echo _('Fullscreen'); ?>");
605
                        if (fullscreen.isSupportedBy(document.documentElement)) features.push("<?php echo _('Fullscreen'); ?>");
607
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length) features.push("<?php echo _('Gamepad'); ?>");
606
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length) features.push("<?php echo _('Gamepad'); ?>");
608
                        if (navigator.geolocation) features.push("<?php echo _('Geolocation'); ?>");
607
                        if (navigator.geolocation) features.push("<?php echo _('Geolocation'); ?>");
609
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled()) features.push("Java");
608
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled()) features.push("Java");
610
                        var storage = jsx.dom.storage;
609
                        var storage = jsx.dom.storage;
611
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
610
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
612
                        if (navigator.plugins) features.push("Plugins");
611
                        if (navigator.plugins) features.push("Plugins");
613
                        if (storage.sessionStorage.isSupported()) features.push("Session Storage");
612
                        if (storage.sessionStorage.isSupported()) features.push("Session Storage");
614
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
613
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
615
                        return features.join(" &#8226; ");
614
                        return features.join(" &#8226; ");
616
                      }
615
                      }
617
 
616
 
618
                      var sFeatures = getFeatures();
617
                      var sFeatures = getFeatures();
619
                      document.write('<span id="features" title="' + sFeatures + '">' + sFeatures + '<\/span>');
618
                      document.write('<span id="features" title="' + sFeatures + '">' + sFeatures + '<\/span>');
620

619
621
                      var oFeatures;
620
                      var oFeatures;
622
                      var tFeatures = runAsync(function () {
621
                      var tFeatures = runAsync(function () {
623
                        if (typeof oFeatures == "undefined")
622
                        if (typeof oFeatures == "undefined")
624
                        {
623
                        {
625
                          oFeatures = document.getElementById("features");
624
                          oFeatures = document.getElementById("features");
626
                        }
625
                        }
627

626
628
                        if (oFeatures)
627
                        if (oFeatures)
629
                        {
628
                        {
630
                          oFeatures.innerHTML = getFeatures();
629
                          oFeatures.innerHTML = getFeatures();
631

630
632
                          // Converts CREs
631
                          /* Converts CREs */
633
                          oFeatures.title = oFeatures.innerHTML;
632
                          oFeatures.title = oFeatures.innerHTML;
634
                        }
633
                        }
635

634
636
                        tFeatures = this.run();
635
                        tFeatures = this.run();
637
                      }, 1000);
636
                      }, 1000);
638
                    }());
637
                    }());
639
*/ ?>
-
 
640
                  </script><?php /* ?><noscript><?php echo _('N/A'); ?></noscript></td> */ ?><?php /*
638
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
641
                </tr>
639
                </tr>
642
              </table>
640
              </table>
643
*/ ?>
-
 
644
            </div>
641
            </div>
645
            <ul class="commands">
642
            <ul class="commands">
646
              <li id="cmd1"><a href="index.php"
643
              <li id="cmd1"><a href="index.php"
647
                title="Language selection"
644
                title="Language selection"
648
                tabindex="1"
645
                tabindex="1"
649
                class="button left right"
646
                class="button left right"
650
                onmouseover="return setStatus(this.title + ': ' + this.href)"
647
                onmouseover="return setStatus(this.title + ': ' + this.href)"
651
                onmouseout="return resetStatus()"
648
                onmouseout="return resetStatus()"
652
                onfocus="return this.onmouseover()"
649
                onfocus="return this.onmouseover()"
653
                onblur="return this.onmouseout()"
650
                onblur="return this.onmouseout()"
654
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
651
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
655
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
652
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
656
                title="<?php echo _('Printable version'); ?>"
653
                title="<?php echo _('Printable version'); ?>"
657
                tabindex="1"
654
                tabindex="1"
658
                class="button left right"
655
                class="button left right"
659
                onmouseover="return setStatus(this.title + ': ' + this.href)"
656
                onmouseover="return setStatus(this.title + ': ' + this.href)"
660
                onmouseout="return resetStatus()"
657
                onmouseout="return resetStatus()"
661
                onfocus="return this.onmouseover()"
658
                onfocus="return this.onmouseover()"
662
                onblur="return this.onmouseout()"
659
                onblur="return this.onmouseout()"
663
                ><span class="text"><?php echo _("Printable"); ?></span></a></li>
660
                ><span class="text"><?php echo _("Printable"); ?></span></a></li>
664
              <li id="cmd3"><div class="button left right"
661
              <li id="cmd3"><div class="button left right"
665
                   style="cursor: not-allowed !important"
662
                   style="cursor: not-allowed !important"
666
                   onclick="fullscreen.requestOn(document.documentElement, this, this.firstChild)"
663
                   onclick="fullscreen.requestOn(document.documentElement, this, this.firstChild)"
667
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
664
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
668
                   tabindex="1"
665
                   tabindex="1"
669
                   ><span class="text"><script type="text/javascript">
666
                   ><span class="text"><script type="text/javascript">
670
                     if (fullscreen.isSupportedBy(document.documentElement))
667
                     if (fullscreen.isSupportedBy(document.documentElement))
671
                     {
668
                     {
672
<?php /*
669
<?php /*
673
                       var previousIsFullscreen = fullscreen.isFullscreen();
670
                       var previousIsFullscreen = fullscreen.isFullscreen();
674
                       var oldHandler;
671
                       var oldHandler;
675
                       window.onresize = function () {
672
                       window.onresize = function () {
676
                         var nowIsFullscreen = fullscreen.isFullscreen();
673
                         var nowIsFullscreen = fullscreen.isFullscreen();
677
                         if (nowIsFullscreen != previousIsFullscreen)
674
                         if (nowIsFullscreen != previousIsFullscreen)
678
                         {
675
                         {
679
                           var cmd3 = document.getElementById("cmd3");
676
                           var cmd3 = document.getElementById("cmd3");
680
                           var target = cmd3.firstChild;
677
                           var target = cmd3.firstChild;
681
                           var textTarget = target.firstChild;
678
                           var textTarget = target.firstChild;
682
                           if (nowIsFullscreen)
679
                           if (nowIsFullscreen)
683
                           {
680
                           {
684
                             oldHandler = target.onclick;
681
                             oldHandler = target.onclick;
685
                           //   fullscreen.requestOn(document.documentElement, cmd3.firstElementChild, cmd3.firstElementChild.firstElementChild);
682
                           //   fullscreen.requestOn(document.documentElement, cmd3.firstElementChild, cmd3.firstElementChild.firstElementChild);
686
                           }
683
                           }
687
                           else
684
                           else
688
                           {
685
                           {
689
                             fullscreen.cancel(target, oldHandler, textTarget);
686
                             fullscreen.cancel(target, oldHandler, textTarget);
690
                           }
687
                           }
691
                           
688
                           
692
                           previousIsFullscreen = nowIsFullscreen;
689
                           previousIsFullscreen = nowIsFullscreen;
693
                         }
690
                         }
694
                       };
691
                       };
695
*/ ?>
692
*/ ?>
696
                       document.write("<?php echo _("Fullscreen"); ?>");
693
                       document.write("<?php echo _("Fullscreen"); ?>");
697
                     }
694
                     }
698
                   </script></span></div></li>
695
                   </script></span></div></li>
699
              <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>
700
            </ul>
697
            </ul>
701
          </div>
698
          </div>
702
          <div class="elbo-button">
699
          <div class="elbo-button">
703
            <span class="text" title="<?php echo _("Date of last modification"); ?>"
700
            <span class="text" title="<?php echo _("Date of last modification"); ?>"
704
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
701
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
705
          </div>
702
          </div>
706
          <div class="elbo">
703
          <div class="elbo">
707
            <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>
708
            <div class="concave">&nbsp;</div>
705
            <div class="concave">&nbsp;</div>
709
          </div>
706
          </div>
710
          <div class="border">
707
          <div class="border">
711
            <div class="left">&nbsp;</div>
708
            <div class="left">&nbsp;</div>
712
            <div class="right">&nbsp;</div>
709
            <div class="right">&nbsp;</div>
713
          </div>
710
          </div>
714
        </div>
711
        </div>
715
        <div class="lower">
712
        <div class="lower">
716
          <div class="elbo">
713
          <div class="elbo">
717
            <div class="concave">&nbsp;</div>
714
            <div class="concave">&nbsp;</div>
718
          </div>
715
          </div>
719
          <div class="bg">&nbsp;</div>
716
          <div class="bg">&nbsp;</div>
720
          <div class="border-container">
717
          <div class="border-container">
721
            <div class="border">
718
            <div class="border">
722
              <div class="left">&nbsp;</div>
719
              <div class="left">&nbsp;</div>
723
              <div class="right">&nbsp;</div>
720
              <div class="right">&nbsp;</div>
724
            </div>
721
            </div>
725
          </div>
722
          </div>
726
        </div>
723
        </div>
727
      </div>
724
      </div>
728
    </div>
725
    </div>
729
  </body>
726
  </body>
730
</html>
727
</html>
731
 
728