Subversion Repositories LCARS

Rev

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

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

104

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

185

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

201

211
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
202
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
212
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
203
        <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>
204
        <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>
205
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
215

206

216
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
207
        <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>
208
        <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>
209
        <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>
210
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
220

211

221
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
212
        <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>
213
        <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>
214
        <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>
215
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
225

216

226
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
217
        <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>
218
        <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>
219
        <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>
220
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
230

221

231
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
222
        <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>
223
        <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>
224
        <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>
225
        <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>
226
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
236

227

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

232

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

236

246
        <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>
247
        <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>
248
        <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>
249

240

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

244

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