Subversion Repositories LCARS

Rev

Rev 115 | Rev 119 | Go to most recent revision | Only display areas with differences | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 115 Rev 118
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=""
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" style="position: absolute; top: 0; left: 0; width: 2em; height: 1em">&nbsp;</div>
357
        <div class="bow" style="position: absolute; top: 0; left: 2.2em; width: 5em; height: 1em">&nbsp;</div>
357
        <div class="bow" style="position: absolute; top: 0; left: 2.2em; width: 5em; height: 1em">&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" style="position: absolute; top: 13.6em; left: 0; width: 2em; height: 0.8em">&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" style="position: absolute; top: 13.6em; left: 2.2em; width: 5em; height: 0.8em">&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">&nbsp;</div>
366
            <div class="analysis">
-
 
367
              <table>
-
 
368
                <tr>
-
 
369
                  <th><?php echo _('Display'); ?>:</th>
-
 
370
                  <td><script type="text/javascript">
-
 
371
                    var dim = {
-
 
372
                      getScreen: function () {
-
 
373
                        return screen.width + "×" + screen.height;
-
 
374
                      },
-
 
375
-
 
376
                      getAvail: function () {
-
 
377
                        return screen.availWidth + "×" + screen.availHeight;
-
 
378
                      },
-
 
379
-
 
380
                      getInner: function () {
-
 
381
                        return window.innerWidth + "×" + window.innerHeight;
-
 
382
                      },
-
 
383
-
 
384
                      getColorDepth: function () {
-
 
385
                        return (screen.colorDepth || screen.pixelDepth);
-
 
386
                      }
-
 
387
                    };
-
 
388
-
 
389
                    var displayInfo;
-
 
390
                    (function () {
-
 
391
                      displayInfo =
-
 
392
                          '<span id="screenDim">' + dim.getScreen() + '<\/span>'
-
 
393
                        + ' (<span id="availDim">' + dim.getAvail() + "<\/span> <?php echo _('available'); ?>,"
-
 
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'); ?>";
-
 
396
-
 
397
                      /* FIXME: Convert HTML to text, update whole title text */
-
 
398
                      document.write('<span>' + displayInfo + '<\/span>');
-
 
399
                    }());
-
 
400
                     
-
 
401
                    window.onresize = function () {
-
 
402
                      /* FIXME: Update whole title text */
-
 
403
                      document.getElementById("screenDim").innerHTML = dim.getScreen();
-
 
404
                      document.getElementById("availDim").innerHTML = dim.getAvail();
-
 
405
                      document.getElementById("innerDim").innerHTML = dim.getInner();
-
 
406
                    };
-
 
407
-
 
408
                    window.setTimeout(function () {
-
 
409
                      /* FIXME: Update whole title text */
-
 
410
                      document.getElementById("colorDepth").innerHTML = dim.getColorDepth();
-
 
411
                    }, 1000);
-
 
412
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
-
 
413
                </tr>
-
 
414
                <tr>
-
 
415
                  <th><?php echo _('User Agent'); ?>:</th>
-
 
416
                  <td><script type="text/javascript">
-
 
417
                    (function () {
-
 
418
                      var ua = navigator.userAgent;
-
 
419
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
-
 
420
 
-
 
421
                      window.setTimeout(function () {
-
 
422
                        document.getElementById("ua").innerHTML = navigator.userAgent;
-
 
423
                      }, 1000);
-
 
424
                    }());
-
 
425
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
-
 
426
                </tr>
-
 
427
                <tr>
-
 
428
                  <th><?php echo _('Features'); ?>:</th>
367
            <script type="text/javascript">
429
                  <td><script type="text/javascript">
368
              var fullscreen = (function () {
430
                    var fullscreen = (function () {
369
                var _isHostMethod = jsx.object.isHostMethod;
431
                      var _isHostMethod = jsx.object.isHostMethod;
370
               
432
                     
371
                return {
433
                      return {
372
                  getSupportedProperty: function (base, names, test) {
434
                        getSupportedProperty: function (base, names, test) {
373
                    for (var i = 0, len = names.length; i < len; ++i)
435
                          for (var i = 0, len = names.length; i < len; ++i)
374
                    {
436
                          {
375
                      var name = names[i];
437
                            var name = names[i];
376
                      if (test.call(null, base, name))
438
                            if (test.call(null, base, name))
377
                      {
439
                            {
378
                        return name;
440
                              return name;
379
                      }
441
                            }
380
                    }
442
                          }
381
443
 
382
                    return null;
444
                          return null;
383
                  },
445
                        },
384
446
 
385
                  getSupportedCancel: (function () {
447
                        getSupportedCancel: (function () {
386
                    var _supportedCancel;
448
                          var _supportedCancel;
387
449
 
388
                    return function () {
450
                          return function () {
389
                      if (typeof _supportedCancel == "undefined")
451
                            if (typeof _supportedCancel == "undefined")
390
                      {
452
                            {
391
                        var properties = ["cancelFullScreen", "mozCancelFullScreen",
453
                              var properties = ["cancelFullScreen", "mozCancelFullScreen",
392
                                          "webkitCancelFullScreen"];
454
                                                "webkitCancelFullScreen"];
393
                     
455
                           
394
                        _supportedCancel = this.getSupportedProperty(document, properties, _isHostMethod);
456
                              _supportedCancel = this.getSupportedProperty(document, properties, _isHostMethod);
395
                      }
457
                            }
396
458
 
397
                      return _supportedCancel;
459
                            return _supportedCancel;
398
                    };
460
                          };
399
                  }()),
461
                        }()),
400
                 
462
                       
401
                  getSupportedElement: (function () {
463
                        getSupportedElement: (function () {
402
                    var _supportedElement;
464
                          var _supportedElement;
403
465
 
404
                    return function () {
466
                          return function () {
405
                      if (typeof _supportedElement == "undefined")
467
                            if (typeof _supportedElement == "undefined")
406
                      {
468
                            {
407
                        var properties = ["fullscreenElement", "mozFullscreenElement",
469
                              var properties = ["fullscreenElement", "mozFullscreenElement",
408
                                          "webkitFullscreenElement"];
470
                                                "webkitFullscreenElement"];
409
471
 
410
                        _supportedElement = this.getSupportedProperty(document, properties,
472
                              _supportedElement = this.getSupportedProperty(document, properties,
411
                          function (base, name) {
473
                                function (base, name) {
412
                            return typeof base[name] != "undefined";
474
                                  return typeof base[name] != "undefined";
413
                          });
475
                                });
414
                      }
476
                            }
415
477
 
416
                      return _supportedElement;
478
                            return _supportedElement;
417
                    };
479
                          };
418
                  }()),
480
                        }()),
419
                 
481
                       
420
                  isSupportedBy: function (elem) {
482
                        isSupportedBy: function (elem) {
421
                    var methods = ["requestFullscreen", "mozRequestFullscreen",
483
                          var methods = ["requestFullscreen", "mozRequestFullscreen",
422
                                   "webkitRequestFullscreen"];
484
                                         "webkitRequestFullscreen"];
423
                    return this.getSupportedProperty(elem, methods, _isHostMethod);
485
                          return this.getSupportedProperty(elem, methods, _isHostMethod);
424
                  },
486
                        },
425
487
 
426
                  isFullscreen: function () {
488
                        isFullscreen: function () {
427
                    var properties = ["fullscreenElement", "mozFullscreenElement",
489
                          var properties = ["fullscreenElement", "mozFullscreenElement",
428
                                      "webkitFullscreenElement"];
490
                                            "webkitFullscreenElement"];
429
                    var supportedProperty = this.getSupportedProperty(
491
                          var supportedProperty = this.getSupportedProperty(
430
                      document, properties,
492
                            document, properties,
431
                      function (base, name) {
493
                            function (base, name) {
432
                        return typeof base[name] != "undefined";
494
                              return typeof base[name] != "undefined";
433
                      });
495
                            });
434
496
 
435
                    return supportedProperty && document[supportedProperty] != null;
497
                          return supportedProperty && document[supportedProperty] != null;
436
                  },
498
                        },
437
499
 
438
                  cancel: function (target, oldHandler, textTarget) {
500
                        cancel: function (target, oldHandler, textTarget) {
439
                    var supportedCancel = this.getSupportedCancel();
501
                          var supportedCancel = this.getSupportedCancel();
440
                    if (supportedCancel)
502
                          if (supportedCancel)
441
                    {
503
                          {
442
                      document[supportedCancel]();
504
                            document[supportedCancel]();
443
                     
505
                           
444
                      var supportedElement = this.getSupportedElement();
506
                            var supportedElement = this.getSupportedElement();
445
                      if (supportedElement)
507
                            if (supportedElement)
446
                      {
508
                            {
447
                        if (document[supportedElement] == null)
509
                              if (document[supportedElement] == null)
448
                        {
510
                              {
449
                          if (textTarget)
511
                                if (textTarget)
450
                          {
512
                                {
451
                            textTarget.textContent = "<?php echo _("Fullscreen"); ?>";
513
                                  textTarget.textContent = "<?php echo _("Fullscreen"); ?>";
452
                          }
514
                                }
453
                         
515
                               
454
                          if (target)
516
                                if (target)
455
                          {
517
                                {
456
                            target.onclick = oldHandler;
518
                                  target.onclick = oldHandler;
457
                          }
519
                                }
458
                        }
520
                              }
459
                      }
521
                            }
460
                    }
522
                          }
461
                  },
523
                        },
462
                 
524
                       
463
                  requestOn: function (elem, eventTarget, textTarget) {
525
                        requestOn: function (elem, eventTarget, textTarget) {
464
                    var requestMethodName;
526
                          var requestMethodName;
465
527
 
466
                    if (elem && (requestMethodName = this.isSupportedBy(elem)))
528
                          if (elem && (requestMethodName = this.isSupportedBy(elem)))
467
                    {
529
                          {
468
                      elem[requestMethodName]();
530
                            elem[requestMethodName]();
469
                      if (textTarget && this.isFullscreen())
531
                            if (textTarget && this.isFullscreen())
470
                      {
532
                            {
471
                        var oldText = textTarget.textContent;
533
                              var oldText = textTarget.textContent;
472
                        var me = this;
534
                              var me = this;
473
                        var oldHandler = eventTarget.onclick;
535
                              var oldHandler = eventTarget.onclick;
474
                        eventTarget.onclick = function () {
536
                              eventTarget.onclick = function () {
475
                          me.cancel(this, oldHandler, textTarget);
537
                                me.cancel(this, oldHandler, textTarget);
476
                        };
538
                              };
477
                        textTarget.textContent = "<?php echo _("Window"); ?>";
539
                              textTarget.textContent = "<?php echo _("Window"); ?>";
478
                      }
540
                            }
479
                    }
541
                          }
480
                  }
542
                        }
481
                };
543
                      };
482
              }());
544
                    }());
-
 
545
-
 
546
                    (function () {
-
 
547
                      function getFeatures ()
-
 
548
                      {
-
 
549
                        var features = [];
-
 
550
                        if (navigator.cookieEnabled) features.push("<?php echo _('Cookies'); ?>");
-
 
551
                        if (fullscreen.isSupportedBy(document.documentElement)) features.push("<?php echo _('Fullscreen'); ?>");
-
 
552
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length) features.push("<?php echo _('Gamepad'); ?>");
-
 
553
                        if (navigator.geolocation) features.push("<?php echo _('Geolocation'); ?>");
-
 
554
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled()) features.push("Java");
-
 
555
                        if (typeof window.localStorage != "undefined") features.push("Local Storage");
-
 
556
                        if (navigator.plugins) features.push("Plugins");
-
 
557
                        if (typeof window.sessionStorage != "undefined") features.push("Session Storage");
-
 
558
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
-
 
559
                        return features.join(" &#8226; ");
-
 
560
                      }
-
 
561
 
-
 
562
                      var sFeatures = getFeatures();
-
 
563
                      document.write('<span id="features" title="' + sFeatures + '">' + sFeatures + '<\/span>');
-
 
564
-
 
565
                      window.setTimeout(function () {
-
 
566
                        var sFeatures = getFeatures();
-
 
567
                        var oFeatures = document.getElementById("features");
-
 
568
                        oFeatures.innerHTML = sFeatures;
-
 
569
                        /* Converts CREs */
-
 
570
                        oFeatures.title = oFeatures.innerHTML;
-
 
571
                      }, 1000);
-
 
572
                    }());
-
 
573
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
-
 
574
                </tr>
-
 
575
              </table>
483
            </script>
576
            </div>
484
            <ul class="commands">
577
            <ul class="commands">
485
              <li id="cmd1"><a href="index.php"
578
              <li id="cmd1"><a href="index.php"
486
                title="Language selection"
579
                title="Language selection"
487
                tabindex="1"
580
                tabindex="1"
488
                class="button left right"
581
                class="button left right"
489
                onmouseover="return setStatus(this.title + ': ' + this.href)"
582
                onmouseover="return setStatus(this.title + ': ' + this.href)"
490
                onmouseout="return resetStatus()"
583
                onmouseout="return resetStatus()"
491
                onfocus="return this.onmouseover()"
584
                onfocus="return this.onmouseover()"
492
                onblur="return this.onmouseout()"
585
                onblur="return this.onmouseout()"
493
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
586
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
494
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
587
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
495
                title="<?php echo _('Printable version'); ?>"
588
                title="<?php echo _('Printable version'); ?>"
496
                tabindex="1"
589
                tabindex="1"
497
                class="button left right"
590
                class="button left right"
498
                onmouseover="return setStatus(this.title + ': ' + this.href)"
591
                onmouseover="return setStatus(this.title + ': ' + this.href)"
499
                onmouseout="return resetStatus()"
592
                onmouseout="return resetStatus()"
500
                onfocus="return this.onmouseover()"
593
                onfocus="return this.onmouseover()"
501
                onblur="return this.onmouseout()"
594
                onblur="return this.onmouseout()"
502
                ><span class="text"><?php echo _("Printable"); ?></span></a></li>
595
                ><span class="text"><?php echo _("Printable"); ?></span></a></li>
503
              <li id="cmd3"><div class="button left right"
596
              <li id="cmd3"><div class="button left right"
504
                   style="cursor: not-allowed !important"
597
                   style="cursor: not-allowed !important"
505
                   onclick="fullscreen.requestOn(document.documentElement, this, this.firstChild)"
598
                   onclick="fullscreen.requestOn(document.documentElement, this, this.firstChild)"
506
                   onkeyup="if (event.keyCode == 13) { this.onclick(); this.onmouseup(); }"
599
                   onkeyup="if (event.keyCode == 13) { this.onclick(); this.onmouseup(); }"
507
                   onmouseup="this.blur()"
600
                   onmouseup="this.blur()"
508
                   tabindex="1"
601
                   tabindex="1"
509
                   ><span class="text"><script type="text/javascript">
602
                   ><span class="text"><script type="text/javascript">
510
                     if (fullscreen.isSupportedBy(document.documentElement))
603
                     if (fullscreen.isSupportedBy(document.documentElement))
511
                     {
604
                     {
512
<?php /*
605
<?php /*
513
                       var previousIsFullscreen = fullscreen.isFullscreen();
606
                       var previousIsFullscreen = fullscreen.isFullscreen();
514
                       var oldHandler;
607
                       var oldHandler;
515
                       window.onresize = function () {
608
                       window.onresize = function () {
516
                         var nowIsFullscreen = fullscreen.isFullscreen();
609
                         var nowIsFullscreen = fullscreen.isFullscreen();
517
                         if (nowIsFullscreen != previousIsFullscreen)
610
                         if (nowIsFullscreen != previousIsFullscreen)
518
                         {
611
                         {
519
                           var cmd3 = document.getElementById("cmd3");
612
                           var cmd3 = document.getElementById("cmd3");
520
                           var target = cmd3.firstChild;
613
                           var target = cmd3.firstChild;
521
                           var textTarget = target.firstChild;
614
                           var textTarget = target.firstChild;
522
                           if (nowIsFullscreen)
615
                           if (nowIsFullscreen)
523
                           {
616
                           {
524
                             oldHandler = target.onclick;
617
                             oldHandler = target.onclick;
525
                           //   fullscreen.requestOn(document.documentElement, cmd3.firstElementChild, cmd3.firstElementChild.firstElementChild);
618
                           //   fullscreen.requestOn(document.documentElement, cmd3.firstElementChild, cmd3.firstElementChild.firstElementChild);
526
                           }
619
                           }
527
                           else
620
                           else
528
                           {
621
                           {
529
                             fullscreen.cancel(target, oldHandler, textTarget);
622
                             fullscreen.cancel(target, oldHandler, textTarget);
530
                           }
623
                           }
531
                           
624
                           
532
                           previousIsFullscreen = nowIsFullscreen;
625
                           previousIsFullscreen = nowIsFullscreen;
533
                         }
626
                         }
534
                       };
627
                       };
535
*/ ?>
628
*/ ?>
536
                       document.write("<?php echo _("Fullscreen"); ?>");
629
                       document.write("<?php echo _("Fullscreen"); ?>");
537
                     }
630
                     }
538
                   </script></span></div></li>
631
                   </script></span></div></li>
539
              <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>
540
            </ul>
633
            </ul>
541
          </div>
634
          </div>
542
          <div class="elbo-button">
635
          <div class="elbo-button">
543
            <span class="text" title="<?php echo _("Date of last modification"); ?>"
636
            <span class="text" title="<?php echo _("Date of last modification"); ?>"
544
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
637
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
545
          </div>
638
          </div>
546
          <div class="elbo">
639
          <div class="elbo">
547
            <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>
548
            <div class="concave">&nbsp;</div>
641
            <div class="concave">&nbsp;</div>
549
          </div>
642
          </div>
550
          <div class="border">
643
          <div class="border">
551
            <div class="left">&nbsp;</div>
644
            <div class="left">&nbsp;</div>
552
            <div class="right">&nbsp;</div>
645
            <div class="right">&nbsp;</div>
553
          </div>
646
          </div>
554
        </div>
647
        </div>
555
        <div class="lower">
648
        <div class="lower">
556
          <div class="elbo">
649
          <div class="elbo">
557
            <div class="concave">&nbsp;</div>
650
            <div class="concave">&nbsp;</div>
558
          </div>
651
          </div>
559
          <div class="bg">&nbsp;</div>
652
          <div class="bg">&nbsp;</div>
560
          <div class="border-container">
653
          <div class="border-container">
561
            <div class="border">
654
            <div class="border">
562
              <div class="left">&nbsp;</div>
655
              <div class="left">&nbsp;</div>
563
              <div class="right">&nbsp;</div>
656
              <div class="right">&nbsp;</div>
564
            </div>
657
            </div>
565
          </div>
658
          </div>
566
        </div>
659
        </div>
567
      </div>
660
      </div>
568
    </div>
661
    </div>
569
  </body>
662
  </body>
570
</html>
663
</html>
571
 
664