[%  # root URL
    root = root_url or '/';

    # define library data
    libs = {
    	html = {
    	    name  = 'html'
    	    title = "HTML"
    	    pages = {
    		index   => 'Index Page'
    		rgb     => 'RGB Colours'
    		headers => 'Headers, Footers and Pages'
    		lists   => 'Lists, Items and Indents'
    		links   => 'Links and Buttons'
    		tables  => 'Tables, Rows and Cells'
    		bars    => 'Bars, Boxes and Edges'
    		menus   => 'Menus and Menu Bars'
    	    }
    	    order => [ 'index', 'rgb', 'headers', 'lists',
    		       'links', 'tables', 'bars', 'menus' ]
    	}
    	splash = {
    	    name  = 'splash'
    	    title = "Splash!"
	    pages = {
		index    = 'About Splash!'
		config   = 'Config'
		colours  = 'Colours'
		text     = 'Text'
		icon     = 'Icons'
		button   = 'Buttons'
		bar      = 'Bars'
		menu     = 'Menus'
		menubar  = 'Bars with Menus'
		pulldown = 'Vertical Menus'
		frame    = 'Container Frames'
		panel    = 'Panels'
		box      = 'Bordered Boxes'
		hair     = 'Cross-Hair Frames'
		tab      = 'Single Tabs'
		tabbox   = 'Tabbed Box'
		tabset   = 'Set of Tabs'
		tabsbox  = 'Boxes with Tab Sets'
		dropbox  = 'Button Bar with Descending Panel'
	    }
	    order = [ 'index', 'config', 'colours', 'text', 'icon', 'button', 'bar', 
		      'menu', 'menubar', 'pulldown', 'tab', 'frame', 'panel', 
		      'box', 'hair', 'tabbox', 'tabset', 'tabsbox', 'dropbox' ] 
    	}
    	ps = {
    	    name  = 'ps'
    	    title = "PostScript"
    	    pages = {
    		index   => 'Index Page'
    		marks   => 'Various useful marks'
    	    }
    	    order => [ 'index', 'marks' ]
    	}
    };
    liblist = [ libs.html, libs.splash, libs.ps ];

    # build the main menu
    menu = [ ];
    FOREACH lib = liblist;
	item = { 
	    link => "../$lib.name/index.html", 
	    text => lib.title,
	};
	menu.push(item);
    END;

    # build the tab sets
    FOREACH  library = libs.values;
	library.tabs = [ ];
	FOREACH page = library.order;
	    tab = { text  => page
	            title => library.pages.$page
		    link  => "${page}.html" } ;
	    library.tabs.push(tab);
	END ;
    END;

    PROCESS splash/config;

    IF splash_fg;
	splash.style.select.col.fore = splash_fg 
	splash.style.select.col.edge = splash_fg;
    END;
    IF splash_bg;
	splash.style.default.col.fore = splash_bg;
	splash.style.default.col.edge = splash_bg;
    END;
-%]