Subversion Repositories LCARS

Rev

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

Rev 105 Rev 107
1
<!DOCTYPE html>
1
<!DOCTYPE html>
2
<html lang="<?php echo $language; ?>">
2
<html lang="<?php echo $language; ?>">
3
  <head>
3
  <head>
4
    <title>Home — PointedEars’ Website</title>
4
    <title>Home — PointedEars’ Website</title>
5
5
6
    <link rel="SHORTCUT ICON" href="favicon.ico">
6
    <link rel="SHORTCUT ICON" href="favicon.ico">
7
7
8
    <!-- Browsers: Character Encoding -->
8
    <!-- Browsers: Character Encoding -->
9
    <meta charset="UTF-8">
9
    <meta charset="UTF-8">
10
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
10
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
11
11
12
    <!-- Robots: Index, Subordinated Files, Description, Author,
12
    <!-- Robots: Index, Subordinated Files, Description, Author,
13
         Keywords, Document Date -->
13
         Keywords, Document Date -->
14
    <meta name="robots" content="index">
14
    <meta name="robots" content="index">
15
    <meta name="robots" content="follow">
15
    <meta name="robots" content="follow">
16
<?php /*
16
<?php /*
17
    <meta name="description"
17
    <meta name="description"
18
          content="PointedEars' Website: <?php
18
          content="PointedEars' Website: <?php
19
            $description = _("Access to the United Federation of Planets Databanks, an online songbook and software downloads always worth a click. Coming soon: The best internet links categorized and much more via a bilingual (English/German) LCARS terminal styled user interface that can be also used to surf the web anonymously! Bookmark NOW!");
19
            $description = _("Access to the United Federation of Planets Databanks, an online songbook and software downloads always worth a click. Coming soon: The best internet links categorized and much more via a bilingual (English/German) LCARS terminal styled user interface that can be also used to surf the web anonymously! Bookmark NOW!");
20
            echo $description;
20
            echo $description;
21
            ?>">
21
            ?>">
22
*/ ?>
22
*/ ?>
23
    <meta name="author" content="Thomas ‘PointedEars’ Lahn">
23
    <meta name="author" content="Thomas ‘PointedEars’ Lahn">
24
24
25
    <?php /* No localization of keywords at the time */ ?>
25
    <?php /* No localization of keywords at the time */ ?>
26
    <meta name="keywords"
26
    <meta name="keywords"
27
          content="Appz, Download, Links, LCARS, Star Trek, TNG, The Next Generation, DS9, Deep Space 9, Deep Space Nine, VOY, Voyager, UFP, Federation, United Federation of Planets, Database, Databank, Song, Songbook, Surf, anonymously, Raumschiff Enterprise, DNG, Die n&auml;chste Generation, VFP, F&ouml;deration, Vereinte F&ouml;deration der Planeten, Datenbasis, Datenbank, Lied, Liedtext, surfen, anonym">
27
          content="Appz, Download, Links, LCARS, Star Trek, TNG, The Next Generation, DS9, Deep Space 9, Deep Space Nine, VOY, Voyager, UFP, Federation, United Federation of Planets, Database, Databank, Song, Songbook, Surf, anonymously, Raumschiff Enterprise, DNG, Die n&auml;chste Generation, VFP, F&ouml;deration, Vereinte F&ouml;deration der Planeten, Datenbasis, Datenbank, Lied, Liedtext, surfen, anonym">
28
<?php /*
28
<?php /*
29
    <meta name="keywords" http-equiv="Keywords" lang="de" content="">
29
    <meta name="keywords" http-equiv="Keywords" lang="de" content="">
30
    <meta name="keywords" http-equiv="Keywords" lang="en-us" content="">
30
    <meta name="keywords" http-equiv="Keywords" lang="en-us" content="">
31
    <meta name="keywords" http-equiv="Keywords" lang="en" content="">
31
    <meta name="keywords" http-equiv="Keywords" lang="en" content="">
32
*/ ?>
32
*/ ?>
33
    <meta name="revisit-after" content="3 days">
33
    <meta name="revisit-after" content="3 days">
34
34
35
    <!-- Robots: Dublin Core Metadata (http://purl.org/metadata/dublin_core) -->
35
    <!-- Robots: Dublin Core Metadata (http://purl.org/metadata/dublin_core) -->
36
    <meta name="dcterms.title" content="PointedEars’ Website">
36
    <meta name="dcterms.title" content="PointedEars’ Website">
37
    <meta name="dcterms.creator" content="Thomas ‘PointedEars’ Lahn">
37
    <meta name="dcterms.creator" content="Thomas ‘PointedEars’ Lahn">
38
    <meta name="dcterms.subject" content="Private Web site">
38
    <meta name="dcterms.subject" content="Private Web site">
39
<?php /*
39
<?php /*
40
    <meta name="dcterms.description"
40
    <meta name="dcterms.description"
41
          content="PointedEars' Website: <?php echo $description; ?>">
41
          content="PointedEars' Website: <?php echo $description; ?>">
42
*/ ?>
42
*/ ?>
43
    <meta name="dcterms.publisher" content="PointedEars">
43
    <meta name="dcterms.publisher" content="PointedEars">
44
    <meta name="dcterms.date" content="2002-05-23T10:56:00+02:00">
44
    <meta name="dcterms.date" content="2002-05-23T10:56:00+02:00">
45
    <meta name="dcterms.created" content="2002-05-23">
45
    <meta name="dcterms.created" content="2002-05-23">
46
    <meta name="dcterms.modified" content="<?php echo gmdate('Y-m-dTH:i:sO', $modi); ?>">
46
    <meta name="dcterms.modified" content="<?php echo gmdate('Y-m-dTH:i:sO', $modi); ?>">
47
<?php /*
47
<?php /*
48
    <meta name="dcterms.type" content="">
48
    <meta name="dcterms.type" content="">
49
    <meta name="dcterms.format" content="">
49
    <meta name="dcterms.format" content="">
50
*/ ?>
50
*/ ?>
51
    <meta name="dcterms.identifier" content="http://pointedears.de/index.<?php echo $language; ?>">
51
    <meta name="dcterms.identifier" content="http://pointedears.de/index.<?php echo $language; ?>">
52
    <meta name="dcterms.language" content="<?php echo $language; ?>">
52
    <meta name="dcterms.language" content="<?php echo $language; ?>">
53
    <meta name="dcterms.rightsHolder"
53
    <meta name="dcterms.rightsHolder"
54
          content="Copyright © 2002&#8211;<?php echo gmdate('Y', $modi); ?> Thomas&nbsp;Lahn.">
54
          content="Copyright © 2002&#8211;<?php echo gmdate('Y', $modi); ?> Thomas&nbsp;Lahn.">
55
    <meta name="dcterms.rights"
55
    <meta name="dcterms.rights"
56
          content="<?php echo _("All rights reserved."); ?> <?php echo _("The author is not responsible for the availability and the content of websites referred by this site, and not responsible for the availability and the content of websites referred by those sites. Whereever outsourced material is used, copyright or trademark infringement is not intended. Third parties who claim copyrights or trademarks used herein are asked to send an informal email to webmaster@PointedEars.de for immediate removal or modification of the respective material on the website instead of reminding the author of usage of this material. Thank you."); ?>">
56
          content="<?php echo _("All rights reserved."); ?> <?php echo _("The author is not responsible for the availability and the content of websites referred by this site, and not responsible for the availability and the content of websites referred by those sites. Whereever outsourced material is used, copyright or trademark infringement is not intended. Third parties who claim copyrights or trademarks used herein are asked to send an informal email to webmaster@PointedEars.de for immediate removal or modification of the respective material on the website instead of reminding the author of usage of this material. Thank you."); ?>">
57
57
58
<?php /*
58
<?php /*
59
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars.css"> -->
59
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars.css"> -->
60
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars21.css"> -->
60
    <!-- <link rel="stylesheet" type="text/css" href="styles/lcars21.css"> -->
61
*/ ?>
61
*/ ?>
62
    <link rel="stylesheet" type="text/css" href="styles/lcars-basic.css">
62
    <link rel="stylesheet" type="text/css" href="styles/lcars-basic.css">
63
<?php
63
<?php
64
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
64
  $printable = (isset($_GET['printable']) && $_GET['printable'] === '1');
65
  if (!$printable)
65
  if (!$printable)
66
  {
66
  {
67
?>
67
?>
68
    <link rel="stylesheet" type="text/css" href="styles/lcars22.css<?php
68
    <link rel="stylesheet" type="text/css" href="styles/lcars22.css<?php
69
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
69
      if (isset($_GET['ani']) && $_GET['ani'] !== '')
70
      {
70
      {
71
        echo '?ani=' . $_GET['ani'];
71
        echo '?ani=' . $_GET['ani'];
72
      }
72
      }
73
    ?>">
73
    ?>">
74
<?php
74
<?php
75
  }
75
  }
76
?>
76
?>
77
    <style type="text/css">
77
    <style type="text/css">
78
      <!--
78
      <!--
79
      p {
79
      p {
80
        max-width: 100%;
80
        max-width: 100%;
81
      }
81
      }
82
      -->
82
      -->
83
    </style>
83
    </style>
84
84
85
    <script type="text/javascript">
85
    <script type="text/javascript">
86
      function setStatus (text)
86
      function setStatus (text)
87
      {
87
      {
88
        window.status = String(text);
88
        window.status = String(text);
89
        return true;
89
        return true;
90
      }
90
      }
91
91
92
      function resetStatus ()
92
      function resetStatus ()
93
      {
93
      {
94
        window.status = window.defaultStatus;
94
        window.status = window.defaultStatus;
95
        return true;
95
        return true;
96
      }
96
      }
97
<?php
97
<?php
98
      /*
98
      /*
99
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
99
      var ms1Day = 60*60*24*1000; // ms for 1 days = 60sec*60min*24hours*1000ms
100
      var msLeaveDays = ms1Day*6;
100
      var msLeaveDays = ms1Day*6;
101
      var ms30Days=ms1Day*30;
101
      var ms30Days=ms1Day*30;
102
      var delta;
102
      var delta;
103
      var newTime=new Date();
103
      var newTime=new Date();
104
      var msTime=newTime.getTime();
104
      var msTime=newTime.getTime();
105
      var msExpire=msTime+ms30Days;
105
      var msExpire=msTime+ms30Days;
106
      var expireTime=new Date(msExpire);
106
      var expireTime=new Date(msExpire);
107

107

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

175

176
      <!-- Klicken Sie hier, falls Sie nach 5 Sekunden nicht automatisch
176
      <!-- Klicken Sie hier, falls Sie nach 5 Sekunden nicht automatisch
177
           weitergeleitet werden. -->
177
           weitergeleitet werden. -->
178
*/
178
*/
179
?>
179
?>
180
<?php
180
<?php
181
  $app = "Welcome/$language";
181
  $app = "Welcome/$language";
182
  require_once 'footer.phtml';
182
  require_once 'footer.phtml';
183
      /* embed src="media/interface/speech/de/warten.wav" width="0" height="0"
183
      /* embed src="media/interface/speech/de/warten.wav" width="0" height="0"
184
      hidden="true" autostart="true" dir="ltr" lang="de" */
184
      hidden="true" autostart="true" dir="ltr" lang="de" */
185
?>
185
?>
186
    </div>
186
    </div>
187
    <div id="LCARS">
187
    <div id="LCARS">
188
<?php /*
188
<?php /*
189
      <div id="button-grid" style="position: absolute; opacity: 0.3">
189
      <div id="button-grid" style="position: absolute; opacity: 0.3">
190
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
190
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
191

191

192
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
192
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
193
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
193
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
194
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
194
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
195
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
195
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
196

196

197
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
197
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
198
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
198
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
199
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
199
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
200
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
200
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
201

201

202
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
202
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
203
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
203
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
204
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
204
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
205
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
205
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
206

206

207
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
207
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
208
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
208
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
209
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
209
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
210
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
210
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
211

211

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

217

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

222

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

226

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

230

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

234

235
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
235
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
236
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
236
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
237
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
237
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
238
      </div>
238
      </div>
239
*/ ?>
239
*/ ?>
240
      <div id="bow">
240
      <div id="bow">
241
        <div id="bow-top">
241
        <div id="bow-top">
242
          <div class="separator-left">&nbsp;</div>
242
          <div class="separator-left">&nbsp;</div>
243
          <div class="text"><span>PointedEars’ Website</span></div>
243
          <div class="text"><span>PointedEars’ Website</span></div>
244
        </div>
244
        </div>
245
        <div id="bow-top-left">
245
        <div id="bow-top-left">
246
          <div class="concave">&nbsp;</div>
246
          <div class="concave">&nbsp;</div>
247
        </div>
247
        </div>
248
        <div id="bottom">
248
        <div id="bottom">
249
          <div id="bow-bottom">
249
          <div id="bow-bottom">
250
            <div class="concave">&nbsp;</div>
250
            <div class="concave">&nbsp;</div>
251
            <div class="spacer">&nbsp;</div>
251
            <div class="spacer">&nbsp;</div>
252
        </div>
252
        </div>
253
        </div>
253
        </div>
254
       
254
       
255
        <div class="menu-container">
255
        <div class="menu-container">
256
          <nav class="menu">
256
          <nav class="menu">
257
            <div style="position: relative; margin-bottom: 1.2em">
257
            <div style="position: relative; margin-bottom: 1.2em">
258
              <div class="bow" style="width: 8em; height: 1em">&nbsp;</div>
258
              <div class="bow" style="width: 8em; height: 1em">&nbsp;</div>
259
            </div>
259
            </div>
260
            <ul>
260
            <ul>
261
            <?php foreach ($languages as $key => $name): ?>
261
            <?php foreach ($languages as $key => $name): ?>
262
              <li><a href="index.<?php echo $key; ?>?ani=0"
262
              <li><a href="index.<?php echo $key; ?>?ani=0"
263
                     class="button<?php if ($language === $key) { ?> selected<?php } ?>"
263
                     class="button<?php if ($language === $key) { ?> selected<?php } ?>"
264
                     tabindex="2"><span class="text"><?php echo $name; ?></span></a></li>
264
                     tabindex="2"><span class="text"><?php echo $name; ?></span></a></li>
265
            <?php endforeach; ?>
265
            <?php endforeach; ?>
266
            </ul>
266
            </ul>
267
            <div class="bow" style="margin-bottom: 0.4em; width: 8em; height: 0.4em">&nbsp;</div>
267
            <div class="bow" style="margin-bottom: 0.4em; width: 8em; height: 0.4em">&nbsp;</div>
268
            <ul style="margin-bottom: 1.2em">
268
            <ul style="margin-bottom: 1.2em">
269
              <li><a href="<?php echo $menu['scripts']['path']; ?>" target="_top" class="button"><span class="text"><?php echo $menu['scripts']['text']; ?></span></a></li>
269
              <li><a href="<?php echo $menu['scripts']['path']; ?>" target="_top" class="button"><span class="text"><?php echo $menu['scripts']['text']; ?></span></a></li>
270
              <li><a href="<?php echo $menu['es-matrix']['path']; ?>" target="_top" class="button"
270
              <li><a href="<?php echo $menu['es-matrix']['path']; ?>" target="_top" class="button"
271
                     title="<?php echo $menu['es-matrix']['title']; ?>"
271
                     title="<?php echo $menu['es-matrix']['title']; ?>"
272
                     ><span class="text"><?php echo $menu['es-matrix']['text']; ?></span></a></li>
272
                     ><span class="text"><?php echo $menu['es-matrix']['text']; ?></span></a></li>
273
              <li><a href="<?php echo $menu['devel']['path']; ?>" target="_top" class="button"><span class="text"><?php echo $menu['devel']['text']; ?></span></a></li>
273
              <li><a href="<?php echo $menu['devel']['path']; ?>" target="_top" class="button"><span class="text"><?php echo $menu['devel']['text']; ?></span></a></li>
274
            </ul>
274
            </ul>
275
            <ul style="margin-bottom: 0.2em">
275
            <ul style="margin-bottom: 0.2em">
276
              <li><a href="<?php echo $menu['series']['path']; ?>" target="_top" class="button secondary"
276
              <li><a href="<?php echo $menu['series']['path']; ?>" target="_top" class="button secondary"
277
                     title="List of recommended TV shows and episodes, with logos in CSS"
277
                     title="List of recommended TV shows and episodes, with logos in CSS"
278
                     ><span class="text"><?php echo $menu['series']['text']; ?></span></a></li>
278
                     ><span class="text"><?php echo $menu['series']['text']; ?></span></a></li>
279
              <li><a href="<?php echo $menu['ufpdb']['path']; ?>" target="_top" class="button database"
279
              <li><a href="<?php echo $menu['ufpdb']['path']; ?>" target="_top" class="button database"
280
                     ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
280
                     ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
281
                            class="text"><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
281
                            class="text"><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
282
              <li><a href="psf/" target="_top"
282
              <li><a href="psf/" target="_top"
283
                 class="button ancillary"
283
                 class="button ancillary"
284
                 ><abbr title="<?php echo _("PointedEars' Standard Frases"); ?>"
284
                 ><abbr title="<?php echo _("PointedEars' Standard Frases"); ?>"
285
                        class="text">psf</abbr></a></li>
285
                        class="text">psf</abbr></a></li>
286
            </ul>
286
            </ul>
287
            <div style="position: relative; margin-bottom: 1.2em">
287
            <div style="position: relative; margin-bottom: 1.2em">
288
              <div class="bow" style="width: 8em; height: 0.8em">&nbsp;</div>
288
              <div class="bow" style="width: 8em; height: 0.8em">&nbsp;</div>
289
            </div>
289
            </div>
290
            <ul>
290
            <ul>
291
              <li><a href="http://climateapps2.oerc.ox.ac.uk/cpdnboinc/show_user.php?userid=648544"
291
              <li><a href="http://climateapps2.oerc.ox.ac.uk/cpdnboinc/show_user.php?userid=648544"
292
                     target="_top" class="button secondary"
292
                     target="_top" class="button secondary"
293
                     title="<?php echo _("The world’s largest climate forecasting experiment for the 21st century"); ?>"
293
                     title="<?php echo _("The world’s largest climate forecasting experiment for the 21st century"); ?>"
294
                     ><span class="text">climateprediction.net</span></a></li>
294
                     ><span class="text">climateprediction.net</span></a></li>
295
<?php /* http://vspx27.stanford.edu/cgi-bin/main.py?qtype=userpage&amp;username=Thomas_Lahn */ ?>
295
<?php /* http://vspx27.stanford.edu/cgi-bin/main.py?qtype=userpage&amp;username=Thomas_Lahn */ ?>
296
              <li><a href="<?php echo _("http://folding.stanford.edu/English/HomePage"); ?>"
296
              <li><a href="<?php echo _("http://folding.stanford.edu/English/HomePage"); ?>"
297
                     target="_top" class="button secondary"
297
                     target="_top" class="button secondary"
298
                     title="<?php echo _("Distributed computing to understand protein folding, protein aggregation, and related diseases"); ?>"
298
                     title="<?php echo _("Distributed computing to understand protein folding, protein aggregation, and related diseases"); ?>"
299
                     ><span class="text">Folding at home</span></a></li>
299
                     ><span class="text">Folding at home</span></a></li>
300
             <li><a href="http://lhcathomeclassic.cern.ch/sixtrack/show_user.php?userid=221181"
300
             <li><a href="http://lhcathomeclassic.cern.ch/sixtrack/show_user.php?userid=221181"
301
                    target="_top" class="button secondary"
301
                    target="_top" class="button secondary"
302
                    title="<?php echo _("Particle physics research with the Large Hadron Collider at CERN"); ?>"
302
                    title="<?php echo _("Particle physics research with the Large Hadron Collider at CERN"); ?>"
303
                    ><span class="text">LHC at home</span></a></li>
303
                    ><span class="text">LHC at home</span></a></li>
304
             <li><a href="http://setiathome.berkeley.edu/show_user.php?userid=378921"
304
             <li><a href="http://setiathome.berkeley.edu/show_user.php?userid=378921"
305
                    target="_top" class="button secondary"
305
                    target="_top" class="button secondary"
306
                    title="<?php echo _("The Search for Extra-Terrestrial Intelligence at HOME"); ?>"
306
                    title="<?php echo _("The Search for Extra-Terrestrial Intelligence at HOME"); ?>"
307
                    ><span class="text">SETI at home</span></a></li>
307
                    ><span class="text">SETI at home</span></a></li>
308
           </ul>
308
           </ul>
309
            <script type="text/javascript" src="scripts/builder?src=object"></script>
309
            <script type="text/javascript" src="scripts/builder?src=object"></script>
310
<?php /*
310
<?php /*
311
            <script type="text/javascript">
311
            <script type="text/javascript">
312
              var sURL = location.href;
312
              var sURL = location.href;
313
              var sFavAnchorTitle =
313
              var sFavAnchorTitle =
314
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
314
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
315
                + " hinzuzufügen";
315
                + " hinzuzufügen";
316
              var sOtherAnchorTitle =
316
              var sOtherAnchorTitle =
317
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
317
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
318
                + " Ihren Lesezeichen hinzuzufügen";
318
                + " Ihren Lesezeichen hinzuzufügen";
319
              var sFavoriteTitle = "PointedEars' Website";
319
              var sFavoriteTitle = "PointedEars' Website";
320
       
320
       
321
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
321
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
322
              {
322
              {
323
                document.write(
323
                document.write(
324
                    '<div style="position: relative; margin-top: 1em; border-bottom: 0.2em solid transparent">'
324
                    '<div style="position: relative; margin-top: 1em; border-bottom: 0.2em solid transparent">'
325
                  + '  <div class="bow" style="width: 8em; height: 1em">&nbsp;<\/div>'
325
                  + '  <div class="bow" style="width: 8em; height: 1em">&nbsp;<\/div>'
326
                  + '  <div class="bow" style="position: absolute; top: 0; left: 8.2em; width: 2em; height: 1em">&nbsp;<\/div>'
326
                  + '  <div class="bow" style="position: absolute; top: 0; left: 8.2em; width: 2em; height: 1em">&nbsp;<\/div>'
327
                  + '</div>'
327
                  + '</div>'
328
                  + '<a href="javascript:window.external.AddFavorite('
328
                  + '<a href="javascript:window.external.AddFavorite('
329
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
329
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
330
                  + ' class="button"'
330
                  + ' class="button"'
331
                  + ' onclick="window.external.AddFavorite('
331
                  + ' onclick="window.external.AddFavorite('
332
                  + ' sURL, sFavoriteTitle); return false"'
332
                  + ' sURL, sFavoriteTitle); return false"'
333
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
333
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
334
                  + ' onmouseout="return resetStatus()"'
334
                  + ' onmouseout="return resetStatus()"'
335
                  + '><span class="text">Favorit<\/span><\/a>');
335
                  + '><span class="text">Favorit<\/span><\/a>');
336
              }
336
              }
337
            </script>
337
            </script>
338
*/ ?>
338
*/ ?>
339
          </nav>
339
          </nav>
340
        </div>
340
        </div>
341
      </div>
341
      </div>
342
      <div id="connectors">
342
      <div id="connectors">
343
        <div class="bow" style="position: absolute; top: 0; left: 0; width: 2em; height: 1em">&nbsp;</div>
343
        <div class="bow" style="position: absolute; top: 0; left: 0; width: 2em; height: 1em">&nbsp;</div>
344
        <div class="bow" style="position: absolute; top: 0; left: 2.2em; width: 5em; height: 1em">&nbsp;</div>
344
        <div class="bow" style="position: absolute; top: 0; left: 2.2em; width: 5em; height: 1em">&nbsp;</div>
345
       
345
       
346
        <div class="bow" style="position: absolute; top: 13.6em; left: 0; width: 2em; height: 0.8em">&nbsp;</div>
346
        <div class="bow" style="position: absolute; top: 13.6em; left: 0; width: 2em; height: 0.8em">&nbsp;</div>
347
        <div class="bow" style="position: absolute; top: 13.6em; left: 2.2em; width: 5em; height: 0.8em">&nbsp;</div>
347
        <div class="bow" style="position: absolute; top: 13.6em; left: 2.2em; width: 5em; height: 0.8em">&nbsp;</div>
348
      </div>
348
      </div>
349
      <div class="multi-display">
349
      <div class="multi-display">
350
        <div class="upper">
350
        <div class="upper">
351
          <div class="content">
351
          <div class="content">
352
            <div class="title"><span>Home</span></div>
352
            <div class="title"><span>Home</span></div>
353
            <div class="analysis">&nbsp;</div>
353
            <div class="analysis">&nbsp;</div>
354
            <script type="text/javascript">
354
            <script type="text/javascript">
355
              var fullscreen = (function () {
355
              var fullscreen = (function () {
356
                var _isHostMethod = jsx.object.isHostMethod;
356
                var _isHostMethod = jsx.object.isHostMethod;
357
               
357
               
358
                return {
358
                return {
359
                  getSupportedProperty: function (base, names, test) {
359
                  getSupportedProperty: function (base, names, test) {
360
                    for (var i = 0, len = names.length; i < len; ++i)
360
                    for (var i = 0, len = names.length; i < len; ++i)
361
                    {
361
                    {
362
                      var name = names[i];
362
                      var name = names[i];
363
                      if (test.call(null, base, name))
363
                      if (test.call(null, base, name))
364
                      {
364
                      {
365
                        return name;
365
                        return name;
366
                      }
366
                      }
367
                    }
367
                    }
368
368
369
                    return null;
369
                    return null;
370
                  },
370
                  },
371
371
372
                  getSupportedCancel: (function () {
372
                  getSupportedCancel: (function () {
373
                    var _supportedCancel;
373
                    var _supportedCancel;
374
374
375
                    return function () {
375
                    return function () {
376
                      if (typeof _supportedCancel == "undefined")
376
                      if (typeof _supportedCancel == "undefined")
377
                      {
377
                      {
378
                        var properties = ["cancelFullScreen", "mozCancelFullScreen",
378
                        var properties = ["cancelFullScreen", "mozCancelFullScreen",
379
                                          "webkitCancelFullScreen"];
379
                                          "webkitCancelFullScreen"];
380
                     
380
                     
381
                        _supportedCancel = this.getSupportedProperty(document, properties, _isHostMethod);
381
                        _supportedCancel = this.getSupportedProperty(document, properties, _isHostMethod);
382
                      }
382
                      }
383
383
384
                      return _supportedCancel;
384
                      return _supportedCancel;
385
                    };
385
                    };
386
                  }()),
386
                  }()),
387
                 
387
                 
388
                  getSupportedElement: (function () {
388
                  getSupportedElement: (function () {
389
                    var _supportedElement;
389
                    var _supportedElement;
390
390
391
                    return function () {
391
                    return function () {
392
                      if (typeof _supportedElement == "undefined")
392
                      if (typeof _supportedElement == "undefined")
393
                      {
393
                      {
394
                        var properties = ["fullscreenElement", "mozFullscreenElement",
394
                        var properties = ["fullscreenElement", "mozFullscreenElement",
395
                                          "webkitFullscreenElement"];
395
                                          "webkitFullscreenElement"];
396
396
397
                        _supportedElement = this.getSupportedProperty(document, properties,
397
                        _supportedElement = this.getSupportedProperty(document, properties,
398
                          function (base, name) {
398
                          function (base, name) {
399
                            return typeof base[name] != "undefined";
399
                            return typeof base[name] != "undefined";
400
                          });
400
                          });
401
                      }
401
                      }
402
402
403
                      return _supportedElement;
403
                      return _supportedElement;
404
                    };
404
                    };
405
                  }()),
405
                  }()),
406
                 
406
                 
407
                  isSupportedBy: function (elem) {
407
                  isSupportedBy: function (elem) {
408
                    var methods = ["requestFullscreen", "mozRequestFullscreen",
408
                    var methods = ["requestFullscreen", "mozRequestFullscreen",
409
                                   "webkitRequestFullscreen"];
409
                                   "webkitRequestFullscreen"];
410
                    return this.getSupportedProperty(elem, methods, _isHostMethod);
410
                    return this.getSupportedProperty(elem, methods, _isHostMethod);
411
                  },
411
                  },
412
412
413
                  isFullscreen: function () {
413
                  isFullscreen: function () {
414
                    var properties = ["fullscreenElement", "mozFullscreenElement",
414
                    var properties = ["fullscreenElement", "mozFullscreenElement",
415
                                      "webkitFullscreenElement"];
415
                                      "webkitFullscreenElement"];
416
                    var supportedProperty = this.getSupportedProperty(
416
                    var supportedProperty = this.getSupportedProperty(
417
                      document, properties,
417
                      document, properties,
418
                      function (base, name) {
418
                      function (base, name) {
419
                        return typeof base[name] != "undefined";
419
                        return typeof base[name] != "undefined";
420
                      });
420
                      });
421
421
422
                    return supportedProperty && document[supportedProperty] != null;
422
                    return supportedProperty && document[supportedProperty] != null;
423
                  },
423
                  },
424
424
425
                  cancel: function (target, oldHandler, textTarget) {
425
                  cancel: function (target, oldHandler, textTarget) {
426
                    var supportedCancel = this.getSupportedCancel();
426
                    var supportedCancel = this.getSupportedCancel();
427
                    if (supportedCancel)
427
                    if (supportedCancel)
428
                    {
428
                    {
429
                      document[supportedCancel]();
429
                      document[supportedCancel]();
430
                     
430
                     
431
                      var supportedElement = this.getSupportedElement();
431
                      var supportedElement = this.getSupportedElement();
432
                      if (supportedElement)
432
                      if (supportedElement)
433
                      {
433
                      {
434
                        if (document[supportedElement] == null)
434
                        if (document[supportedElement] == null)
435
                        {
435
                        {
436
                          if (textTarget)
436
                          if (textTarget)
437
                          {
437
                          {
438
                            textTarget.textContent = "<?php echo _("Fullscreen"); ?>";
438
                            textTarget.textContent = "<?php echo _("Fullscreen"); ?>";
439
                          }
439
                          }
440
                         
440
                         
441
                          if (target)
441
                          if (target)
442
                          {
442
                          {
443
                            target.onclick = oldHandler;
443
                            target.onclick = oldHandler;
444
                          }
444
                          }
445
                        }
445
                        }
446
                      }
446
                      }
447
                    }
447
                    }
448
                  },
448
                  },
449
                 
449
                 
450
                  requestOn: function (elem, eventTarget, textTarget) {
450
                  requestOn: function (elem, eventTarget, textTarget) {
451
                    var requestMethodName;
451
                    var requestMethodName;
452
452
453
                    if (elem && (requestMethodName = this.isSupportedBy(elem)))
453
                    if (elem && (requestMethodName = this.isSupportedBy(elem)))
454
                    {
454
                    {
455
                      elem[requestMethodName]();
455
                      elem[requestMethodName]();
456
                      if (textTarget && this.isFullscreen())
456
                      if (textTarget && this.isFullscreen())
457
                      {
457
                      {
458
                        var oldText = textTarget.textContent;
458
                        var oldText = textTarget.textContent;
459
                        var me = this;
459
                        var me = this;
460
                        var oldHandler = eventTarget.onclick;
460
                        var oldHandler = eventTarget.onclick;
461
                        eventTarget.onclick = function () {
461
                        eventTarget.onclick = function () {
462
                          me.cancel(this, oldHandler, textTarget);
462
                          me.cancel(this, oldHandler, textTarget);
463
                        };
463
                        };
464
                        textTarget.textContent = "<?php echo _("Window"); ?>";
464
                        textTarget.textContent = "<?php echo _("Window"); ?>";
465
                      }
465
                      }
466
                    }
466
                    }
467
                  }
467
                  }
468
                };
468
                };
469
              }());
469
              }());
470
            </script>
470
            </script>
471
            <ul class="commands">
471
            <ul class="commands">
472
              <li id="cmd1"><a href="index.php"
472
              <li id="cmd1"><a href="index.php"
473
                title="Language selection"
473
                title="Language selection"
474
                tabindex="1"
474
                tabindex="1"
475
                class="button left right"
475
                class="button left right"
476
                onmouseover="return setStatus(this.title + ': ' + this.href)"
476
                onmouseover="return setStatus(this.title + ': ' + this.href)"
477
                onmouseout="return resetStatus()"
477
                onmouseout="return resetStatus()"
478
                onfocus="return this.onmouseover()"
478
                onfocus="return this.onmouseover()"
479
                onblur="return this.onmouseout()"
479
                onblur="return this.onmouseout()"
480
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
480
                ><abbr class="text" title="Language selection">Language</abbr></a></li>
481
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
481
              <li id="cmd2"><a href="index.<?php echo $language; ?>?printable=1"
482
                title="<?php echo _('Printable version'); ?>"
482
                title="<?php echo _('Printable version'); ?>"
483
                tabindex="1"
483
                tabindex="1"
484
                class="button left right"
484
                class="button left right"
485
                onmouseover="return setStatus(this.title + ': ' + this.href)"
485
                onmouseover="return setStatus(this.title + ': ' + this.href)"
486
                onmouseout="return resetStatus()"
486
                onmouseout="return resetStatus()"
487
                onfocus="return this.onmouseover()"
487
                onfocus="return this.onmouseover()"
488
                onblur="return this.onmouseout()"
488
                onblur="return this.onmouseout()"
489
                ><span class="text"><?php echo _("Printable"); ?></span></a></li>
489
                ><span class="text"><?php echo _("Printable"); ?></span></a></li>
490
              <li id="cmd3"><div class="button left right"
490
              <li id="cmd3"><div class="button left right"
491
                   onclick="fullscreen.requestOn(document.documentElement, this, this.firstChild)"
491
                   onclick="fullscreen.requestOn(document.documentElement, this, this.firstChild)"
492
                   onkeyup="if (event.keyCode == 13) { this.onclick(); this.onmouseup(); }"
492
                   onkeyup="if (event.keyCode == 13) { this.onclick(); this.onmouseup(); }"
493
                   onmouseup="this.blur()"
493
                   onmouseup="this.blur()"
494
                   tabindex="1"
494
                   tabindex="1"
495
                   ><span class="text"><script type="text/javascript">
495
                   ><span class="text"><script type="text/javascript">
496
                     if (fullscreen.isSupportedBy(document.documentElement))
496
                     if (fullscreen.isSupportedBy(document.documentElement))
497
                     {
497
                     {
498
<?php /*
498
<?php /*
499
                       var previousIsFullscreen = fullscreen.isFullscreen();
499
                       var previousIsFullscreen = fullscreen.isFullscreen();
500
                       var oldHandler;
500
                       var oldHandler;
501
                       window.onresize = function () {
501
                       window.onresize = function () {
502
                         var nowIsFullscreen = fullscreen.isFullscreen();
502
                         var nowIsFullscreen = fullscreen.isFullscreen();
503
                         if (nowIsFullscreen != previousIsFullscreen)
503
                         if (nowIsFullscreen != previousIsFullscreen)
504
                         {
504
                         {
505
                           var cmd3 = document.getElementById("cmd3");
505
                           var cmd3 = document.getElementById("cmd3");
506
                           var target = cmd3.firstChild;
506
                           var target = cmd3.firstChild;
507
                           var textTarget = target.firstChild;
507
                           var textTarget = target.firstChild;
508
                           if (nowIsFullscreen)
508
                           if (nowIsFullscreen)
509
                           {
509
                           {
510
                             oldHandler = target.onclick;
510
                             oldHandler = target.onclick;
511
                           //   fullscreen.requestOn(document.documentElement, cmd3.firstElementChild, cmd3.firstElementChild.firstElementChild);
511
                           //   fullscreen.requestOn(document.documentElement, cmd3.firstElementChild, cmd3.firstElementChild.firstElementChild);
512
                           }
512
                           }
513
                           else
513
                           else
514
                           {
514
                           {
515
                             fullscreen.cancel(target, oldHandler, textTarget);
515
                             fullscreen.cancel(target, oldHandler, textTarget);
516
                           }
516
                           }
517
                           
517
                           
518
                           previousIsFullscreen = nowIsFullscreen;
518
                           previousIsFullscreen = nowIsFullscreen;
519
                         }
519
                         }
520
                       };
520
                       };
521
*/ ?>
521
*/ ?>
522
                       document.write("<?php echo _("Fullscreen"); ?>");
522
                       document.write("<?php echo _("Fullscreen"); ?>");
523
                     }
523
                     }
524
                   </script></span></div></li>
524
                   </script></span></div></li>
525
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
525
              <li id="cmd4"><div class="button left right" style="cursor: not-allowed !important">&nbsp;</div></li>
526
            </ul>
526
            </ul>
527
          </div>
527
          </div>
528
          <div class="elbo-button">
528
          <div class="elbo-button">
-
 
529
            <span class="text" title="<?php echo _("Date of last modification"); ?>"
529
            <span class="text"><?php echo gmdate('Ym.d', $modi); ?></span>
530
                  ><?php echo gmdate('Ym.d', $modi); ?></span>
530
          </div>
531
          </div>
531
          <div class="elbo">
532
          <div class="elbo">
532
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-47A</span>
533
            <span class="text"><abbr title="Library Computer Access and Retrieval System">LCARS</abbr> PE-47A</span>
533
            <div class="concave">&nbsp;</div>
534
            <div class="concave">&nbsp;</div>
534
          </div>
535
          </div>
535
          <div class="border">
536
          <div class="border">
536
            <div class="left">&nbsp;</div>
537
            <div class="left">&nbsp;</div>
537
            <div class="right">&nbsp;</div>
538
            <div class="right">&nbsp;</div>
538
          </div>
539
          </div>
539
        </div>
540
        </div>
540
        <div class="lower">
541
        <div class="lower">
541
          <div class="elbo">
542
          <div class="elbo">
542
            <div class="concave">&nbsp;</div>
543
            <div class="concave">&nbsp;</div>
543
          </div>
544
          </div>
544
          <div class="bg">&nbsp;</div>
545
          <div class="bg">&nbsp;</div>
545
          <div class="border-container">
546
          <div class="border-container">
546
            <div class="border">
547
            <div class="border">
547
              <div class="left">&nbsp;</div>
548
              <div class="left">&nbsp;</div>
548
              <div class="right">&nbsp;</div>
549
              <div class="right">&nbsp;</div>
549
            </div>
550
            </div>
550
          </div>
551
          </div>
551
        </div>
552
        </div>
552
      </div>
553
      </div>
553
    </div>
554
    </div>
554
  </body>
555
  </body>
555
</html>
556
</html>
556
 
557