Subversion Repositories LCARS

Rev

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

Rev 138 Rev 142
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
    <!-- No optimization here: IE 9 in non-Compatibility Mode sends "Accept: text/css",
-
 
62
         Apache responds with 406:
-
 
63
         http://blog.s9y.org/archives/227-ie9-has-trouble-with-css-content-types.html -->
62
*/ ?>
64
*/ ?>
63
    <link rel="stylesheet" type="text/css" href="styles/lcars-basic">
65
    <link rel="stylesheet" type="text/css" href="styles/lcars-basic">
64
<?php
66
<?php
65
  $isLocal = ($_SERVER['HTTP_HOST'] === 'localhost');
67
  $isLocal = ($_SERVER['HTTP_HOST'] === 'localhost');
66
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
68
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
67
  if (!$printable)
69
  if (!$printable)
68
  {
70
  {
69
?>
71
?>
70
    <link rel="stylesheet" type="text/css" href="styles/lcars22<?php
72
    <link rel="stylesheet" type="text/css" href="styles/lcars22<?php
71
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
73
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
72
      {
74
      {
73
        echo '?ani=' . $_GET['ani'];
75
        echo '?ani=' . $_GET['ani'];
74
      }
76
      }
75
    ?>">
77
    ?>">
76
<?php
78
<?php
77
  }
79
  }
78
?>
80
?>
79
    <style type="text/css">
81
    <style type="text/css">
80
      <!--
82
      <!--
81
      p {
83
      p {
82
        max-width: 100%;
84
        max-width: 100%;
83
      }
85
      }
84
      -->
86
      -->
85
    </style>
87
    </style>
86
88
87
    <script type="text/javascript" src="scripts/builder?src=object,dom,dom/storage,dom/events,dom/timeout,dom/window<?php
89
    <script type="text/javascript" src="scripts/builder?src=object,dom,dom/storage,dom/events,dom/timeout,dom/window<?php
88
      if ($isLocal)
90
      if ($isLocal)
89
      {
91
      {
90
        ?>&amp;verbose=1&amp;debug=1<?php
92
        ?>&amp;verbose=1&amp;debug=1<?php
91
      }
93
      }
92
    ?>"></script>
94
    ?>"></script>
93
    <script type="text/javascript">
95
    <script type="text/javascript">
94
<?php
96
<?php
95
      /*
97
      /*
96
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
98
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
97
      var msLeaveDays = ms1Day*6;
99
      var msLeaveDays = ms1Day*6;
98
      var ms30Days=ms1Day*30;
100
      var ms30Days=ms1Day*30;
99
      var delta;
101
      var delta;
100
      var newTime=new Date();
102
      var newTime=new Date();
101
      var msTime=newTime.getTime();
103
      var msTime=newTime.getTime();
102
      var msExpire=msTime+ms30Days;
104
      var msExpire=msTime+ms30Days;
103
      var expireTime=new Date(msExpire);
105
      var expireTime=new Date(msExpire);
104

106

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

187

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

203

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

208

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

213

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

218

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

223

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

229

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

234

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

238

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

242

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

246

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