Subversion Repositories LCARS

Rev

Rev 138 | Rev 143 | 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"> -->
142 PointedEar 61
    <!-- No optimization here: IE 9 in non-Compatibility Mode sends "Accept: text/css",
62
         Apache responds with 406:
63
         http://blog.s9y.org/archives/227-ie9-has-trouble-with-css-content-types.html -->
56 PointedEar 64
*/ ?>
138 PointedEar 65
    <link rel="stylesheet" type="text/css" href="styles/lcars-basic">
128 PointedEar 66
<?php
138 PointedEar 67
  $isLocal = ($_SERVER['HTTP_HOST'] === 'localhost');
56 PointedEar 68
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
69
  if (!$printable)
70
  {
128 PointedEar 71
?>
138 PointedEar 72
    <link rel="stylesheet" type="text/css" href="styles/lcars22<?php
56 PointedEar 73
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
74
      {
75
        echo '?ani=' . $_GET['ani'];
76
      }
77
    ?>">
78
<?php
79
  }
80
?>
39 PointedEar 81
    <style type="text/css">
82
      <!--
83
      p {
84
        max-width: 100%;
85
      }
86
      -->
87
    </style>
88
 
130 PointedEar 89
    <script type="text/javascript" src="scripts/builder?src=object,dom,dom/storage,dom/events,dom/timeout,dom/window<?php
90
      if ($isLocal)
91
      {
92
        ?>&amp;verbose=1&amp;debug=1<?php
93
      }
94
    ?>"></script>
39 PointedEar 95
    <script type="text/javascript">
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">
131 PointedEar 369
                    var runAsync = jsx.dom.timeout.runAsync;
370
 
121 PointedEar 371
                    (function () {
130 PointedEar 372
                      var screenInfo = jsx.dom.window.screenInfo;
121 PointedEar 373
 
374
                      var dim = {
375
                        getScreenText: function () {
376
                          var screenDim = screenInfo.getDim();
377
                          return screenDim.width + "×" + screenDim.height;
378
                        },
95 PointedEar 379
 
121 PointedEar 380
                        getAvailText: function () {
381
                          var availDim = screenInfo.getAvailDim();
382
                          return availDim.width + "×" + availDim.height + " <?php echo _('available'); ?>";
383
                        },
95 PointedEar 384
 
121 PointedEar 385
                        getInnerText: function () {
386
                          var innerDim = screenInfo.getInnerDim();
387
                          return ", " + innerDim.width + "×" + innerDim.height + " <?php echo _('used'); ?>";
388
                        },
95 PointedEar 389
 
121 PointedEar 390
                        getColorDepthText: function () {
391
                          var colorDepth = screenInfo.getColorDepth();
392
                          return colorDepth
393
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo _('colors'); ?>"
394
                            : "";
395
                        }
396
                      };
397
 
398
                      var screenDimText = dim.getScreenText();
399
                      var availDimText = dim.getAvailText();
400
                      var innerDimText = dim.getInnerText();
401
                      var colorDepthText = dim.getColorDepthText();
402
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
403
                        ?   (screenDimText ? '<span id="screenDim">' + screenDimText + '<\/span>' : "")
404
                          + (availDimText ? ' (<span id="availDim">' + availDimText + "<\/span>" : "")
405
                          + (innerDimText ? '<span id="innerDim">' + innerDimText + "<\/span>) <?php echo _('pixels'); ?>" : "")
406
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
407
                        : "<?php echo _('N/A'); ?>";
408
 
133 PointedEar 409
                      /* FIXME: Convert HTML to text, update whole title text */
118 PointedEar 410
                      document.write('<span>' + displayInfo + '<\/span>');
121 PointedEar 411
 
412
                      var oScreenDim;
413
                      var oAvailDim;
414
                      var oInnerDim;
130 PointedEar 415
                      var _gEBI = jsx.dom.getElementById;
416
                      jsx.dom.addEventListener(window, "resize", function () {
133 PointedEar 417
                        /* FIXME: Also update title attribute value */
130 PointedEar 418
                        if (typeof oScreenDim == "undefined") oScreenDim = _gEBI("screenDim");
121 PointedEar 419
                        if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
420
 
130 PointedEar 421
                        if (typeof oAvailDim == "undefined") oAvailDim = _gEBI("availDim");
121 PointedEar 422
                        if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
423
 
130 PointedEar 424
                        if (typeof oInnerDim == "undefined") oInnerDim = _gEBI("innerDim");
121 PointedEar 425
                        if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
130 PointedEar 426
                      });
121 PointedEar 427
 
428
                      var oColorDepth;
131 PointedEar 429
                      runAsync(function () {
121 PointedEar 430
                        if (typeof oColorDepth == "undefined")
431
                        {
432
                          oColorDepth = document.getElementById("colorDepth");
433
                        }
434
 
435
                        if (oColorDepth)
436
                        {
133 PointedEar 437
                          /* FIXME: Also update title attribute value */
121 PointedEar 438
                          oColorDepth.innerHTML = dim.getColorDepthText();
439
                        }
130 PointedEar 440
 
441
                        this.run();
121 PointedEar 442
                      }, 1000);
118 PointedEar 443
                    }());
444
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
445
                </tr>
446
                <tr>
447
                  <th><?php echo _('User Agent'); ?>:</th>
448
                  <td><script type="text/javascript">
449
                    (function () {
450
                      var ua = navigator.userAgent;
451
                      document.write('<span id="ua" title="' + ua + '">' + ua + '<\/span>');
121 PointedEar 452
 
453
                      var oUA;
131 PointedEar 454
                      runAsync(function () {
121 PointedEar 455
                        if (typeof oUA == "undefined")
456
                        {
457
                          oUA = document.getElementById("ua");
458
                        }
459
 
460
                        if (oUA)
461
                        {
462
                          oUA.innerHTML = navigator.userAgent;
463
 
133 PointedEar 464
                          /* Converts CREs */
121 PointedEar 465
                          oUA.title = oUA.innerHTML;
466
                        }
130 PointedEar 467
 
468
                        this.run();
118 PointedEar 469
                      }, 1000);
470
                    }());
471
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
472
                </tr>
473
                <tr>
474
                  <th><?php echo _('Features'); ?>:</th>
133 PointedEar 475
                  <td><script type="text/javascript">
476
                    <?php /* FIXME: Move to window.js, keep i18n */ ?>
130 PointedEar 477
                    var fullscreen = jsx.dom.window.fullscreen = (function () {
118 PointedEar 478
                      var _isHostMethod = jsx.object.isHostMethod;
76 PointedEar 479
 
118 PointedEar 480
                      return {
481
                        getSupportedProperty: function (base, names, test) {
482
                          for (var i = 0, len = names.length; i < len; ++i)
95 PointedEar 483
                          {
118 PointedEar 484
                            var name = names[i];
485
                            if (test.call(null, base, name))
486
                            {
487
                              return name;
488
                            }
95 PointedEar 489
                          }
118 PointedEar 490
 
491
                          return null;
492
                        },
493
 
494
                        getSupportedCancel: (function () {
495
                          var _supportedCancel;
496
 
497
                          return function () {
498
                            if (typeof _supportedCancel == "undefined")
499
                            {
500
                              var properties = ["cancelFullScreen", "mozCancelFullScreen",
501
                                                "webkitCancelFullScreen"];
502
 
503
                              _supportedCancel = this.getSupportedProperty(document, properties, _isHostMethod);
504
                            }
505
 
506
                            return _supportedCancel;
507
                          };
508
                        }()),
509
 
510
                        getSupportedElement: (function () {
511
                          var _supportedElement;
512
 
513
                          return function () {
514
                            if (typeof _supportedElement == "undefined")
515
                            {
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";
542
                            });
543
 
544
                          return supportedProperty && document[supportedProperty] != null;
545
                        },
546
 
547
                        cancel: function (target, oldHandler, textTarget) {
548
                          var supportedCancel = this.getSupportedCancel();
549
                          if (supportedCancel)
95 PointedEar 550
                          {
118 PointedEar 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"); ?>";
561
                                }
562
 
563
                                if (target)
564
                                {
565
                                  target.onclick = oldHandler;
566
                                }
567
                              }
568
                            }
95 PointedEar 569
                          }
118 PointedEar 570
                        },
571
 
572
                        requestOn: function (elem, eventTarget, textTarget) {
573
                          var requestMethodName;
574
 
575
                          if (elem && (requestMethodName = this.isSupportedBy(elem)))
576
                          {
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"); ?>";
587
                            }
588
                          }
76 PointedEar 589
                        }
118 PointedEar 590
                      };
591
                    }());
133 PointedEar 592
 
118 PointedEar 593
                    (function () {
594
                      function getFeatures ()
76 PointedEar 595
                      {
118 PointedEar 596
                        var features = [];
597
                        if (navigator.cookieEnabled) features.push("<?php echo _('Cookies'); ?>");
598
                        if (fullscreen.isSupportedBy(document.documentElement)) features.push("<?php echo _('Fullscreen'); ?>");
599
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length) features.push("<?php echo _('Gamepad'); ?>");
600
                        if (navigator.geolocation) features.push("<?php echo _('Geolocation'); ?>");
601
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled()) features.push("Java");
127 PointedEar 602
                        var storage = jsx.dom.storage;
603
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
118 PointedEar 604
                        if (navigator.plugins) features.push("Plugins");
127 PointedEar 605
                        if (storage.sessionStorage.isSupported()) features.push("Session Storage");
118 PointedEar 606
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
607
                        return features.join(" &#8226; ");
76 PointedEar 608
                      }
118 PointedEar 609
 
610
                      var sFeatures = getFeatures();
611
                      document.write('<span id="features" title="' + sFeatures + '">' + sFeatures + '<\/span>');
612
 
121 PointedEar 613
                      var oFeatures;
131 PointedEar 614
                      var tFeatures = runAsync(function () {
121 PointedEar 615
                        if (typeof oFeatures == "undefined")
616
                        {
617
                          oFeatures = document.getElementById("features");
618
                        }
619
 
620
                        if (oFeatures)
621
                        {
622
                          oFeatures.innerHTML = getFeatures();
623
 
133 PointedEar 624
                          /* Converts CREs */
121 PointedEar 625
                          oFeatures.title = oFeatures.innerHTML;
626
                        }
131 PointedEar 627
 
628
                        tFeatures = this.run();
118 PointedEar 629
                      }, 1000);
630
                    }());
133 PointedEar 631
                  </script><noscript><?php echo _('N/A'); ?></noscript></td>
118 PointedEar 632
                </tr>
633
              </table>
634
            </div>
92 PointedEar 635
            <ul class="commands">
97 PointedEar 636
              <li id="cmd1"><a href="index.php"
92 PointedEar 637
                title="Language selection"
638
                tabindex="1"
639
                class="button left right"
640
                onmouseover="return setStatus(this.title + ': ' + this.href)"
641
                onmouseout="return resetStatus()"
642
                onfocus="return this.onmouseover()"
643
                onblur="return this.onmouseout()"
644
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
645
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
646
                title="<?php echo _('Printable version'); ?>"
647
                tabindex="1"
648
                class="button left right"
649
                onmouseover="return setStatus(this.title + ': ' + this.href)"
650
                onmouseout="return resetStatus()"
651
                onfocus="return this.onmouseover()"
652
                onblur="return this.onmouseout()"
653
                ><span class="text"><?php echo _("Printable"); ?></span></a></li>
654
              <li id="cmd3"><div class="button left right"
115 PointedEar 655
                   style="cursor: not-allowed !important"
95 PointedEar 656
                   onclick="fullscreen.requestOn(document.documentElement, this, this.firstChild)"
121 PointedEar 657
                   onkeyup="if (event.keyCode == 13) { this.onclick(); }"
92 PointedEar 658
                   ><span class="text"><script type="text/javascript">
95 PointedEar 659
                     if (fullscreen.isSupportedBy(document.documentElement))
92 PointedEar 660
                     {
105 PointedEar 661
<?php /*
95 PointedEar 662
                       var previousIsFullscreen = fullscreen.isFullscreen();
663
                       var oldHandler;
664
                       window.onresize = function () {
665
                         var nowIsFullscreen = fullscreen.isFullscreen();
666
                         if (nowIsFullscreen != previousIsFullscreen)
667
                         {
668
                           var cmd3 = document.getElementById("cmd3");
669
                           var target = cmd3.firstChild;
670
                           var textTarget = target.firstChild;
671
                           if (nowIsFullscreen)
672
                           {
673
                             oldHandler = target.onclick;
674
                           //   fullscreen.requestOn(document.documentElement, cmd3.firstElementChild, cmd3.firstElementChild.firstElementChild);
675
                           }
676
                           else
677
                           {
678
                             fullscreen.cancel(target, oldHandler, textTarget);
679
                           }
680
 
681
                           previousIsFullscreen = nowIsFullscreen;
682
                         }
683
                       };
134 PointedEar 684
 
105 PointedEar 685
*/ ?>
134 PointedEar 686
                       jsx.dom.addEventListener(window, "load", function () {
687
                         var cmd3 = jsx.dom.getElementById("cmd3");
688
                         if (cmd3)
689
                         {
690
                           cmd3.firstChild.tabIndex = "1";
691
                         }
692
                       });
693
 
92 PointedEar 694
                       document.write("<?php echo _("Fullscreen"); ?>");
695
                     }
696
                   </script></span></div></li>
697
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
698
            </ul>
72 PointedEar 699
          </div>
74 PointedEar 700
          <div class="elbo-button">
107 PointedEar 701
            <span class="text" title="<?php echo _("Date of last modification"); ?>"
702
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
74 PointedEar 703
          </div>
39 PointedEar 704
          <div class="elbo">
126 PointedEar 705
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-22A</span>
39 PointedEar 706
            <div class="concave">&nbsp;</div>
707
          </div>
79 PointedEar 708
          <div class="border">
709
            <div class="left">&nbsp;</div>
710
            <div class="right">&nbsp;</div>
711
          </div>
39 PointedEar 712
        </div>
713
        <div class="lower">
714
          <div class="elbo">
715
            <div class="concave">&nbsp;</div>
716
          </div>
717
          <div class="bg">&nbsp;</div>
718
          <div class="border-container">
79 PointedEar 719
            <div class="border">
720
              <div class="left">&nbsp;</div>
721
              <div class="right">&nbsp;</div>
722
            </div>
39 PointedEar 723
          </div>
724
        </div>
725
      </div>
726
    </div>
727
  </body>
728
</html>