Subversion Repositories LCARS

Rev

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

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

106

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

187

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

203

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

208

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

213

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

218

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

223

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

229

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

234

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

238

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

242

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

246

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