Subversion Repositories LCARS

Rev

Rev 231 | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 231 Rev 235
1
1
2
<div id="LCARS">
2
<div id="LCARS">
3
<?php /*
3
<?php /*
4
      <div id="button-grid" style="position: absolute; opacity: 0.3">
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>
5
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
6

6

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

11

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

16

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

21

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

26

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

32

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

37

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

41

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

45

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

49

50
        <a class="button" style="display: block; clear: left; float: left"><span class="text">Button 1</span></a>
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>
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>
52
        <a class="button" style="display: block; float: left"><span class="text">Button 1</span></a>
53
      </div>
53
      </div>
54
*/ ?>
54
*/ ?>
55
      <div id="bow">
55
      <div id="bow">
56
    <div id="bow-top">
56
    <div id="bow-top">
57
      <div class="separator-left">&nbsp;</div>
57
      <div class="separator-left">&nbsp;</div>
58
      <div class="text">
58
      <div class="text" lang="<?php echo $language; ?>">
59
        <span>PointedEars’ Website</span>
59
        <span><?php echo tr("PointedEars' Website"); ?></span>
60
      </div>
60
      </div>
61
    </div>
61
    </div>
62
    <div id="bow-top-left">
62
    <div id="bow-top-left">
63
      <div class="concave">&nbsp;</div>
63
      <div class="concave">&nbsp;</div>
64
      <div
64
      <div
65
        style="position: absolute; top: 3.2em; left: 0; background-color: black"
65
        style="position: absolute; top: 3.2em; left: 0; background-color: black"
66
      >
66
      >
67
        <div class="bow"
67
        <div class="bow"
68
          style="margin-top: 0.2em; width: 8em; height: 1em"
68
          style="margin-top: 0.2em; width: 8em; height: 1em"
69
        >&nbsp;</div>
69
        >&nbsp;</div>
70
      </div>
70
      </div>
71
    </div>
71
    </div>
72
    <div id="bottom">
72
    <div id="bottom">
73
      <div id="bow-bottom">
73
      <div id="bow-bottom">
74
        <div class="concave">&nbsp;</div>
74
        <div class="concave">&nbsp;</div>
75
        <div class="spacer">&nbsp;</div>
75
        <div class="spacer">&nbsp;</div>
76
      </div>
76
      </div>
77
    </div>
77
    </div>
78
78
79
    <div class="menu-container">
79
    <div class="menu-container">
80
      <nav class="menu">
80
      <nav class="menu">
81
<!--
81
<!--
82
      <ul>
82
      <ul>
83
            <?php foreach ($languages as $key => $name): ?>
83
            <?php foreach ($languages as $key => $name): ?>
84
              <li><a
84
              <li><a
85
            href="index.<?php echo language_key_short($key); ?>?ani=0"
85
            href="index.<?php echo language_key_short($key); ?>?ani=0"
86
            lang="<?php echo $key; ?>" hreflang="<?php echo $key; ?>"
86
            lang="<?php echo $key; ?>" hreflang="<?php echo $key; ?>"
87
            class="button<?php if ($language === $key) { ?> selected<?php } ?>"
87
            class="button<?php if ($language === $key) { ?> selected<?php } ?>"
88
            tabindex="2"
88
            tabindex="2"
89
          ><span class="text"><?php echo language_name($key); ?></span></a></li>
89
          ><span class="text"><?php echo language_name($key); ?></span></a></li>
90
            <?php endforeach; ?>
90
            <?php endforeach; ?>
91
            </ul>
91
            </ul>
92
        <div class="bow" style="margin-bottom: 0.4em; height: 0.4em">&nbsp;</div>
92
        <div class="bow" style="margin-bottom: 0.4em; height: 0.4em">&nbsp;</div>
93
 -->
93
 -->
94
        <ul style="margin-bottom: 1.2em">
94
        <ul style="margin-bottom: 1.2em">
95
          <li><a href="<?php echo $menu['scripts']['path']; ?>"
95
          <li><a href="<?php echo $menu['scripts']['path']; ?>"
96
            target="_top" class="button" lang="<?php echo $language; ?>"
96
            target="_top" class="button" lang="<?php echo $language; ?>"
97
          ><span class="text"><?php echo $menu['scripts']['text']; ?></span></a></li>
97
          ><span class="text"><?php echo $menu['scripts']['text']; ?></span></a></li>
98
          <li><a href="<?php echo $menu['es-matrix']['path']; ?>"
98
          <li><a href="<?php echo $menu['es-matrix']['path']; ?>"
99
            target="_top" class="button"
99
            target="_top" class="button"
100
            title="<?php echo $menu['es-matrix']['title']; ?>"
100
            title="<?php echo $menu['es-matrix']['title']; ?>"
101
          ><span class="text"><?php echo $menu['es-matrix']['text']; ?></span></a></li>
101
          ><span class="text"><?php echo $menu['es-matrix']['text']; ?></span></a></li>
102
          <li><a href="<?php echo $menu['devel']['path']; ?>"
102
          <li><a href="<?php echo $menu['devel']['path']; ?>"
103
            target="_top" class="button" lang="<?php echo $language; ?>"
103
            target="_top" class="button" lang="<?php echo $language; ?>"
104
          ><span class="text"><?php echo $menu['devel']['text']; ?></span></a></li>
104
          ><span class="text"><?php echo $menu['devel']['text']; ?></span></a></li>
105
        </ul>
105
        </ul>
106
        <ul style="margin-bottom: 0.2em">
106
        <ul style="margin-bottom: 0.2em">
107
          <li><a href="psf/" target="_top" class="button ancillary"><abbr
107
          <li><a href="psf/" target="_top" class="button ancillary"><abbr
108
              title="<?php echo tr("PointedEars' Standard Frases"); ?>"
108
              title="<?php echo tr("PointedEars' Standard Frases"); ?>"
109
              class="text"
109
              class="text"
110
            >psf</abbr></a></li>
110
            >psf</abbr></a></li>
111
          <li><a href="<?php echo $menu['series']['path']; ?>"
111
          <li><a href="<?php echo $menu['series']['path']; ?>"
112
            target="_top" class="button ancillary"
112
            target="_top" class="button ancillary"
113
            title="<?php echo tr('List of recommended TV shows and episodes, with logos in CSS'); ?>"
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>
114
          ><span class="text"><?php echo $menu['series']['text']; ?></span></a></li>
115
          <li><a href="<?php echo $menu['ufpdb']['path']; ?>"
115
          <li><a href="<?php echo $menu['ufpdb']['path']; ?>"
116
            target="_top" class="button database"
116
            target="_top" class="button database"
117
          ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
117
          ><abbr title="<?php echo $menu['ufpdb']['title']; ?>"
118
              class="text"
118
              class="text"
119
            ><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
119
            ><?php echo $menu['ufpdb']['text']; ?></abbr></a></li>
120
        </ul>
120
        </ul>
121
        <div style="position: relative; margin-bottom: 1.2em">
121
        <div style="position: relative; margin-bottom: 1.2em">
122
          <div class="bow" style="height: 0.8em">&nbsp;</div>
122
          <div class="bow" style="height: 0.8em">&nbsp;</div>
123
        </div>
123
        </div>
124
        <ul>
124
        <ul>
125
          <li><a
125
          <li><a
126
            href="http://climateapps2.oerc.ox.ac.uk/cpdnboinc/show_user.php?userid=648544"
126
            href="http://climateapps2.oerc.ox.ac.uk/cpdnboinc/show_user.php?userid=648544"
127
            target="_top" class="button secondary"
127
            target="_top" class="button secondary"
128
            title="<?php echo tr("The world’s largest climate forecasting experiment for the 21st century"); ?>"
128
            title="<?php echo tr("The world's largest climate forecasting experiment for the 21st century"); ?>"
129
          ><span class="text">climateprediction.net</span></a></li>
129
          ><span class="text">climateprediction.net</span></a></li>
130
          <li><a
130
          <li><a
131
            href="http://fah-web2.stanford.edu/cgi-bin/main.py?qtype=userpage&username=Thomas_Lahn"
131
            href="http://fah-web2.stanford.edu/cgi-bin/main.py?qtype=userpage&username=Thomas_Lahn"
132
            target="_top" class="button secondary"
132
            target="_top" class="button secondary"
133
            title="<?php echo tr("Distributed computing to understand protein folding, protein aggregation, and related diseases"); ?>"
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>
134
          ><span class="text">Folding at home</span></a></li>
135
          <li><a
135
          <li><a
136
            href="http://lhcathomeclassic.cern.ch/sixtrack/show_user.php?userid=221181"
136
            href="http://lhcathomeclassic.cern.ch/sixtrack/show_user.php?userid=221181"
137
            target="_top" class="button secondary"
137
            target="_top" class="button secondary"
138
            title="<?php echo tr("Particle physics research with the Large Hadron Collider at CERN"); ?>"
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>
139
          ><span class="text">LHC at home</span></a></li>
140
          <li><a
140
          <li><a
141
            href="http://setiathome.berkeley.edu/show_user.php?userid=378921"
141
            href="http://setiathome.berkeley.edu/show_user.php?userid=378921"
142
            target="_top" class="button secondary"
142
            target="_top" class="button secondary"
143
            title="<?php echo tr("The Search for Extra-Terrestrial Intelligence at HOME"); ?>"
143
            title="<?php echo tr("The Search for Extra-Terrestrial Intelligence at HOME"); ?>"
144
          ><span class="text">SETI at home</span></a></li>
144
          ><span class="text">SETI at home</span></a></li>
145
          <li><a
145
          <li><a
146
            href="http://stackoverflow.com/users/855543/pointedears"
146
            href="http://stackoverflow.com/users/855543/pointedears"
147
            target="_top" class="button secondary"
147
            target="_top" class="button secondary"
148
            title="<?php echo tr("Me on Stack Overflow"); ?>"
148
            title="<?php echo tr("Me on Stack Overflow"); ?>"
149
          ><span class="text">Stack Overflow</span></a></li>
149
          ><span class="text">Stack Overflow</span></a></li>
150
          <li><a href="https://twitter.com/PointedEars2" target="_top"
150
          <li><a href="https://twitter.com/PointedEars2" target="_top"
151
            class="button secondary"
151
            class="button secondary"
152
            title="<?php echo tr("Me on Twitter"); ?>"
152
            title="<?php echo tr("Me on Twitter"); ?>"
153
          ><span class="text">Twitter</span></a></li>
153
          ><span class="text">Twitter</span></a></li>
154
          <li><a
154
          <li><a
155
            href="<?php echo tr("http://en.wikipedia.org/wiki/Special:Contributions/PointedEars"); ?>"
155
            href="<?php echo tr("http://en.wikipedia.org/wiki/Special:Contributions/PointedEars"); ?>"
156
            target="_top" class="button secondary"
156
            target="_top" class="button secondary"
157
            title="<?php echo tr("My contributions to Wikipedia"); ?>"
157
            title="<?php echo tr("My contributions to Wikipedia"); ?>"
158
          ><span class="text"><?php echo tr('Wikipedia'); ?></span></a></li>
158
          ><span class="text"><?php echo tr('Wikipedia'); ?></span></a></li>
159
        </ul>
159
        </ul>
160
<?php /*
160
<?php /*
161
            <script type="text/javascript">
161
            <script type="text/javascript">
162
              var sURL = location.href;
162
              var sURL = location.href;
163
              var sFavAnchorTitle =
163
              var sFavAnchorTitle =
164
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
164
                  "Klicken Sie hier, um PointedEars' Website Ihren Favoriten"
165
                + " hinzuzufügen";
165
                + " hinzuzufügen";
166
              var sOtherAnchorTitle =
166
              var sOtherAnchorTitle =
167
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
167
                  "Klicken Sie hier mit der rechten Maustaste, um PointedEars' Website"
168
                + " Ihren Lesezeichen hinzuzufügen";
168
                + " Ihren Lesezeichen hinzuzufügen";
169
              var sFavoriteTitle = "PointedEars' Website";
169
              var sFavoriteTitle = "PointedEars' Website";
170

170

171
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
171
              if (jsx.object.isHostMethod(jsx.global.window, "external", "AddFavorite"))
172
              {
172
              {
173
                document.write(
173
                document.write(
174
                    '<div style="position: relative; margin-top: 1em; border-bottom: 0.2em solid transparent">'
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>'
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>'
176
                  + '  <div class="bow" style="position: absolute; top: 0; left: 8.2em; width: 2em; height: 1em">&nbsp;<\/div>'
177
                  + '</div>'
177
                  + '</div>'
178
                  + '<a href="javascript:window.external.AddFavorite('
178
                  + '<a href="javascript:window.external.AddFavorite('
179
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
179
                  + ' sURL, sFavoriteTitle);" title="' + sFavAnchorTitle + '"'
180
                  + ' class="button"'
180
                  + ' class="button"'
181
                  + ' onclick="window.external.AddFavorite('
181
                  + ' onclick="window.external.AddFavorite('
182
                  + ' sURL, sFavoriteTitle); return false"'
182
                  + ' sURL, sFavoriteTitle); return false"'
183
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
183
                  + ' onmouseover="return setStatus(sFavAnchorTitle)"'
184
                  + ' onmouseout="return resetStatus()"'
184
                  + ' onmouseout="return resetStatus()"'
185
                  + '><span class="text">Favorit<\/span><\/a>');
185
                  + '><span class="text">Favorit<\/span><\/a>');
186
              }
186
              }
187
            </script>
187
            </script>
188
*/ ?>
188
*/ ?>
189
          </nav>
189
          </nav>
190
    </div>
190
    </div>
191
  </div>
191
  </div>
192
  <div id="connectors">
192
  <div id="connectors">
193
    <div class="bow top left">&nbsp;</div>
193
    <div class="bow top left">&nbsp;</div>
194
    <div class="bow top right">&nbsp;</div>
194
    <div class="bow top right">&nbsp;</div>
195
195
196
    <div class="bow mid left">&nbsp;</div>
196
    <div class="bow mid left">&nbsp;</div>
197
    <div class="bow mid right">&nbsp;</div>
197
    <div class="bow mid right">&nbsp;</div>
198
  </div>
198
  </div>
199
  <div class="multi-display">
199
  <div class="multi-display">
200
    <div class="upper">
200
    <div class="upper">
201
      <div class="content">
201
      <div class="content">
202
        <div class="title" id="title" lang="<?php echo $language; ?>">
202
        <div class="title" id="title" lang="<?php echo $language; ?>">
203
          <span class="text"><?php echo tr('Home'); ?></span>
203
          <span class="text"><?php echo tr('Home'); ?></span>
204
        </div>
204
        </div>
205
        <div class="analysis" id="analysis">
205
        <div class="analysis" id="analysis">
206
          <table>
206
          <table>
207
            <tr>
207
            <tr>
208
              <th lang="<?php echo $language; ?>"><span class="text"><?php echo tr('Display'); ?></span></th>
208
              <th lang="<?php echo $language; ?>"><span class="text"><?php echo tr('Display'); ?></span></th>
209
              <td lang="<?php echo $language; ?>"><script
209
              <td lang="<?php echo $language; ?>"><script type="text/javascript">
210
                  type="text/javascript"
-
 
211
                >
-
 
212
                    var _addEventListener = jsx.dom.addEventListener;
210
                    var _addEventListener = jsx.dom.addEventListener;
213
                    var _runAsync = jsx.dom.timeout.runAsync;
211
                    var _runAsync = jsx.dom.timeout.runAsync;
214
                    var ID_SCREEN_DIM = 'screenDim';
212
                    var ID_SCREEN_DIM = 'screenDim';
215
                    var ID_AVAIL_DIM = 'availDim';
213
                    var ID_AVAIL_DIM = 'availDim';
216
                    var ID_INNER_DIM = 'innerDim';
214
                    var ID_INNER_DIM = 'innerDim';
217
215
218
                    var dim = (function () {
216
                    var dim = (function () {
219
                      var screenInfo = jsx.dom.window.screenInfo;
217
                      var screenInfo = jsx.dom.window.screenInfo;
220
218
221
                      return {
219
                      return {
222
                        getScreenText: function () {
220
                        getScreenText: function () {
223
                          var screenDim = screenInfo.getDim();
221
                          var screenDim = screenInfo.getDim();
224
                          return screenDim.width + "×" + screenDim.height;
222
                          return screenDim.width + "×" + screenDim.height;
225
                        },
223
                        },
226
224
227
                        getAvailText: function () {
225
                        getAvailText: function () {
228
                          var availDim = screenInfo.getAvailDim();
226
                          var availDim = screenInfo.getAvailDim();
229
                          return <?php echo sprintf(tr('%s + "x" + %s + " available"'), 'availDim.width', 'availDim.height'); ?>;
227
                          return <?php echo sprintf(tr('%s + "x" + %s + " available"'), 'availDim.width', 'availDim.height'); ?>;
230
                        },
228
                        },
231
229
232
                        getInnerText: function () {
230
                        getInnerText: function () {
233
                          var innerDim = screenInfo.getInnerDim();
231
                          var innerDim = screenInfo.getInnerDim();
234
                          return ", " + <?php echo sprintf(tr('%s + "x" + %s + " used"'), 'innerDim.width', 'innerDim.height'); ?>;
232
                          return ", " + <?php echo sprintf(tr('%s + "x" + %s + " used"'), 'innerDim.width', 'innerDim.height'); ?>;
235
                        },
233
                        },
236
234
237
                        getColorDepthText: function () {
235
                        getColorDepthText: function () {
238
                          var colorDepth = screenInfo.getColorDepth();
236
                          var colorDepth = screenInfo.getColorDepth();
239
                          return colorDepth
237
                          return colorDepth
240
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo tr('colors'); ?>"
238
                            ? '2<sup>' + colorDepth + "<\/sup> <?php echo tr('colors'); ?>"
241
                            : "";
239
                            : "";
242
                        }
240
                        }
243
                      };
241
                      };
244
                    }());
242
                    }());
245
243
246
                    (function () {
244
                    (function () {
247
                      var screenDimText = dim.getScreenText();
245
                      var screenDimText = dim.getScreenText();
248
                      var availDimText = dim.getAvailText();
246
                      var availDimText = dim.getAvailText();
249
                      var innerDimText = dim.getInnerText();
247
                      var innerDimText = dim.getInnerText();
250
                      var colorDepthText = dim.getColorDepthText();
248
                      var colorDepthText = dim.getColorDepthText();
251
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
249
                      var displayInfo = (screenDimText || availDimText || innerDimText || colorDepthText)
252
                        ?   (screenDimText ? <?php echo sprintf("'" . tr('%s pixels') . "'", "<span id=\"' + ID_SCREEN_DIM + '\">' + screenDimText + '<\/span>' + '"); ?> : "")
250
                        ?   (screenDimText ? <?php echo sprintf("'" . tr('%s pixels') . '"', "<span id=\"' + ID_SCREEN_DIM + '\">' + screenDimText + '<\/span>' + \""); ?> : "")
253
                          + (availDimText ? ' (<span id="' + ID_AVAIL_DIM + '">' + availDimText + "<\/span>" : "")
251
                          + (availDimText ? ' (<span id="' + ID_AVAIL_DIM + '">' + availDimText + "<\/span>" : "")
254
                          + (innerDimText ? '<span id="' + ID_INNER_DIM + '">' + innerDimText + "<\/span>)" : "")
252
                          + (innerDimText ? '<span id="' + ID_INNER_DIM + '">' + innerDimText + "<\/span>)" : "")
255
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
253
                          + (colorDepthText ? ' ×&nbsp;<span id="colorDepth">' + colorDepthText + "<\/span>" : "")
256
                        : TEXT_NOT_AVAILABLE;
254
                        : TEXT_NOT_AVAILABLE;
257
255
258
                      /* FIXME: Convert HTML to text, update whole title text */
256
                      /* FIXME: Convert HTML to text, update whole title text */
259
                      document.write('<span class="text">' + displayInfo + '<\/span>');
257
                      document.write('<span class="text">' + displayInfo + '<\/span>');
260
258
261
                      var oColorDepth;
259
                      var oColorDepth;
262
                      var tColor = _runAsync(function () {
260
                      var tColor = _runAsync(function () {
263
                        if (typeof oColorDepth == "undefined")
261
                        if (typeof oColorDepth == "undefined")
264
                        {
262
                        {
265
                          oColorDepth = document.getElementById("colorDepth");
263
                          oColorDepth = document.getElementById("colorDepth");
266
                        }
264
                        }
267
265
268
                        if (oColorDepth)
266
                        if (oColorDepth)
269
                        {
267
                        {
270
                          var colorDepthText = dim.getColorDepthText();
268
                          var colorDepthText = dim.getColorDepthText();
271
                          <?php /* FIXME: Also update title attribute value */ ?>
269
                          <?php /* FIXME: Also update title attribute value */ ?>
272
                          if (oColorDepth.innerHTML != colorDepthText)
270
                          if (oColorDepth.innerHTML != colorDepthText)
273
                          {
271
                          {
274
                            oColorDepth.innerHTML = colorDepthText;
272
                            oColorDepth.innerHTML = colorDepthText;
275
                          }
273
                          }
276
                        }
274
                        }
277
275
278
                        tColor = this.run();
276
                        tColor = this.run();
279
                      }, 1000);
277
                      }, 1000);
280
278
281
                      _addEventListener(document, "unload", function () {
279
                      _addEventListener(document, "unload", function () {
282
                        tColor.unset();
280
                        tColor.unset();
283
                        tColor = null;
281
                        tColor = null;
284
                      });
282
                      });
285
                    }());
283
                    }());
286
                  </script>
284
                  </script>
287
                <noscript><?php echo tr('N/A'); ?></noscript></td>
285
                <noscript><?php echo tr('N/A'); ?></noscript></td>
288
            </tr>
286
            </tr>
289
            <tr>
287
            <tr>
290
              <th lang="<?php echo $language; ?>"><span class="text"><?php echo tr('User Agent'); ?></span></th>
288
              <th lang="<?php echo $language; ?>"><span class="text"><?php echo tr('User Agent'); ?></span></th>
291
              <td><script type="text/javascript"
289
              <td><script type="text/javascript"
292
                  src="application/scripts/ua.js"
290
                  src="application/scripts/ua.js"
293
                ></script>
291
                ></script>
294
                <noscript><?php
292
                <noscript><?php
295
                    echo tr('N/A'); ?></noscript></td>
293
                    echo tr('N/A'); ?></noscript></td>
296
            </tr>
294
            </tr>
297
            <tr>
295
            <tr>
298
              <th lang="<?php echo $language; ?>"><span class="text"><?php echo tr('Features'); ?></span></th>
296
              <th lang="<?php echo $language; ?>"><span class="text"><?php echo tr('Features'); ?></span></th>
299
              <td><script type="text/javascript">
297
              <td><script type="text/javascript">
300
                    var fullscreen = jsx.dom.window.fullscreen;
298
                    var fullscreen = jsx.dom.window.fullscreen;
301
299
302
                    (function () {
300
                    (function () {
303
                      function getFeatures ()
301
                      function getFeatures ()
304
                      {
302
                      {
305
                        var features = [];
303
                        var features = [];
306
                        if (typeof document.cookie != "undefined")
304
                        if (typeof document.cookie != "undefined")
307
                        {
305
                        {
308
                          var cookiesText = "<?php echo tr('Cookies'); ?>"
306
                          var cookiesText = "<?php echo tr('Cookies'); ?>"
309
                          if (navigator.cookieEnabled)
307
                          if (navigator.cookieEnabled)
310
                          {
308
                          {
311
                            if (document.cookie)
309
                            if (document.cookie)
312
                            {
310
                            {
313
                              var cookies = document.cookie;
311
                              var cookies = document.cookie;
314
                              cookies = cookies.split(/\s*;\s*/);
312
                              cookies = cookies.split(/\s*;\s*/);
315
                              features.push('<a href="#" title="'
313
                              features.push('<a href="#" title="'
316
                                + cookies.join("&#13;&#10;")
314
                                + cookies.join("&#13;&#10;")
317
                                + '"'
315
                                + '"'
-
 
316
                                + ' onclick=\'window.alert(<?php
318
                                + ' onclick="window.alert(\'<?php echo tr('Cookies for'); ?> ' + document.domain + '\\n\\n' + cookies.join("\\n") + '\'); return false">' + cookiesText + '<\/a>');
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>');
319
                            }
324
                            }
320
                            else
325
                            else
321
                            {
326
                            {
322
                              features.push('<span class="unavailable"'
327
                              features.push('<span class="unavailable"'
323
                                + ' title="<?php echo tr('Cookies supported, but no data for this site'); ?>"'
328
                                + ' title="<?php echo htmlspecialchars(tr('Cookies supported, but no data for this site'), ENT_QUOTES); ?>"'
324
                                + '>' + cookiesText + '<\/span>');
329
                                + '>' + cookiesText + '<\/span>');
325
                            }
330
                            }
326
                          }
331
                          }
327
                          else
332
                          else
328
                          {
333
                          {
329
                            features.push('<span class="offline"'
334
                            features.push('<span class="offline"'
330
                              + ' title="<?php echo tr('Cookies supported, but disabled'); ?>"'
335
                              + ' title="<?php echo htmlspecialchars(tr('Cookies supported, but disabled'), ENT_QUOTES); ?>"'
331
                              + '>' + cookiesText + '<\/span>');
336
                              + '>' + cookiesText + '<\/span>');
332
                          }
337
                          }
333
                        }
338
                        }
334
339
335
                        if (fullscreen.isSupportedBy(document.documentElement))
340
                        if (fullscreen.isSupportedBy(document.documentElement))
336
                        {
341
                        {
337
                          features.push("<span lang='<?php echo $language; ?>'><span class='text'><?php echo tr('Fullscreen'); ?><\/span><\/span>");
342
                          features.push("<span class='text' lang='<?php echo $language; ?>'><?php echo tr('Fullscreen'); ?><\/span>");
338
                        }
343
                        }
339
344
340
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
345
                        if (navigator.webkitGetGamepads && navigator.webkitGetGamepads().length)
341
                        {
346
                        {
342
                          features.push("<?php echo tr('Gamepad'); ?>");
347
                          features.push("<span class='text' lang='<?php echo $language; ?>'><?php echo tr('Gamepad'); ?></span>");
343
                        }
348
                        }
344
349
345
                        if (jsx.dom.geolocation.isAvailable())
350
                        if (jsx.dom.geolocation.isAvailable())
346
                        {
351
                        {
347
                          features.push('<a href="#" title="<?php echo htmlspecialchars(tr('Get location'), ENT_QUOTES); ?>"'
352
                          features.push('<a href="#" title="<?php echo htmlspecialchars(tr('Get location'), ENT_QUOTES); ?>"'
348
                            + ' lang="<?php echo $language; ?>"'
353
                            + ' lang="<?php echo $language; ?>"'
349
                            + ' onclick=\'return lcars.multiDisplay.geolocate("<?php echo htmlspecialchars(tr('Geolocation'), ENT_QUOTES); ?>", "<?php echo $language; ?>")\''
354
                            + ' onclick=\'return lcars.multiDisplay.geolocate("<?php echo htmlspecialchars(tr('Geolocation'), ENT_QUOTES); ?>", "<?php echo $language; ?>")\''
350
                            + '><span class="text"><?php echo htmlspecialchars(tr('Geolocation'), ENT_QUOTES); ?><\/span><\/a>');
355
                            + '><span class="text"><?php echo htmlspecialchars(tr('Geolocation'), ENT_QUOTES); ?><\/span><\/a>');
351
                        }
356
                        }
352
357
353
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
358
                        if (typeof navigator.javaEnabled != "undefined" && navigator.javaEnabled())
354
                        {
359
                        {
355
                          features.push("Java");
360
                          features.push("Java");
356
                        }
361
                        }
357
362
358
                        var storage = jsx.dom.storage;
363
                        var storage = jsx.dom.storage;
359
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
364
                        if (storage.localStorage.isSupported()) features.push("Local Storage");
360
365
361
                        if (navigator.plugins)
366
                        if (navigator.plugins)
362
                        {
367
                        {
363
                          if (navigator.plugins.length > 0)
368
                          if (navigator.plugins.length > 0)
364
                          {
369
                          {
365
                            features.push('<span title="'
370
                            features.push('<span title="'
366
                              + navigator.plugins.length
371
                              + navigator.plugins.length
367
                              + ' <?php echo tr('plugins installed'); ?>">Plugins<\/span>');
372
                              + ' <?php echo htmlspecialchars(tr('plugins installed'), ENT_QUOTES); ?>">Plugins<\/span>');
368
                          }
373
                          }
369
                          else
374
                          else
370
                          {
375
                          {
371
                                features.push('<span class="unavailable"'
376
                                features.push('<span class="unavailable"'
372
                                + ' title="<?php echo tr('Plugins supported, but none detected'); ?>"'
377
                                + ' title="<?php echo htmlspecialchars(tr('Plugins supported, but none detected'), ENT_QUOTES); ?>"'
373
                                + '>Plugins<\/span>');
378
                                + '>Plugins<\/span>');
374
                          }
379
                          }
375
                        }
380
                        }
376
381
377
                        if (storage.sessionStorage.isSupported())
382
                        if (storage.sessionStorage.isSupported())
378
                        {
383
                        {
379
                          features.push("Session Storage");
384
                          features.push("Session Storage");
380
                        }
385
                        }
381
386
382
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
387
                        if (typeof window.ontouchstart != "undefined") features.push("Touch");
383
                        return features.join(" &#8226; ");
388
                        return features.join(" &#8226; ");
384
                      }
389
                      }
385
390
386
                      function stripTags (s)
391
                      function stripTags (s)
387
                      {
392
                      {
388
                        return s.replace(/<[^>]+>/g, "");
393
                        return s.replace(/<(br|p)\s*\/?>/ig, "\\n").replace(/<[^>]*>/g, "");
389
                      }
394
                      }
390
395
391
                      var sFeatures = getFeatures();
396
                      var sFeatures = getFeatures();
392
                      document.write('<span id="features" title="' + stripTags(sFeatures) + '">' + sFeatures + '<\/span>');
397
                      document.write('<span id="features" title="' + stripTags(sFeatures) + '">' + sFeatures + '<\/span>');
393
398
394
                      var oFeatures;
399
                      var oFeatures;
395
                      var oFeaturesHtml;
400
                      var oFeaturesHtml;
396
                      var tFeatures = _runAsync(function () {
401
                      var tFeatures = _runAsync(function () {
397
                        if (typeof oFeatures == "undefined")
402
                        if (typeof oFeatures == "undefined")
398
                        {
403
                        {
399
                          oFeatures = document.getElementById("features");
404
                          oFeatures = document.getElementById("features");
400
                        }
405
                        }
401
406
402
                        if (oFeatures)
407
                        if (oFeatures)
403
                        {
408
                        {
404
                          var sNewFeatures = getFeatures();
409
                          var sNewFeatures = getFeatures();
405
410
406
                          if (!oFeaturesHtml)
411
                          if (!oFeaturesHtml)
407
                          {
412
                          {
408
                            oFeaturesHtml = document.createElement("span");
413
                            oFeaturesHtml = document.createElement("span");
409
                          }
414
                          }
410
415
411
                          if (oFeaturesHtml)
416
                          if (oFeaturesHtml)
412
                          {
417
                          {
413
                            oFeaturesHtml.innerHTML = sNewFeatures;
418
                            oFeaturesHtml.innerHTML = sNewFeatures;
414
                            sNewFeatures = oFeaturesHtml.innerHTML;
419
                            sNewFeatures = oFeaturesHtml.innerHTML;
415
                          }
420
                          }
416
421
417
                          if (oFeatures.innerHTML != sNewFeatures)
422
                          if (oFeatures.innerHTML != sNewFeatures)
418
                          {
423
                          {
419
                            oFeatures.innerHTML = sNewFeatures;
424
                            oFeatures.innerHTML = sNewFeatures;
420
                          }
425
                          }
421
426
422
                          /* Converts CREs */
427
                          /* Converts CREs */
423
                          var newTitle = stripTags(oFeatures.innerHTML)
428
                          var newTitle = stripTags(oFeatures.innerHTML)
424
                          if (oFeatures.title != newTitle)
429
                          if (oFeatures.title != newTitle)
425
                          {
430
                          {
426
                            oFeatures.title = newTitle;
431
                            oFeatures.title = newTitle;
427
                          }
432
                          }
428
                        }
433
                        }
429
434
430
                        tFeatures = this.run();
435
                        tFeatures = this.run();
431
                      }, 1000);
436
                      }, 1000);
432
                    }());
437
                    }());
433
438
434
                    _addEventListener(document, "unload", function () {
439
                    _addEventListener(document, "unload", function () {
435
                      tFeatures.unset();
440
                      tFeatures.unset();
436
                      tFeatures = null;
441
                      tFeatures = null;
437
                    });
442
                    });
438
443
439
                    var windowText = "<?php echo tr("Window"); ?>";
444
                    var windowText = "<?php echo tr("Window"); ?>";
440
                  </script>
445
                  </script>
441
                <noscript><?php echo tr('N/A'); ?></noscript></td>
446
                <noscript><?php echo tr('N/A'); ?></noscript></td>
442
            </tr>
447
            </tr>
443
          </table>
448
          </table>
444
        </div>
449
        </div>
445
        <ul class="commands">
450
        <ul class="commands">
446
          <li id="cmd1"><a href="index.php" title="Language selection"
451
          <li id="cmd1"><a href="index.php" title="Language selection"
447
            tabindex="1" class="button left right"
452
            tabindex="1" class="button left right"
448
            onmouseover="return setStatus(this.title + ': ' + this.href)"
453
            onmouseover="return setStatus(this.title + ': ' + this.href)"
449
            onmouseout="return resetStatus()"
454
            onmouseout="return resetStatus()"
450
            onfocus="return this.onmouseover()"
455
            onfocus="return this.onmouseover()"
451
            onblur="return this.onmouseout()"
456
            onblur="return this.onmouseout()"
452
          ><abbr class="text" title="Language selection">Language</abbr></a></li>
457
          ><abbr class="text" title="Language selection">Language</abbr></a></li>
453
          <li id="cmd2"><a
458
          <li id="cmd2"><a
454
            href="index.<?php echo $language; ?>?printable=1"
459
            href="index.<?php echo language_key_short($language); ?>?printable=1"
455
            title="<?php echo tr('Printable version'); ?>" tabindex="1"
460
            title="<?php echo tr('Printable version'); ?>" tabindex="1"
456
            class="button left right"
461
            class="button left right"
457
            onmouseover="return setStatus(this.title + ': ' + this.href)"
462
            onmouseover="return setStatus(this.title + ': ' + this.href)"
458
            onmouseout="return resetStatus()"
463
            onmouseout="return resetStatus()"
459
            onfocus="return this.onmouseover()"
464
            onfocus="return this.onmouseover()"
460
            onblur="return this.onmouseout()"
465
            onblur="return this.onmouseout()"
461
            lang="<?php echo $language; ?>"
466
            lang="<?php echo $language; ?>"
462
          ><span class="text"><?php echo tr("Printable"); ?></span></a></li>
467
          ><span class="text"><?php echo tr("Printable"); ?></span></a></li>
463
          <li id="cmd3"><script type="text/javascript">
-
 
464
              function toggleFullscreen (button)
-
 
465
              {
-
 
466
                var nowIsFullscreen = fullscreen.isFullscreen();
-
 
467
-
 
468
                if (nowIsFullscreen)
-
 
469
                {
-
 
470
                  fullscreen.cancel();
-
 
471
                }
-
 
472
                else
-
 
473
                {
-
 
474
                  fullscreen.requestOn(document.documentElement, button);
-
 
475
                }
-
 
476
              }
-
 
477
            </script><div class="button left right"
468
          <li id="cmd3"><div class="button left right"
478
              style="cursor: not-allowed !important"
469
              style="cursor: not-allowed !important"
479
              onclick="toggleFullscreen(this)"
470
              onclick="toggleFullscreen(this)"
480
              onkeyup="if (event.keyCode == 13) { this.click(); }"
471
              onkeyup="if (event.keyCode == 13) { this.click(); }"
481
              lang="<?php echo $language; ?>"
472
              lang="<?php echo $language; ?>"
482
            ><span class="text"><script type="text/javascript">
-
 
483
                     var cmd3;
-
 
484
                     if (fullscreen.isSupportedBy(document.documentElement))
-
 
485
                     {
-
 
486
                       _addEventListener(window, "load", function () {
-
 
487
                         if (typeof cmd3 == "undefined")
-
 
488
                         {
-
 
489
                           cmd3 = jsx.dom.getElementById("cmd3");
-
 
490
                         }
-
 
491
-
 
492
                         if (cmd3)
-
 
493
                         {
-
 
494
                           cmd3.lastChild.tabIndex = "1";
-
 
495
                         }
-
 
496
                       });
-
 
497
-
 
498
                       var fullscreenText = "<?php echo tr("Fullscreen"); ?>";
-
 
499
                       document.write(fullscreenText);
-
 
500
                     }
-
 
501
-
 
502
                     var oScreenDim;
-
 
503
                     var oAvailDim;
-
 
504
                     var oInnerDim;
-
 
505
                     var _gEBI = jsx.dom.getElementById;
-
 
506
                     var previousIsFullscreen;
-
 
507
                     var oldHandler;
-
 
508
-
 
509
                     _addEventListener(window, "resize", function () {
-
 
510
                       <?php /* FIXME: Also update title attribute value */ ?>
-
 
511
                       if (typeof oScreenDim == "undefined") oScreenDim = _gEBI(ID_SCREEN_DIM);
-
 
512
                       if (oScreenDim) oScreenDim.innerHTML = dim.getScreenText();
-
 
513
-
 
514
                       if (typeof oAvailDim == "undefined") oAvailDim = _gEBI(ID_AVAIL_DIM);
-
 
515
                       if (oAvailDim) oAvailDim.innerHTML = dim.getAvailText();
-
 
516
-
 
517
                       if (typeof oInnerDim == "undefined") oInnerDim = _gEBI(ID_INNER_DIM);
-
 
518
                       if (oInnerDim) oInnerDim.innerHTML = dim.getInnerText();
-
 
519
-
 
520
                       if (fullscreen.isSupportedBy(document.documentElement))
-
 
521
                       {
-
 
522
                         var nowIsFullscreen = fullscreen.isFullscreen();
-
 
523
                         if (nowIsFullscreen != previousIsFullscreen)
-
 
524
                         {
-
 
525
                           if (typeof cmd3 == "undefined")
-
 
526
                           {
-
 
527
                             cmd3 = document.getElementById("cmd3");
-
 
528
                           }
-
 
529
-
 
530
                           var textTarget = cmd3.lastChild.firstChild;
-
 
531
                           if (nowIsFullscreen)
-
 
532
                           {
-
 
533
                             textTarget.innerHTML = "<?php echo tr("Window"); ?>";
-
 
534
                           }
-
 
535
                           else
-
 
536
                           {
-
 
537
                             textTarget.innerHTML = fullscreenText;
-
 
538
                           }
-
 
539
-
 
540
                           previousIsFullscreen = nowIsFullscreen;
-
 
541
                         }
-
 
542
                       }
-
 
543
                     });
-
 
544
                   </script></span></div></li>
473
              ><span class="text"></span></div></li>
545
          <li id="cmd4"><script type="text/javascript">
-
 
546
                  var LANG_KLINGON = "<?php echo $klingon; ?>";
-
 
547
                  var LANG_VULCAN = "<?php echo $vulcan; ?>";
-
 
548
                  lcars.language = "<?php echo $language; ?>";
-
 
549
                </script>
-
 
550
            <script type="text/javascript" src="application/scripts/klingon.js"></script>
-
 
551
            <script type="text/javascript" src="application/scripts/vulcan-media-script.js"></script>
-
 
552
            <script type="text/javascript">
-
 
553
              function toggleScript (button)
-
 
554
              {
-
 
555
                var is_alien_language = (lcars.language == LANG_KLINGON
-
 
556
                  || lcars.language == LANG_VULCAN);
-
 
557
-
 
558
                if (media_script_used)
-
 
559
                {
-
 
560
                  klingonLatinScript(button);
-
 
561
                  latinScript(button);
-
 
562
-
 
563
                  if (!is_alien_language)
-
 
564
                  {
-
 
565
                    button.firstChild.textContent = button.getAttribute("data-caption");
-
 
566
                  }
-
 
567
                }
-
 
568
                else
-
 
569
                {
-
 
570
                  pIqaD(button);
-
 
571
                  mediaScript(button);
-
 
572
-
 
573
                  if (!is_alien_language)
-
 
574
                  {
-
 
575
                    button.setAttribute("data-caption", button.firstChild.textContent);
-
 
576
                    button.firstChild.textContent = "<?php echo tr('Latin'); ?>";
-
 
577
                  }
-
 
578
                }
-
 
579
              }
-
 
580
            </script>
-
 
581
            <div class="button left right"<?php
474
          <li id="cmd4"><div class="button left right"<?php
582
//               $language_keys = array_keys($languages);
475
//               $language_keys = array_keys($languages);
583
              if (in_array($language, array(@$klingon, @$vulcan)))
476
              if (in_array($language, array(@$klingon, @$vulcan)))
584
              {
477
              {
585
                ?> tabindex="1" onclick="return toggleScript(this)"<?php
478
                ?> tabindex="1" onclick="return toggleScript(this)"<?php
586
              }
479
              }
587
              else
480
              else
588
              {
481
              {
589
                ?> style="cursor: not-allowed !important"<?php
482
                ?> style="cursor: not-allowed !important"<?php
590
              }
483
              }
591
              ?>
484
              ?>
592
              onkeyup="if (event.keyCode == 13) { this.click(); }"
485
              onkeyup="if (event.keyCode == 13) { this.click(); }"
593
              ><span class="text" lang="<?php echo $language; ?>"><?php
486
              ><span class="text" lang="<?php echo $language; ?>"><?php
594
                switch ($language)
487
                switch ($language)
595
                {
488
                {
596
                  case $klingon: echo 'pIqaD'; break;
489
                  case $klingon: echo 'pIqaD'; break;
597
                  case $vulcan: echo 'Hitra-Zukitan'; break;
490
                  case $vulcan: echo 'Hitra-Zukitan'; break;
598
//                   default: echo tr('Original');
491
//                default: echo tr('Original');
599
                }
492
                }
600
              ?></span>
-
 
601
            </div></li>
493
              ?></span></div></li>
602
        </ul>
494
        </ul>
603
      </div>
495
      </div>
604
      <div class="elbo-button">
496
      <div class="elbo-button">
605
        <span class="text" lang="<?php echo $language; ?>"
497
        <span class="text" lang="<?php echo $language; ?>"
606
          title="<?php echo tr("Date of last modification"); ?>"
498
          title="<?php echo tr("Date of last modification"); ?>"
607
        ><?php echo gmdate('Ym.d', $modi); ?></span>
499
        ><?php echo gmdate('Ym.d', $modi); ?></span>
608
      </div>
500
      </div>
609
      <div class="elbo" lang="<?php echo $language; ?>">
501
      <div class="elbo" lang="<?php echo $language; ?>">
610
        <span class="text"><abbr
502
        <span class="text"><abbr
611
          title="<?php echo tr('Library Computer Access and Retrieval System'); ?>"
503
          title="<?php echo tr('Library Computer Access and Retrieval System'); ?>"
612
        ><?php echo tr('LCARS'); ?></abbr> PE-22A</span>
504
        ><?php echo tr('LCARS'); ?></abbr> <span lang="en">PE-</span>22<span style="text-transform: uppercase">a</span></span>
613
        <div class="concave">&nbsp;</div>
505
        <div class="concave">&nbsp;</div>
614
      </div>
506
      </div>
615
      <div class="border">
507
      <div class="border">
616
        <div class="left">&nbsp;</div>
508
        <div class="left">&nbsp;</div>
617
        <div class="right">&nbsp;</div>
509
        <div class="right">&nbsp;</div>
618
      </div>
510
      </div>
619
    </div>
511
    </div>
620
    <div class="lower">
512
    <div class="lower">
621
      <div class="elbo">
513
      <div class="elbo">
622
        <div class="concave">&nbsp;</div>
514
        <div class="concave">&nbsp;</div>
623
      </div>
515
      </div>
624
      <div class="bg">&nbsp;</div>
516
      <div class="bg">&nbsp;</div>
625
      <div class="border-container">
517
      <div class="border-container">
626
        <div class="border">
518
        <div class="border">
627
          <div class="left">&nbsp;</div>
519
          <div class="left">&nbsp;</div>
628
          <div class="right">&nbsp;</div>
520
          <div class="right">&nbsp;</div>
629
        </div>
521
        </div>
630
      </div>
522
      </div>
631
    </div>
523
    </div>
632
  </div>
524
  </div>
633
</div>
525
</div>
634
 
526