| LEFT | RIGHT |
| 1 document.getElementById('title').appendChild(document.createTextNode(translate.g
et('ext_name') + ' - ' + translate.get('preferences'))); | 1 document.getElementById('title').appendChild(document.createTextNode(translate.g
et('ext_name') + ' - ' + translate.get('preferences'))); |
| 2 | 2 |
| 3 var headerParent = document.getElementById('header'); | 3 var headerParent = document.getElementById('header'); |
| 4 | 4 |
| 5 var logo = document.createElement('img'); | 5 var logo = document.createElement('img'); |
| 6 logo.setAttribute('src', '/images/icon_red34.png'); | 6 logo.setAttribute('src', '/images/icon32.png'); |
| 7 logo.setAttribute('width', '34px'); | 7 logo.setAttribute('width', '32px'); |
| 8 logo.setAttribute('length', '34px'); | 8 logo.setAttribute('length', '32px'); |
| 9 | 9 |
| 10 var title = document.createElement('h1'); | 10 var title = document.createElement('h1'); |
| 11 title.appendChild(logo); | 11 title.appendChild(logo); |
| 12 title.appendChild(document.createTextNode(' ' + translate.get('ext_name'))); | 12 title.appendChild(document.createTextNode(' ' + translate.get('ext_name'))); |
| 13 | 13 |
| 14 var subtitle = document.createElement('h4'); | 14 var subtitle = document.createElement('h4'); |
| 15 subtitle.appendChild(document.createTextNode(translate.get('ext_descript'))); | 15 subtitle.appendChild(document.createTextNode(translate.get('ext_descript'))); |
| 16 | 16 |
| 17 headerParent.appendChild(title); | 17 headerParent.appendChild(title); |
| 18 headerParent.appendChild(subtitle); | 18 headerParent.appendChild(subtitle); |
| LEFT | RIGHT |