Subversion Repositories LCARS

Rev

Rev 231 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
227 PointedEar 1
 
2
<div id="LCARS">
210 PointedEar 3
<?php /*
4
      <div id="button-grid" style="position: absolute; opacity: 0.3">
5
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
6
 
7
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
8
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
9
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
10
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
11
 
12
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
13
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
14
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
15
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
16
 
17
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
18
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
19
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
20
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
21
 
22
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
23
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
24
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
25
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
26
 
27
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
28
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
29
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
30
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
31
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
32
 
33
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
34
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
35
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
36
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
37
 
38
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
39
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
40
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
41
 
42
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
43
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
44
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
45
 
46
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
47
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
48
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
49
 
50
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
51
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
52
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
53
      </div>
54
*/ ?>
55
      <div id="bow">
227 PointedEar 56
    <div id="bow-top">
57
      <div class="separator-left">&nbsp;</div>
235 PointedEar 58
      <div class="text" lang="<?php echo $language; ?>">
59
        <span><?php echo tr("PointedEars' Website"); ?></span>
227 PointedEar 60
      </div>
61
    </div>
62
    <div id="bow-top-left">
63
      <div class="concave">&nbsp;</div>
64
      <div
65
        style="position: absolute; top: 3.2em; left: 0; background-color: black"
66
      >
67
        <div class="bow"
68
          style="margin-top: 0.2em; width: 8em; height: 1em"
69
        >&nbsp;</div>
70
      </div>
71
    </div>
72
    <div id="bottom">
73
      <div id="bow-bottom">
74
        <div class="concave">&nbsp;</div>
75
        <div class="spacer">&nbsp;</div>
76
      </div>
77
    </div>
210 PointedEar 78
 
227 PointedEar 79
    <div class="menu-container">
80
      <nav class="menu">
231 PointedEar 81
<!--
82
      <ul>
210 PointedEar 83
            <?php foreach ($languages as $key => $name): ?>
227 PointedEar 84
              <li><a
85
            href="index.<?php echo language_key_short($key); ?>?ani=0"
86
            lang="<?php echo $key; ?>" hreflang="<?php echo $key; ?>"
87
            class="button<?php if ($language === $key) { ?> selected<?php } ?>"
88
            tabindex="2"
89
          ><span class="text"><?php echo language_name($key); ?></span></a></li>
210 PointedEar 90
            <?php endforeach; ?>
91
            </ul>
227 PointedEar 92
        <div class="bow" style="margin-bottom: 0.4em; height: 0.4em">&nbsp;</div>
231 PointedEar 93
 -->
227 PointedEar 94
        <ul style="margin-bottom: 1.2em">
95
          <li><a href="<?php echo $menu['scripts']['path']; ?>"
96
            target="_top" class="button" lang="<?php echo $language; ?>"
97
          ><span class="text"><?php echo $menu['scripts']['text']; ?></span></a></li>
98
          <li><a href="<?php echo $menu['es-matrix']['path']; ?>"
99
            target="_top" class="button"
100
            title="<?php echo $menu['es-matrix']['title']; ?>"
101
          ><span class="text"><?php echo $menu['es-matrix']['text']; ?></span></a></li>
102
          <li><a href="<?php echo $menu['devel']['path']; ?>"
103
            target="_top" class="button" lang="<?php echo $language; ?>"
104
          ><span class="text"><?php echo $menu['devel']['text']; ?></span></a></li>
105
        </ul>
106
        <ul style="margin-bottom: 0.2em">
107
          <li><a href="psf/" target="_top" class="button ancillary"><abbr
108
              title="<?php echo tr("PointedEars' Standard Frases"); ?>"
109
              class="text"
110
            >psf</abbr></a></li>
111
          <li><a href="<?php echo $menu['series']['path']; ?>"
112
            target="_top" class="button ancillary"
113
            title="<?php echo tr('List of recommended TV shows and episodes, with logos in CSS'); ?>"
114
          ><span class="text"><?php echo $menu['series']['text']; ?></span></a></li>
115
          <li><a href="<?php echo $menu['ufpdb']['path']; ?>"
116
            target="_top" class="button database"
117
          ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
118
              class="text"
119
            ><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
120
        </ul>
121
        <div style="position: relative; margin-bottom: 1.2em">
122
          <div class="bow" style="height: 0.8em">&nbsp;</div>
123
        </div>
124
        <ul>
125
          <li><a
126
            href="http://climateapps2.oerc.ox.ac.uk/cpdnboinc/show_user.php?userid=648544"
127
            target="_top" class="button secondary"
235 PointedEar 128
            title="<?php echo tr("The world's largest climate forecasting experiment for the 21st century"); ?>"
227 PointedEar 129
          ><span class="text">climateprediction.net</span></a></li>
130
          <li><a
131
            href="http://fah-web2.stanford.edu/cgi-bin/main.py?qtype=userpage&username=Thomas_Lahn"
132
            target="_top" class="button secondary"
133
            title="<?php echo tr("Distributed computing to understand protein folding, protein aggregation, and related diseases"); ?>"
134
          ><span class="text">Folding at home</span></a></li>
135
          <li><a
136
            href="http://lhcathomeclassic.cern.ch/sixtrack/show_user.php?userid=221181"
137
            target="_top" class="button secondary"
138
            title="<?php echo tr("Particle physics research with the Large Hadron Collider at CERN"); ?>"
139
          ><span class="text">LHC at home</span></a></li>
140
          <li><a
141
            href="http://setiathome.berkeley.edu/show_user.php?userid=378921"
142
            target="_top" class="button secondary"
143
            title="<?php echo tr("The Search for Extra-Terrestrial Intelligence at HOME"); ?>"
144
          ><span class="text">SETI at home</span></a></li>
145
          <li><a
146
            href="http://stackoverflow.com/users/855543/pointedears"
147
            target="_top" class="button secondary"
148
            title="<?php echo tr("Me on Stack Overflow"); ?>"
149
          ><span class="text">Stack Overflow</span></a></li>
150
          <li><a href="https://twitter.com/PointedEars2" target="_top"
151
            class="button secondary"
152
            title="<?php echo tr("Me on Twitter"); ?>"
153
          ><span class="text">Twitter</span></a></li>
154
          <li><a
155
            href="<?php echo tr("http://en.wikipedia.org/wiki/Special:Contributions/PointedEars"); ?>"
156
            target="_top" class="button secondary"
157
            title="<?php echo tr("My contributions to Wikipedia"); ?>"
158
          ><span class="text"><?php echo tr('Wikipedia'); ?></span></a></li>
159
        </ul>
210 PointedEar 160
<?php /*
161
            <script type="text/javascript">
162
              var sURL = location.href;
163
              var sFavAnchorTitle =
164
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
165
                + " hinzuzufügen";
166
              var sOtherAnchorTitle =
167
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
168
                + " Ihren Lesezeichen hinzuzufügen";
169
              var sFavoriteTitle = "PointedEars' Website";
170
 
171
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
172
              {
173
                document.write(
174
                    '<div style="position: relative; margin-top: 1em; border-bottom: 0.2em solid transparent">'
175
                  + '  <div class="bow" style="width: 8em; height: 1em">&nbsp;<\/div>'
176
                  + '  <div class="bow" style="position: absolute; top: 0; left: 8.2em; width: 2em; height: 1em">&nbsp;<\/div>'
177
                  + '</div>'
178
                  + '<a href="javascript:window.external.AddFavorite('
179
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
180
                  + ' class="button"'
181
                  + ' onclick="window.external.AddFavorite('
182
                  + ' sURL, sFavoriteTitle); return false"'
183
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
184
                  + ' onmouseout="return resetStatus()"'
185
                  + '><span class="text">Favorit<\/span><\/a>');
186
              }
187
            </script>
188
*/ ?>
189
          </nav>
227 PointedEar 190
    </div>
191
  </div>
192
  <div id="connectors">
193
    <div class="bow top left">&nbsp;</div>
194
    <div class="bow top right">&nbsp;</div>
195
 
196
    <div class="bow mid left">&nbsp;</div>
197
    <div class="bow mid right">&nbsp;</div>
198
  </div>
199
  <div class="multi-display">
200
    <div class="upper">
201
      <div class="content">
202
        <div class="title" id="title" lang="<?php echo $language; ?>">
203
          <span class="text"><?php echo tr('Home'); ?></span>
210 PointedEar 204
        </div>
227 PointedEar 205
        <div class="analysis" id="analysis">
206
          <table>
207
            <tr>
231 PointedEar 208
              <th lang="<?php echo $language; ?>"><span class="text"><?php echo tr('Display'); ?></span></th>
235 PointedEar 209
              <td lang="<?php echo $language; ?>"><script type="text/javascript">
210 PointedEar 210
                    var _addEventListener = jsx.dom.addEventListener;
211
                    var _runAsync = jsx.dom.timeout.runAsync;
212
                    var ID_SCREEN_DIM = 'screenDim';
213
                    var ID_AVAIL_DIM = 'availDim';
214
                    var ID_INNER_DIM = 'innerDim';
215
 
216
                    var dim = (function () {
217
                      var screenInfo = jsx.dom.window.screenInfo;
218
 
219
                      return {
220
                        getScreenText: function () {
221
                          var screenDim = screenInfo.getDim();
222
                          return screenDim.width + "×" + screenDim.height;
223
                        },
224
 
225
                        getAvailText: function () {
226
                          var availDim = screenInfo.getAvailDim();
227
                          return <?php echo sprintf(tr('%s + "x" + %s + " available"'), 'availDim.width', 'availDim.height'); ?>;
228
                        },
229
 
230
                        getInnerText: function () {
231
                          var innerDim = screenInfo.getInnerDim();
232
                          return ", " + <?php echo sprintf(tr('%s + "x" + %s + " used"'), 'innerDim.width', 'innerDim.height'); ?>;
233
                        },
234
 
235
                        getColorDepthText: function () {
236
                          var colorDepth = screenInfo.getColorDepth();
237
                          return colorDepth
238
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo tr('colors'); ?>"
239
                            : "";
240
                        }
241
                      };
242
                    }());
243
 
244
                    (function () {
245
                      var screenDimText = dim.getScreenText();
246
                      var availDimText = dim.getAvailText();
247
                      var innerDimText = dim.getInnerText();
248
                      var colorDepthText = dim.getColorDepthText();
249
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
235 PointedEar 250
                        ?   (screenDimText ? <?php echo sprintf("'" . tr('%s pixels') . '"', "<span id=\"' + ID_SCREEN_DIM + '\">' + screenDimText + '<\/span>' + \""); ?> : "")
210 PointedEar 251
                          + (availDimText ? ' (<span id="' + ID_AVAIL_DIM + '">' + availDimText + "<\/span>" : "")
252
                          + (innerDimText ? '<span id="' + ID_INNER_DIM + '">' + innerDimText + "<\/span>)" : "")
253
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
254
                        : TEXT_NOT_AVAILABLE;
255
 
256
                      /* FIXME: Convert HTML to text, update whole title text */
257
                      document.write('<span class="text">' + displayInfo + '<\/span>');
258
 
259
                      var oColorDepth;
260
                      var tColor = _runAsync(function () {
261
                        if (typeof oColorDepth == "undefined")
262
                        {
263
                          oColorDepth = document.getElementById("colorDepth");
264
                        }
265
 
266
                        if (oColorDepth)
267
                        {
268
                          var colorDepthText = dim.getColorDepthText();
269
                          <?php /* FIXME: Also update title attribute value */ ?>
270
                          if (oColorDepth.innerHTML != colorDepthText)
271
                          {
272
                            oColorDepth.innerHTML = colorDepthText;
273
                          }
274
                        }
275
 
276
                        tColor = this.run();
277
                      }, 1000);
278
 
279
                      _addEventListener(document, "unload", function () {
280
                        tColor.unset();
281
                        tColor = null;
282
                      });
283
                    }());
227 PointedEar 284
                  </script>
285
                <noscript><?php echo tr('N/A'); ?></noscript></td>
286
            </tr>
287
            <tr>
231 PointedEar 288
              <th lang="<?php echo $language; ?>"><span class="text"><?php echo tr('User Agent'); ?></span></th>
227 PointedEar 289
              <td><script type="text/javascript"
290
                  src="application/scripts/ua.js"
291
                ></script>
292
                <noscript><?php
210 PointedEar 293
                    echo tr('N/A'); ?></noscript></td>
227 PointedEar 294
            </tr>
295
            <tr>
231 PointedEar 296
              <th lang="<?php echo $language; ?>"><span class="text"><?php echo tr('Features'); ?></span></th>
227 PointedEar 297
              <td><script type="text/javascript">
210 PointedEar 298
                    var fullscreen = jsx.dom.window.fullscreen;
299
 
300
                    (function () {
301
                      function getFeatures ()
302
                      {
303
                        var features = [];
304
                        if (typeof document.cookie != "undefined")
305
                        {
306
                          var cookiesText = "<?php echo tr('Cookies'); ?>"
307
                          if (navigator.cookieEnabled)
308
                          {
309
                            if (document.cookie)
310
                            {
311
                              var cookies = document.cookie;
312
                              cookies = cookies.split(/\s*;\s*/);
313
                              features.push('<a href="#" title="'
314
                                + cookies.join("&#13;&#10;")
315
                                + '"'
235 PointedEar 316
                                + ' onclick=\'window.alert(<?php
317
                                  echo htmlspecialchars(sprintf(tr('"Cookies for " + %s + "'), 'document.domain'), ENT_QUOTES);
318
                                  ?>'
319
                                + '\\n\\n'
320
                                + cookies.join("\\n")
321
                                + '"); return false\'><span class=\'text\' lang=\'<?php
322
                                  echo $language;
323
                                  ?>\'>' + cookiesText + '<\/span><\/a>');
210 PointedEar 324
                            }
325
                            else
326
                            {
327
                              features.push('<span class="unavailable"'
235 PointedEar 328
                                + ' title="<?php echo htmlspecialchars(tr('Cookies supported, but no data for this site'), ENT_QUOTES); ?>"'
210 PointedEar 329
                                + '>' + cookiesText + '<\/span>');
330
                            }
331
                          }
332
                          else
333
                          {
334
                            features.push('<span class="offline"'
235 PointedEar 335
                              + ' title="<?php echo htmlspecialchars(tr('Cookies supported, but disabled'), ENT_QUOTES); ?>"'
210 PointedEar 336
                              + '>' + cookiesText + '<\/span>');
337
                          }
338
                        }
339
 
340
                        if (fullscreen.isSupportedBy(document.documentElement))
341
                        {
235 PointedEar 342
                          features.push("<span class='text' lang='<?php echo $language; ?>'><?php echo tr('Fullscreen'); ?><\/span>");
210 PointedEar 343
                        }
344
 
345
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
346
                        {
235 PointedEar 347
                          features.push("<span class='text' lang='<?php echo $language; ?>'><?php echo tr('Gamepad'); ?></span>");
210 PointedEar 348
                        }
349
 
350
                        if (jsx.dom.geolocation.isAvailable())
351
                        {
227 PointedEar 352
                          features.push('<a href="#" title="<?php echo htmlspecialchars(tr('Get location'), ENT_QUOTES); ?>"'
353
                            + ' lang="<?php echo $language; ?>"'
354
                            + ' onclick=\'return lcars.multiDisplay.geolocate("<?php echo htmlspecialchars(tr('Geolocation'), ENT_QUOTES); ?>", "<?php echo $language; ?>")\''
355
                            + '><span class="text"><?php echo htmlspecialchars(tr('Geolocation'), ENT_QUOTES); ?><\/span><\/a>');
210 PointedEar 356
                        }
357
 
358
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
359
                        {
360
                          features.push("Java");
361
                        }
362
 
363
                        var storage = jsx.dom.storage;
364
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
365
 
366
                        if (navigator.plugins)
367
                        {
368
                          if (navigator.plugins.length > 0)
369
                          {
370
                            features.push('<span title="'
371
                              + navigator.plugins.length
235 PointedEar 372
                              + ' <?php echo htmlspecialchars(tr('plugins installed'), ENT_QUOTES); ?>">Plugins<\/span>');
210 PointedEar 373
                          }
374
                          else
375
                          {
376
                                features.push('<span class="unavailable"'
235 PointedEar 377
                                + ' title="<?php echo htmlspecialchars(tr('Plugins supported, but none detected'), ENT_QUOTES); ?>"'
210 PointedEar 378
                                + '>Plugins<\/span>');
379
                          }
380
                        }
381
 
382
                        if (storage.sessionStorage.isSupported())
383
                        {
384
                          features.push("Session Storage");
385
                        }
386
 
387
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
388
                        return features.join(" &#8226; ");
389
                      }
390
 
391
                      function stripTags (s)
392
                      {
235 PointedEar 393
                        return s.replace(/<(br|p)\s*\/?>/ig, "\\n").replace(/<[^>]*>/g, "");
210 PointedEar 394
                      }
395
 
396
                      var sFeatures = getFeatures();
397
                      document.write('<span id="features" title="' + stripTags(sFeatures) + '">' + sFeatures + '<\/span>');
398
 
399
                      var oFeatures;
400
                      var oFeaturesHtml;
401
                      var tFeatures = _runAsync(function () {
402
                        if (typeof oFeatures == "undefined")
403
                        {
404
                          oFeatures = document.getElementById("features");
405
                        }
406
 
407
                        if (oFeatures)
408
                        {
409
                          var sNewFeatures = getFeatures();
410
 
411
                          if (!oFeaturesHtml)
412
                          {
413
                            oFeaturesHtml = document.createElement("span");
414
                          }
415
 
416
                          if (oFeaturesHtml)
417
                          {
418
                            oFeaturesHtml.innerHTML = sNewFeatures;
419
                            sNewFeatures = oFeaturesHtml.innerHTML;
420
                          }
421
 
422
                          if (oFeatures.innerHTML != sNewFeatures)
423
                          {
424
                            oFeatures.innerHTML = sNewFeatures;
425
                          }
426
 
427
                          /* Converts CREs */
428
                          var newTitle = stripTags(oFeatures.innerHTML)
429
                          if (oFeatures.title != newTitle)
430
                          {
431
                            oFeatures.title = newTitle;
432
                          }
433
                        }
434
 
435
                        tFeatures = this.run();
436
                      }, 1000);
437
                    }());
438
 
439
                    _addEventListener(document, "unload", function () {
440
                      tFeatures.unset();
441
                      tFeatures = null;
442
                    });
443
 
444
                    var windowText = "<?php echo tr("Window"); ?>";
227 PointedEar 445
                  </script>
446
                <noscript><?php echo tr('N/A'); ?></noscript></td>
447
            </tr>
448
          </table>
449
        </div>
450
        <ul class="commands">
451
          <li id="cmd1"><a href="index.php" title="Language selection"
452
            tabindex="1" class="button left right"
453
            onmouseover="return setStatus(this.title + ': ' + this.href)"
454
            onmouseout="return resetStatus()"
455
            onfocus="return this.onmouseover()"
456
            onblur="return this.onmouseout()"
457
          ><abbr class="text" title="Language selection">Language</abbr></a></li>
458
          <li id="cmd2"><a
235 PointedEar 459
            href="index.<?php echo language_key_short($language); ?>?printable=1"
227 PointedEar 460
            title="<?php echo tr('Printable version'); ?>" tabindex="1"
461
            class="button left right"
462
            onmouseover="return setStatus(this.title + ': ' + this.href)"
463
            onmouseout="return resetStatus()"
464
            onfocus="return this.onmouseover()"
465
            onblur="return this.onmouseout()"
466
            lang="<?php echo $language; ?>"
467
          ><span class="text"><?php echo tr("Printable"); ?></span></a></li>
235 PointedEar 468
          <li id="cmd3"><div class="button left right"
227 PointedEar 469
              style="cursor: not-allowed !important"
231 PointedEar 470
              onclick="toggleFullscreen(this)"
471
              onkeyup="if (event.keyCode == 13) { this.click(); }"
227 PointedEar 472
              lang="<?php echo $language; ?>"
235 PointedEar 473
              ><span class="text"></span></div></li>
474
          <li id="cmd4"><div class="button left right"<?php
231 PointedEar 475
//               $language_keys = array_keys($languages);
476
              if (in_array($language, array(@$klingon, @$vulcan)))
228 PointedEar 477
              {
478
                ?> tabindex="1" onclick="return toggleScript(this)"<?php
479
              }
227 PointedEar 480
              else
481
              {
482
                ?> style="cursor: not-allowed !important"<?php
483
              }
231 PointedEar 484
              ?>
485
              onkeyup="if (event.keyCode == 13) { this.click(); }"
486
              ><span class="text" lang="<?php echo $language; ?>"><?php
228 PointedEar 487
                switch ($language)
488
                {
489
                  case $klingon: echo 'pIqaD'; break;
490
                  case $vulcan: echo 'Hitra-Zukitan'; break;
235 PointedEar 491
//                default: echo tr('Original');
228 PointedEar 492
                }
235 PointedEar 493
              ?></span></div></li>
227 PointedEar 494
        </ul>
495
      </div>
496
      <div class="elbo-button">
228 PointedEar 497
        <span class="text" lang="<?php echo $language; ?>"
227 PointedEar 498
          title="<?php echo tr("Date of last modification"); ?>"
499
        ><?php echo gmdate('Ym.d', $modi); ?></span>
500
      </div>
501
      <div class="elbo" lang="<?php echo $language; ?>">
502
        <span class="text"><abbr
503
          title="<?php echo tr('Library Computer Access and Retrieval System'); ?>"
235 PointedEar 504
        ><?php echo tr('LCARS'); ?></abbr> <span lang="en">PE-</span>22<span style="text-transform: uppercase">a</span></span>
227 PointedEar 505
        <div class="concave">&nbsp;</div>
506
      </div>
507
      <div class="border">
508
        <div class="left">&nbsp;</div>
509
        <div class="right">&nbsp;</div>
510
      </div>
511
    </div>
512
    <div class="lower">
513
      <div class="elbo">
514
        <div class="concave">&nbsp;</div>
515
      </div>
516
      <div class="bg">&nbsp;</div>
517
      <div class="border-container">
518
        <div class="border">
519
          <div class="left">&nbsp;</div>
520
          <div class="right">&nbsp;</div>
210 PointedEar 521
        </div>
522
      </div>
523
    </div>
227 PointedEar 524
  </div>
525
</div>