Subversion Repositories LCARS

Rev

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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