Subversion Repositories LCARS

Rev

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

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

108

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

189

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

205

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

210

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

215

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

220

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

225

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

231

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

236

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

240

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

244

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

248

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