A minor thing: [@ ... @] often seems to be used when describing what to type to get a particular markup effect. So maybe it should use the <kbd> tag instead of the <code> tag. -- JR -- John Rankin