Subversion Repositories LCARS

Rev

Rev 125 | Rev 127 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
79 PointedEar 1
<!DOCTYPE html>
56 PointedEar 2
<html lang="<?php echo $language; ?>">
39 PointedEar 3
  <head>
72 PointedEar 4
    <title>Home — PointedEars’ Website</title>
39 PointedEar 5
 
6
    <link rel="SHORTCUT ICON" href="favicon.ico">
7
 
79 PointedEar 8
    <!-- Browsers: Character Encoding -->
9
    <meta charset="UTF-8">
39 PointedEar 10
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
11
 
79 PointedEar 12
    <!-- Robots: Index, Subordinated Files, Description, Author,
39 PointedEar 13
         Keywords, Document Date -->
14
    <meta name="robots" content="index">
15
    <meta name="robots" content="follow">
105 PointedEar 16
<?php /*
39 PointedEar 17
    <meta name="description"
56 PointedEar 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!");
20
            echo $description;
21
            ?>">
105 PointedEar 22
*/ ?>
56 PointedEar 23
    <meta name="author" content="Thomas ‘PointedEars’ Lahn">
39 PointedEar 24
 
56 PointedEar 25
    <?php /* No localization of keywords at the time */ ?>
39 PointedEar 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">
56 PointedEar 28
<?php /*
29
    <meta name="keywords" http-equiv="Keywords" lang="de" content="">
30
    <meta name="keywords" http-equiv="Keywords" lang="en-us" content="">
31
    <meta name="keywords" http-equiv="Keywords" lang="en" content="">
32
*/ ?>
39 PointedEar 33
    <meta name="revisit-after" content="3 days">
34
 
35
    <!-- Robots: Dublin Core Metadata (http://purl.org/metadata/dublin_core) -->
79 PointedEar 36
    <meta name="dcterms.title" content="PointedEars’ Website">
37
    <meta name="dcterms.creator" content="Thomas ‘PointedEars’ Lahn">
38
    <meta name="dcterms.subject" content="Private Web site">
105 PointedEar 39
<?php /*
79 PointedEar 40
    <meta name="dcterms.description"
56 PointedEar 41
          content="PointedEars' Website: <?php echo $description; ?>">
105 PointedEar 42
*/ ?>
79 PointedEar 43
    <meta name="dcterms.publisher" content="PointedEars">
44
    <meta name="dcterms.date" content="2002-05-23T10:56:00+02:00">
45
    <meta name="dcterms.created" content="2002-05-23">
105 PointedEar 46
    <meta name="dcterms.modified" content="<?php echo gmdate('Y-m-dTH:i:sO', $modi); ?>">
56 PointedEar 47
<?php /*
79 PointedEar 48
    <meta name="dcterms.type" content="">
49
    <meta name="dcterms.format" content="">
56 PointedEar 50
*/ ?>
79 PointedEar 51
    <meta name="dcterms.identifier" content="http://pointedears.de/index.<?php echo $language; ?>">
52
    <meta name="dcterms.language" content="<?php echo $language; ?>">
53
    <meta name="dcterms.rightsHolder"
54
          content="Copyright © 2002&#8211;<?php echo gmdate('Y', $modi); ?> Thomas&nbsp;Lahn.">
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."); ?>">
105 PointedEar 57
 
56 PointedEar 58
<?php /*
39 PointedEar 59
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars.css"> -->
60
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars21.css"> -->
56 PointedEar 61
*/ ?>
125 PointedEar 62
    <link rel="stylesheet" type="text/css" href="scripts/builder?type=text/css&amp;prefix=../styles/&amp;src=lcars-basic<?php
56 PointedEar 63
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
64
  if (!$printable)
65
  {
125 PointedEar 66
    ?>,lcars22<?php
56 PointedEar 67
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
68
      {
69
        echo '?ani=' . $_GET['ani'];
70
      }
71
    ?>">
72
<?php
73
  }
74
?>
39 PointedEar 75
    <style type="text/css">
76
      <!--
77
      p {
78
        max-width: 100%;
79
      }
80
      -->
81
    </style>
82
 
115 PointedEar 83
    <script type="text/javascript" src="scripts/builder?src=object,dom"></script>
39 PointedEar 84
    <script type="text/javascript">
56 PointedEar 85
      function setStatus (text)
39 PointedEar 86
      {
56 PointedEar 87
        window.status = String(text);
39 PointedEar 88
        return true;
89
      }
90
 
56 PointedEar 91
      function resetStatus ()
39 PointedEar 92
      {
93
        window.status = window.defaultStatus;
94
        return true;
95
      }
56 PointedEar 96
<?php
39 PointedEar 97
      /*
98
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
99
      var msLeaveDays = ms1Day*6;
100
      var ms30Days=ms1Day*30;
101
      var delta;
102
      var newTime=new Date();
103
      var msTime=newTime.getTime();
104
      var msExpire=msTime+ms30Days;
105
      var expireTime=new Date(msExpire);
106
 
107
      cookieVal=
108
          "savedTime=" + newTime.toGMTString()
109
        + "; expires=" + expireTime.toGMTString()
110
        + "; domain=anybody"
111
        + "; path=/";
112
      document.cookie= cookieVal;
113
      */
56 PointedEar 114
?>
115 PointedEar 115
      function body_load ()
116
      {
117
        if (typeof this.ontouchstart != 'undefined')
118
        {
119
          this.ontouchstart = function () {};
120
        }
121
 
122
        if (fullscreen.isSupportedBy(document.documentElement))
123
        {
124
          var fullscreenLI = jsx.dom.getElementById("cmd3");
125
          fullscreenLI.firstChild.style.cursor = "";
126
        }
127
      }
39 PointedEar 128
    </script>
56 PointedEar 129
    <?php /* <bgsound src="media/interface/sound/beginop.wav" loop="infinite"> */ ?>
39 PointedEar 130
  </head>
115 PointedEar 131
  <body class="fade-in" onload="body_load()">
39 PointedEar 132
    <div id="content">
79 PointedEar 133
      <h1 style="text-align: center"><img
39 PointedEar 134
            src="media/video/img/vulcan_hand-black-bg.png"
135
            width="120"
136
            height="168"
56 PointedEar 137
            alt="<?php echo _("Vulcan greeting"); ?>"
118 PointedEar 138
            title="<?php echo _("Vulcan greeting"); ?>"
85 PointedEar 139
            style="border: none; cursor: default"
39 PointedEar 140
            onmouseover="return setStatus(this.title)"
141
            onmouseout="return resetStatus()"><br>
56 PointedEar 142
        <?php echo _("Welcome to PointedEars’ Website"); ?></h1>
143
<?php
144
  if (!$printable)
145
  {
146
?>
79 PointedEar 147
      <p class="instruction" style="font-size: 100%; text-align: center"><?php
56 PointedEar 148
        echo sprintf(
84 PointedEar 149
          _("This site uses recent <a href='https://developer.mozilla.org/en-US/docs/'"
150
            . " title='Learn more: Mozilla Developer Network'>Web technologies</a>."
79 PointedEar 151
            . " You can use the <a href='index.%s?printable=1'>%s</a>"
152
            . " if it is not displayed properly with your software."),
56 PointedEar 153
          $language,
76 PointedEar 154
          _('Printable version'));
56 PointedEar 155
        ?></p>
156
<?php
157
  }
158
 
159
  /*
39 PointedEar 160
      <p>
161
        | <a href="leisure/" target="_top"
162
            >Freizeit-Datenbank</a>
163
        | <a href="mozilla/" target="_top">Mozilla</a>
164
        | <a href="poetry/" target="_top">Poesie</a>
56 PointedEar 165
  */
39 PointedEar 166
 
56 PointedEar 167
  /*
39 PointedEar 168
        | [<abbr title="nur in englischer Sprache verf&uuml;gbar"
169
                 >en</abbr>]
170
        | <a href="selfhtml.de/" target="_top">SELFHTML.DE</a>
56 PointedEar 171
  */
172
  /*
39 PointedEar 173
        | <a href="lyrics/" target="_top">Songbook</a>
43 PointedEar 174
        | </p>
56 PointedEar 175
  */
176
              /*
39 PointedEar 177
      <p><a href="about/worm.de.html" target="_top"
178
            >Seltsame E-Mails bekommen?</a></p>
56 PointedEar 179
               */
180
/*
39 PointedEar 181
      <noscript>
182
        <a
183
          href="http://pointedears.de/"
184
          title="PointedEars' Website"
185
          >Diese Website zu Ihren Lesezeichen hinzuf&uuml;gen</a>
186
      </noscript>
56 PointedEar 187
 
39 PointedEar 188
      <!-- Klicken Sie hier, falls Sie nach 5 Sekunden nicht automatisch
189
           weitergeleitet werden. -->
56 PointedEar 190
*/
191
?>
192
<?php
105 PointedEar 193
  $app = "Welcome/$language";
194
  require_once 'footer.phtml';
56 PointedEar 195
      /* embed src="media/interface/speech/de/warten.wav" width="0" height="0"
196
      hidden="true" autostart="true" dir="ltr" lang="de" */
197
?>
39 PointedEar 198
    </div>
199
    <div id="LCARS">
56 PointedEar 200
<?php /*
39 PointedEar 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>
203
 
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>
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>
208
 
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>
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>
213
 
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>
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>
218
 
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>
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>
223
 
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>
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>
228
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
229
 
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>
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>
234
 
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>
237
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
238
 
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>
241
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
242
 
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>
245
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
246
 
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>
249
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
250
      </div>
56 PointedEar 251
*/ ?>
39 PointedEar 252
      <div id="bow">
253
        <div id="bow-top">
254
          <div class="separator-left">&nbsp;</div>
91 PointedEar 255
          <div class="text"><span>PointedEars’ Website</span></div>
39 PointedEar 256
        </div>
257
        <div id="bow-top-left">
258
          <div class="concave">&nbsp;</div>
109 PointedEar 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>
261
          </div>
39 PointedEar 262
        </div>
263
        <div id="bottom">
264
          <div id="bow-bottom">
265
            <div class="concave">&nbsp;</div>
266
            <div class="spacer">&nbsp;</div>
267
        </div>
268
        </div>
43 PointedEar 269
 
270
        <div class="menu-container">
88 PointedEar 271
          <nav class="menu">
109 PointedEar 272
            <ul style="padding-top: 1em">
56 PointedEar 273
            <?php foreach ($languages as $key => $name): ?>
74 PointedEar 274
              <li><a href="index.<?php echo $key; ?>?ani=0"
275
                     class="button<?php if ($language === $key) { ?> selected<?php } ?>"
276
                     tabindex="2"><span class="text"><?php echo $name; ?></span></a></li>
56 PointedEar 277
            <?php endforeach; ?>
278
            </ul>
279
            <div class="bow" style="margin-bottom: 0.4em; width: 8em; height: 0.4em">&nbsp;</div>
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>
71 PointedEar 282
              <li><a href="<?php echo $menu['es-matrix']['path']; ?>" target="_top" class="button"
283
                     title="<?php echo $menu['es-matrix']['title']; ?>"
284
                     ><span class="text"><?php echo $menu['es-matrix']['text']; ?></span></a></li>
56 PointedEar 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>
287
            <ul style="margin-bottom: 0.2em">
113 PointedEar 288
              <li><a href="psf/" target="_top"
289
                 class="button ancillary"
290
                 ><abbr title="<?php echo _("PointedEars' Standard Frases"); ?>"
291
                        class="text">psf</abbr></a></li>
292
            <li><a href="<?php echo $menu['series']['path']; ?>" target="_top" class="button ancillary"
56 PointedEar 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>
295
              <li><a href="<?php echo $menu['ufpdb']['path']; ?>" target="_top" class="button database"
79 PointedEar 296
                     ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
297
                            class="text"><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
56 PointedEar 298
            </ul>
299
            <div style="position: relative; margin-bottom: 1.2em">
300
              <div class="bow" style="width: 8em; height: 0.8em">&nbsp;</div>
301
            </div>
302
            <ul>
303
              <li><a href="http://climateapps2.oerc.ox.ac.uk/cpdnboinc/show_user.php?userid=648544"
304
                     target="_top" class="button secondary"
305
                     title="<?php echo _("The world’s largest climate forecasting experiment for the 21st century"); ?>"
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 */ ?>
308
              <li><a href="<?php echo _("http://folding.stanford.edu/English/HomePage"); ?>"
309
                     target="_top" class="button secondary"
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>
312
             <li><a href="http://lhcathomeclassic.cern.ch/sixtrack/show_user.php?userid=221181"
313
                    target="_top" class="button secondary"
314
                    title="<?php echo _("Particle physics research with the Large Hadron Collider at CERN"); ?>"
315
                    ><span class="text">LHC at home</span></a></li>
316
             <li><a href="http://setiathome.berkeley.edu/show_user.php?userid=378921"
317
                    target="_top" class="button secondary"
318
                    title="<?php echo _("The Search for Extra-Terrestrial Intelligence at HOME"); ?>"
319
                    ><span class="text">SETI at home</span></a></li>
320
           </ul>
321
<?php /*
322
            <script type="text/javascript">
323
              var sURL = location.href;
324
              var sFavAnchorTitle =
325
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
326
                + " hinzuzufügen";
327
              var sOtherAnchorTitle =
328
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
329
                + " Ihren Lesezeichen hinzuzufügen";
330
              var sFavoriteTitle = "PointedEars' Website";
331
 
332
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
333
              {
334
                document.write(
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>'
337
                  + '  <div class="bow" style="position: absolute; top: 0; left: 8.2em; width: 2em; height: 1em">&nbsp;<\/div>'
338
                  + '</div>'
339
                  + '<a href="javascript:window.external.AddFavorite('
340
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
341
                  + ' class="button"'
342
                  + ' onclick="window.external.AddFavorite('
343
                  + ' sURL, sFavoriteTitle); return false"'
79 PointedEar 344
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
345
                  + ' onmouseout="return resetStatus()"'
56 PointedEar 346
                  + '><span class="text">Favorit<\/span><\/a>');
347
              }
348
            </script>
349
*/ ?>
88 PointedEar 350
          </nav>
39 PointedEar 351
        </div>
56 PointedEar 352
      </div>
353
      <div id="connectors">
119 PointedEar 354
        <div class="bow top left">&nbsp;</div>
355
        <div class="bow top right">&nbsp;</div>
56 PointedEar 356
 
119 PointedEar 357
        <div class="bow mid left">&nbsp;</div>
358
        <div class="bow mid right">&nbsp;</div>
56 PointedEar 359
      </div>
360
      <div class="multi-display">
39 PointedEar 361
        <div class="upper">
74 PointedEar 362
          <div class="content">
363
            <div class="title"><span>Home</span></div>
118 PointedEar 364
            <div class="analysis">
365
              <table>
366
                <tr>
367
                  <th><?php echo _('Display'); ?>:</th>
368
                  <td><script type="text/javascript">
121 PointedEar 369
                    (function () {
370
                      var screenInfo = {
371
                        getDim: function () {
372
                          return {
373
                            width: screen.width,
374
                            height: screen.height
375
                          };
376
                        },
76 PointedEar 377
 
121 PointedEar 378
                        getAvailDim: function () {
379
                          return {
380
                            width:  screen.availWidth,
381
                            height: screen.availHeight
382
                          };
383
                        },
76 PointedEar 384
 
121 PointedEar 385
                        getInnerDim: function () {
386
                          return {
387
                            width:  window.innerWidth,
388
                            height: window.innerHeight
389
                          };
390
                        },
391
 
392
                        getColorDepth: function () {
393
                          return (screen.colorDepth || screen.pixelDepth);
394
                        }
395
                      };
396
 
397
                      var dim = {
398
                        getScreenText: function () {
399
                          var screenDim = screenInfo.getDim();
400
                          return screenDim.width + "×" + screenDim.height;
401
                        },
95 PointedEar 402
 
121 PointedEar 403
                        getAvailText: function () {
404
                          var availDim = screenInfo.getAvailDim();
405
                          return availDim.width + "×" + availDim.height + " <?php echo _('available'); ?>";
406
                        },
95 PointedEar 407
 
121 PointedEar 408
                        getInnerText: function () {
409
                          var innerDim = screenInfo.getInnerDim();
410
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo _('used'); ?>";
411
                        },
95 PointedEar 412
 
121 PointedEar 413
                        getColorDepthText: function () {
414
                          var colorDepth = screenInfo.getColorDepth();
415
                          return colorDepth
416
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo _('colors'); ?>"
417
                            : "";
418
                        }
419
                      };
420
 
421
                      var screenDimText = dim.getScreenText();
422
                      var availDimText = dim.getAvailText();
423
                      var innerDimText = dim.getInnerText();
424
                      var colorDepthText = dim.getColorDepthText();
425
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
426
                        ?   (screenDimText ? '<span id="screenDim">' + screenDimText + '<\/span>' : "")
427
                          + (availDimText ? ' (<span id="availDim">' + availDimText + "<\/span>" : "")
428
                          + (innerDimText ? '<span id="innerDim">' + innerDimText + "<\/span>) <?php echo _('pixels'); ?>" : "")
429
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
430
                        : "<?php echo _('N/A'); ?>";
431
 
118 PointedEar 432
                      /* FIXME: Convert HTML to text, update whole title text */
433
                      document.write('<span>' + displayInfo + '<\/span>');
121 PointedEar 434
 
435
                      var oScreenDim;
436
                      var oAvailDim;
437
                      var oInnerDim;
438
                      window.onresize = function () {
439
                        /* FIXME: Also update title attribute value */
440
                        if (typeof oScreenDim == "undefined") oScreenDim = document.getElementById("screenDim");
441
                        if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
442
 
443
                        if (typeof oAvailDim == "undefined") oAvailDim = document.getElementById("availDim");
444
                        if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
445
 
446
                        if (typeof oInnerDim == "undefined") oInnerDim = document.getElementById("innerDim");
447
                        if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
448
                      };
449
 
450
                      var oColorDepth;
451
                      window.setTimeout(function () {
452
                        if (typeof oColorDepth == "undefined")
453
                        {
454
                          oColorDepth = document.getElementById("colorDepth");
455
                        }
456
 
457
                        if (oColorDepth)
458
                        {
459
                          /* FIXME: Also update title attribute value */
460
                          oColorDepth.innerHTML = dim.getColorDepthText();
461
                        }
462
                      }, 1000);
118 PointedEar 463
                    }());
464
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
465
                </tr>
466
                <tr>
467
                  <th><?php echo _('User Agent'); ?>:</th>
468
                  <td><script type="text/javascript">
469
                    (function () {
470
                      var ua = navigator.userAgent;
471
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
121 PointedEar 472
 
473
                      var oUA;
118 PointedEar 474
                      window.setTimeout(function () {
121 PointedEar 475
                        if (typeof oUA == "undefined")
476
                        {
477
                          oUA = document.getElementById("ua");
478
                        }
479
 
480
                        if (oUA)
481
                        {
482
                          oUA.innerHTML = navigator.userAgent;
483
 
484
                          /* Converts CREs */
485
                          oUA.title = oUA.innerHTML;
486
                        }
118 PointedEar 487
                      }, 1000);
488
                    }());
489
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
490
                </tr>
491
                <tr>
492
                  <th><?php echo _('Features'); ?>:</th>
493
                  <td><script type="text/javascript">
494
                    var fullscreen = (function () {
495
                      var _isHostMethod = jsx.object.isHostMethod;
76 PointedEar 496
 
118 PointedEar 497
                      return {
498
                        getSupportedProperty: function (base, names, test) {
499
                          for (var i = 0, len = names.length; i < len; ++i)
95 PointedEar 500
                          {
118 PointedEar 501
                            var name = names[i];
502
                            if (test.call(null, base, name))
503
                            {
504
                              return name;
505
                            }
95 PointedEar 506
                          }
118 PointedEar 507
 
508
                          return null;
509
                        },
510
 
511
                        getSupportedCancel: (function () {
512
                          var _supportedCancel;
513
 
514
                          return function () {
515
                            if (typeof _supportedCancel == "undefined")
516
                            {
517
                              var properties = ["cancelFullScreen", "mozCancelFullScreen",
518
                                                "webkitCancelFullScreen"];
519
 
520
                              _supportedCancel = this.getSupportedProperty(document, properties, _isHostMethod);
521
                            }
522
 
523
                            return _supportedCancel;
524
                          };
525
                        }()),
526
 
527
                        getSupportedElement: (function () {
528
                          var _supportedElement;
529
 
530
                          return function () {
531
                            if (typeof _supportedElement == "undefined")
532
                            {
533
                              var properties = ["fullscreenElement", "mozFullscreenElement",
534
                                                "webkitFullscreenElement"];
535
 
536
                              _supportedElement = this.getSupportedProperty(document, properties,
537
                                function (base, name) {
538
                                  return typeof base[name] != "undefined";
539
                                });
540
                            }
541
 
542
                            return _supportedElement;
543
                          };
544
                        }()),
545
 
546
                        isSupportedBy: function (elem) {
547
                          var methods = ["requestFullscreen", "mozRequestFullscreen",
548
                                         "webkitRequestFullscreen"];
549
                          return this.getSupportedProperty(elem, methods, _isHostMethod);
550
                        },
551
 
552
                        isFullscreen: function () {
553
                          var properties = ["fullscreenElement", "mozFullscreenElement",
554
                                            "webkitFullscreenElement"];
555
                          var supportedProperty = this.getSupportedProperty(
556
                            document, properties,
557
                            function (base, name) {
558
                              return typeof base[name] != "undefined";
559
                            });
560
 
561
                          return supportedProperty && document[supportedProperty] != null;
562
                        },
563
 
564
                        cancel: function (target, oldHandler, textTarget) {
565
                          var supportedCancel = this.getSupportedCancel();
566
                          if (supportedCancel)
95 PointedEar 567
                          {
118 PointedEar 568
                            document[supportedCancel]();
569
 
570
                            var supportedElement = this.getSupportedElement();
571
                            if (supportedElement)
572
                            {
573
                              if (document[supportedElement] == null)
574
                              {
575
                                if (textTarget)
576
                                {
577
                                  textTarget.textContent = "<?php echo _("Fullscreen"); ?>";
578
                                }
579
 
580
                                if (target)
581
                                {
582
                                  target.onclick = oldHandler;
583
                                }
584
                              }
585
                            }
95 PointedEar 586
                          }
118 PointedEar 587
                        },
588
 
589
                        requestOn: function (elem, eventTarget, textTarget) {
590
                          var requestMethodName;
591
 
592
                          if (elem && (requestMethodName = this.isSupportedBy(elem)))
593
                          {
594
                            elem[requestMethodName]();
595
                            if (textTarget && this.isFullscreen())
596
                            {
597
                              var oldText = textTarget.textContent;
598
                              var me = this;
599
                              var oldHandler = eventTarget.onclick;
600
                              eventTarget.onclick = function () {
601
                                me.cancel(this, oldHandler, textTarget);
602
                              };
603
                              textTarget.textContent = "<?php echo _("Window"); ?>";
604
                            }
605
                          }
76 PointedEar 606
                        }
118 PointedEar 607
                      };
608
                    }());
76 PointedEar 609
 
118 PointedEar 610
                    (function () {
611
                      function getFeatures ()
76 PointedEar 612
                      {
118 PointedEar 613
                        var features = [];
614
                        if (navigator.cookieEnabled) features.push("<?php echo _('Cookies'); ?>");
615
                        if (fullscreen.isSupportedBy(document.documentElement)) features.push("<?php echo _('Fullscreen'); ?>");
616
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length) features.push("<?php echo _('Gamepad'); ?>");
617
                        if (navigator.geolocation) features.push("<?php echo _('Geolocation'); ?>");
618
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled()) features.push("Java");
619
                        if (typeof window.localStorage != "undefined") features.push("Local Storage");
620
                        if (navigator.plugins) features.push("Plugins");
621
                        if (typeof window.sessionStorage != "undefined") features.push("Session Storage");
622
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
623
                        return features.join(" &#8226; ");
76 PointedEar 624
                      }
118 PointedEar 625
 
626
                      var sFeatures = getFeatures();
627
                      document.write('<span id="features" title="' + sFeatures + '">' + sFeatures + '<\/span>');
628
 
121 PointedEar 629
                      var oFeatures;
118 PointedEar 630
                      window.setTimeout(function () {
121 PointedEar 631
                        if (typeof oFeatures == "undefined")
632
                        {
633
                          oFeatures = document.getElementById("features");
634
                        }
635
 
636
                        if (oFeatures)
637
                        {
638
                          oFeatures.innerHTML = getFeatures();
639
 
640
                          /* Converts CREs */
641
                          oFeatures.title = oFeatures.innerHTML;
642
                        }
118 PointedEar 643
                      }, 1000);
644
                    }());
645
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
646
                </tr>
647
              </table>
648
            </div>
92 PointedEar 649
            <ul class="commands">
97 PointedEar 650
              <li id="cmd1"><a href="index.php"
92 PointedEar 651
                title="Language selection"
652
                tabindex="1"
653
                class="button left right"
654
                onmouseover="return setStatus(this.title + ': ' + this.href)"
655
                onmouseout="return resetStatus()"
656
                onfocus="return this.onmouseover()"
657
                onblur="return this.onmouseout()"
658
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
659
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
660
                title="<?php echo _('Printable version'); ?>"
661
                tabindex="1"
662
                class="button left right"
663
                onmouseover="return setStatus(this.title + ': ' + this.href)"
664
                onmouseout="return resetStatus()"
665
                onfocus="return this.onmouseover()"
666
                onblur="return this.onmouseout()"
667
                ><span class="text"><?php echo _("Printable"); ?></span></a></li>
668
              <li id="cmd3"><div class="button left right"
115 PointedEar 669
                   style="cursor: not-allowed !important"
95 PointedEar 670
                   onclick="fullscreen.requestOn(document.documentElement, this, this.firstChild)"
121 PointedEar 671
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
92 PointedEar 672
                   tabindex="1"
673
                   ><span class="text"><script type="text/javascript">
95 PointedEar 674
                     if (fullscreen.isSupportedBy(document.documentElement))
92 PointedEar 675
                     {
105 PointedEar 676
<?php /*
95 PointedEar 677
                       var previousIsFullscreen = fullscreen.isFullscreen();
678
                       var oldHandler;
679
                       window.onresize = function () {
680
                         var nowIsFullscreen = fullscreen.isFullscreen();
681
                         if (nowIsFullscreen != previousIsFullscreen)
682
                         {
683
                           var cmd3 = document.getElementById("cmd3");
684
                           var target = cmd3.firstChild;
685
                           var textTarget = target.firstChild;
686
                           if (nowIsFullscreen)
687
                           {
688
                             oldHandler = target.onclick;
689
                           //   fullscreen.requestOn(document.documentElement, cmd3.firstElementChild, cmd3.firstElementChild.firstElementChild);
690
                           }
691
                           else
692
                           {
693
                             fullscreen.cancel(target, oldHandler, textTarget);
694
                           }
695
 
696
                           previousIsFullscreen = nowIsFullscreen;
697
                         }
698
                       };
105 PointedEar 699
*/ ?>
92 PointedEar 700
                       document.write("<?php echo _("Fullscreen"); ?>");
701
                     }
702
                   </script></span></div></li>
703
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
704
            </ul>
72 PointedEar 705
          </div>
74 PointedEar 706
          <div class="elbo-button">
107 PointedEar 707
            <span class="text" title="<?php echo _("Date of last modification"); ?>"
708
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
74 PointedEar 709
          </div>
39 PointedEar 710
          <div class="elbo">
126 PointedEar 711
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
39 PointedEar 712
            <div class="concave">&nbsp;</div>
713
          </div>
79 PointedEar 714
          <div class="border">
715
            <div class="left">&nbsp;</div>
716
            <div class="right">&nbsp;</div>
717
          </div>
39 PointedEar 718
        </div>
719
        <div class="lower">
720
          <div class="elbo">
721
            <div class="concave">&nbsp;</div>
722
          </div>
723
          <div class="bg">&nbsp;</div>
724
          <div class="border-container">
79 PointedEar 725
            <div class="border">
726
              <div class="left">&nbsp;</div>
727
              <div class="right">&nbsp;</div>
728
            </div>
39 PointedEar 729
          </div>
730
        </div>
731
      </div>
732
    </div>
733
  </body>
734
</html>