Subversion Repositories LCARS

Rev

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

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

97

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

178

177
      <!-- Klicken Sie hier, falls Sie nach 5 Sekunden nicht automatisch
179
      <!-- Klicken Sie hier, falls Sie nach 5 Sekunden nicht automatisch
178
           weitergeleitet werden. -->
180
           weitergeleitet werden. -->
179
*/
181
*/
180
?>
182
?>
181
<?php
183
<?php
182
  $app = "Welcome/$language";
184
  $app = "Welcome/$language";
183
  require_once 'footer.phtml';
185
  require_once 'footer.phtml';
184
      /* embed src="media/interface/speech/de/warten.wav" width="0" height="0"
186
      /* embed src="media/interface/speech/de/warten.wav" width="0" height="0"
185
      hidden="true" autostart="true" dir="ltr" lang="de" */
187
      hidden="true" autostart="true" dir="ltr" lang="de" */
186
?>
188
?>
187
    </div>
189
    </div>
188
    <div id="LCARS">
190
    <div id="LCARS">
189
<?php /*
191
<?php /*
190
      <div id="button-grid" style="position: absolute; opacity: 0.3">
192
      <div id="button-grid" style="position: absolute; opacity: 0.3">
191
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
193
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
192

194

193
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
195
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
194
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
196
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
195
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
197
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
196
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
198
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
197

199

198
        <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>
199
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
201
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
200
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
202
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
201
        <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>
202

204

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

209

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

214

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

220

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

225

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

233

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

237

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