<%-- Yes, this is horrible - special case to add an extra style sheet if we are looking at a user guide page. I would just copy the user guide CSS into this layout but it contains various ID selectors that will change as the HTML changes so we have to pull in the htlatex-generated CSS directly. --%>
      Log out Log in Admin (w/s mode) Admin Help
${pageLinks}
${pageTree}
${leftBar}
 
 
${rightBar}