Subversion Repositories LCARS

Rev

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

Rev 211 Rev 236
-
 
1
1
    <div id="LCARS">
2
<div id="LCARS">
2
<?php /*
3
<?php /*
3
      <div id="button-grid" style="position: absolute; opacity: 0.3">
4
      <div id="button-grid" style="position: absolute; opacity: 0.3">
4
        <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>
5

6

6
        <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>
7
        <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>
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

11

11
        <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>
12
        <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>
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

16

16
        <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>
17
        <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>
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

21

21
        <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>
22
        <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>
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

26

26
        <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>
27
        <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>
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

32

32
        <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>
33
        <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>
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

37

37
        <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>
38
        <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>
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

41

41
        <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>
42
        <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>
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

45

45
        <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>
46
        <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>
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

49

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

162

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