Subversion Repositories LCARS

Rev

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

Rev 133 Rev 134
1
<!DOCTYPE html>
1
<!DOCTYPE html>
2
<html lang="<?php echo $language; ?>">
2
<html lang="<?php echo $language; ?>">
3
  <head>
3
  <head>
4
    <title>Home — PointedEars’ Website</title>
4
    <title>Home — PointedEars’ Website</title>
5
5
6
    <link rel="SHORTCUT ICON" href="favicon.ico">
6
    <link rel="SHORTCUT ICON" href="favicon.ico">
7
7
8
    <!-- Browsers: Character Encoding -->
8
    <!-- Browsers: Character Encoding -->
9
    <meta charset="UTF-8">
9
    <meta charset="UTF-8">
10
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
10
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
11
11
12
    <!-- Robots: Index, Subordinated Files, Description, Author,
12
    <!-- Robots: Index, Subordinated Files, Description, Author,
13
         Keywords, Document Date -->
13
         Keywords, Document Date -->
14
    <meta name="robots" content="index">
14
    <meta name="robots" content="index">
15
    <meta name="robots" content="follow">
15
    <meta name="robots" content="follow">
16
<?php /*
16
<?php /*
17
    <meta name="description"
17
    <meta name="description"
18
          content="PointedEars' Website: <?php
18
          content="PointedEars' Website: <?php
19
            $description = _("Access to the United Federation of Planets Databanks, an online songbook and software downloads always worth a click. Coming soon: The best internet links categorized and much more via a bilingual (English/German) LCARS terminal styled user interface that can be also used to surf the web anonymously! Bookmark NOW!");
19
            $description = _("Access to the United Federation of Planets Databanks, an online songbook and software downloads always worth a click. Coming soon: The best internet links categorized and much more via a bilingual (English/German) LCARS terminal styled user interface that can be also used to surf the web anonymously! Bookmark NOW!");
20
            echo $description;
20
            echo $description;
21
            ?>">
21
            ?>">
22
*/ ?>
22
*/ ?>
23
    <meta name="author" content="Thomas ‘PointedEars’ Lahn">
23
    <meta name="author" content="Thomas ‘PointedEars’ Lahn">
24
24
25
    <?php /* No localization of keywords at the time */ ?>
25
    <?php /* No localization of keywords at the time */ ?>
26
    <meta name="keywords"
26
    <meta name="keywords"
27
          content="Appz, Download, Links, LCARS, Star Trek, TNG, The Next Generation, DS9, Deep Space 9, Deep Space Nine, VOY, Voyager, UFP, Federation, United Federation of Planets, Database, Databank, Song, Songbook, Surf, anonymously, Raumschiff Enterprise, DNG, Die n&auml;chste Generation, VFP, F&ouml;deration, Vereinte F&ouml;deration der Planeten, Datenbasis, Datenbank, Lied, Liedtext, surfen, anonym">
27
          content="Appz, Download, Links, LCARS, Star Trek, TNG, The Next Generation, DS9, Deep Space 9, Deep Space Nine, VOY, Voyager, UFP, Federation, United Federation of Planets, Database, Databank, Song, Songbook, Surf, anonymously, Raumschiff Enterprise, DNG, Die n&auml;chste Generation, VFP, F&ouml;deration, Vereinte F&ouml;deration der Planeten, Datenbasis, Datenbank, Lied, Liedtext, surfen, anonym">
28
<?php /*
28
<?php /*
29
    <meta name="keywords" http-equiv="Keywords" lang="de" content="">
29
    <meta name="keywords" http-equiv="Keywords" lang="de" content="">
30
    <meta name="keywords" http-equiv="Keywords" lang="en-us" content="">
30
    <meta name="keywords" http-equiv="Keywords" lang="en-us" content="">
31
    <meta name="keywords" http-equiv="Keywords" lang="en" content="">
31
    <meta name="keywords" http-equiv="Keywords" lang="en" content="">
32
*/ ?>
32
*/ ?>
33
    <meta name="revisit-after" content="3 days">
33
    <meta name="revisit-after" content="3 days">
34
34
35
    <!-- Robots: Dublin Core Metadata (http://purl.org/metadata/dublin_core) -->
35
    <!-- Robots: Dublin Core Metadata (http://purl.org/metadata/dublin_core) -->
36
    <meta name="dcterms.title" content="PointedEars’ Website">
36
    <meta name="dcterms.title" content="PointedEars’ Website">
37
    <meta name="dcterms.creator" content="Thomas ‘PointedEars’ Lahn">
37
    <meta name="dcterms.creator" content="Thomas ‘PointedEars’ Lahn">
38
    <meta name="dcterms.subject" content="Private Web site">
38
    <meta name="dcterms.subject" content="Private Web site">
39
<?php /*
39
<?php /*
40
    <meta name="dcterms.description"
40
    <meta name="dcterms.description"
41
          content="PointedEars' Website: <?php echo $description; ?>">
41
          content="PointedEars' Website: <?php echo $description; ?>">
42
*/ ?>
42
*/ ?>
43
    <meta name="dcterms.publisher" content="PointedEars">
43
    <meta name="dcterms.publisher" content="PointedEars">
44
    <meta name="dcterms.date" content="2002-05-23T10:56:00+02:00">
44
    <meta name="dcterms.date" content="2002-05-23T10:56:00+02:00">
45
    <meta name="dcterms.created" content="2002-05-23">
45
    <meta name="dcterms.created" content="2002-05-23">
46
    <meta name="dcterms.modified" content="<?php echo gmdate('Y-m-dTH:i:sO', $modi); ?>">
46
    <meta name="dcterms.modified" content="<?php echo gmdate('Y-m-dTH:i:sO', $modi); ?>">
47
<?php /*
47
<?php /*
48
    <meta name="dcterms.type" content="">
48
    <meta name="dcterms.type" content="">
49
    <meta name="dcterms.format" content="">
49
    <meta name="dcterms.format" content="">
50
*/ ?>
50
*/ ?>
51
    <meta name="dcterms.identifier" content="http://pointedears.de/index.<?php echo $language; ?>">
51
    <meta name="dcterms.identifier" content="http://pointedears.de/index.<?php echo $language; ?>">
52
    <meta name="dcterms.language" content="<?php echo $language; ?>">
52
    <meta name="dcterms.language" content="<?php echo $language; ?>">
53
    <meta name="dcterms.rightsHolder"
53
    <meta name="dcterms.rightsHolder"
54
          content="Copyright © 2002&#8211;<?php echo gmdate('Y', $modi); ?> Thomas&nbsp;Lahn.">
54
          content="Copyright © 2002&#8211;<?php echo gmdate('Y', $modi); ?> Thomas&nbsp;Lahn.">
55
    <meta name="dcterms.rights"
55
    <meta name="dcterms.rights"
56
          content="<?php echo _("All rights reserved."); ?> <?php echo _("The author is not responsible for the availability and the content of websites referred by this site, and not responsible for the availability and the content of websites referred by those sites. Whereever outsourced material is used, copyright or trademark infringement is not intended. Third parties who claim copyrights or trademarks used herein are asked to send an informal email to webmaster@PointedEars.de for immediate removal or modification of the respective material on the website instead of reminding the author of usage of this material. Thank you."); ?>">
56
          content="<?php echo _("All rights reserved."); ?> <?php echo _("The author is not responsible for the availability and the content of websites referred by this site, and not responsible for the availability and the content of websites referred by those sites. Whereever outsourced material is used, copyright or trademark infringement is not intended. Third parties who claim copyrights or trademarks used herein are asked to send an informal email to webmaster@PointedEars.de for immediate removal or modification of the respective material on the website instead of reminding the author of usage of this material. Thank you."); ?>">
57
57
58
<?php /*
58
<?php /*
59
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars.css"> -->
59
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars.css"> -->
60
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars21.css"> -->
60
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars21.css"> -->
61
*/ ?>
61
*/ ?>
62
    <link rel="stylesheet" type="text/css" href="scripts/builder?type=text/css&amp;prefix=../styles/&amp;src=lcars-basic<?php
62
    <link rel="stylesheet" type="text/css" href="scripts/builder?type=text/css&amp;prefix=../styles/&amp;src=lcars-basic<?php
63
      $isLocal = ($_SERVER['HTTP_HOST'] === 'localhost');
63
      $isLocal = ($_SERVER['HTTP_HOST'] === 'localhost');
64
      if ($isLocal)
64
      if ($isLocal)
65
      {
65
      {
66
        ?>&amp;verbose=1&amp;debug=1<?php
66
        ?>&amp;verbose=1&amp;debug=1<?php
67
      }
67
      }
68
    ?>">
68
    ?>">
69
<?php
69
<?php
70
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
70
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
71
  if (!$printable)
71
  if (!$printable)
72
  {
72
  {
73
?>
73
?>
74
    <link rel="stylesheet" type="text/css" href="scripts/builder?type=text/css&amp;prefix=../styles/&amp;src=lcars22<?php
74
    <link rel="stylesheet" type="text/css" href="scripts/builder?type=text/css&amp;prefix=../styles/&amp;src=lcars22<?php
75
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
75
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
76
      {
76
      {
77
        echo '?ani=' . $_GET['ani'];
77
        echo '?ani=' . $_GET['ani'];
78
      }
78
      }
79
79
80
      if ($isLocal)
80
      if ($isLocal)
81
      {
81
      {
82
        ?>&amp;verbose=1&amp;debug=1<?php
82
        ?>&amp;verbose=1&amp;debug=1<?php
83
      }
83
      }
84
    ?>">
84
    ?>">
85
<?php
85
<?php
86
  }
86
  }
87
?>
87
?>
88
    <style type="text/css">
88
    <style type="text/css">
89
      <!--
89
      <!--
90
      p {
90
      p {
91
        max-width: 100%;
91
        max-width: 100%;
92
      }
92
      }
93
      -->
93
      -->
94
    </style>
94
    </style>
95
95
96
    <script type="text/javascript" src="scripts/builder?src=object,dom,dom/storage,dom/events,dom/timeout,dom/window<?php
96
    <script type="text/javascript" src="scripts/builder?src=object,dom,dom/storage,dom/events,dom/timeout,dom/window<?php
97
      if ($isLocal)
97
      if ($isLocal)
98
      {
98
      {
99
        ?>&amp;verbose=1&amp;debug=1<?php
99
        ?>&amp;verbose=1&amp;debug=1<?php
100
      }
100
      }
101
    ?>"></script>
101
    ?>"></script>
102
    <script type="text/javascript">
102
    <script type="text/javascript">
103
<?php
103
<?php
104
      /*
104
      /*
105
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
105
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
106
      var msLeaveDays = ms1Day*6;
106
      var msLeaveDays = ms1Day*6;
107
      var ms30Days=ms1Day*30;
107
      var ms30Days=ms1Day*30;
108
      var delta;
108
      var delta;
109
      var newTime=new Date();
109
      var newTime=new Date();
110
      var msTime=newTime.getTime();
110
      var msTime=newTime.getTime();
111
      var msExpire=msTime+ms30Days;
111
      var msExpire=msTime+ms30Days;
112
      var expireTime=new Date(msExpire);
112
      var expireTime=new Date(msExpire);
113

113

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

194

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

210

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

215

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

220

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

225

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

230

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

236

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

241

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

245

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

249

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

253

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