Subversion Repositories LCARS

Rev

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