1 var tmpl_header = AJS.join('', [
2 '<div id="top"> <img src="static_files/logo.gif" alt="" /> <br />',
3 '<span style="font-weight: bold; color: #333">A pop-up window that doesn\'t suck.</span>',
7 function insertHeader() {
12 'installation': 'installation.html',
13 'examples': 'examples.html',
14 'nrm_usage': 'normal_usage.html',
15 'adv_usage': 'advance_usage.html',
16 'cmpr': 'compressing_greybox.html',
20 function insertMenu(current_page) {
21 var menu = AJS.UL({id: 'menu'});
22 var create_item = function(cls, name) {
23 var item = AJS.LI({'class': cls});
24 AJS.ACN(item, AJS.A({href: LINKS[cls]}, name));
28 create_item('installation', 'Installation'),
29 create_item('examples', 'Examples'),
30 create_item('nrm_usage', 'Normal usage'),
31 create_item('adv_usage', 'Advance usage'),
32 create_item('cmpr', 'Compressing GreyBox'),
33 create_item('about', 'About')
36 AJS.map(items, function(item) {
37 if(item.className == current_page) {
38 AJS.addClass(AJS.$bytc('a', null, item)[0], 'current');
45 function insertCode() {
46 var code = AJS.join('\n', arguments);
47 var result = '<pre><code>';
48 code = code.replace(/</g, '<').replace(/>/g, '>');
50 result += '</code></pre>';
51 document.write(result);