<script type="text/javascript" charset="utf-8">
  hasFrames = window.top.frames.main ? true : false;
  relpath = '/';
  docsPrefix = '<%= base_path(router.docs_prefix) %>';
  listPrefix = '<%= base_path(router.list_prefix) %>';
  searchPrefix = '<%= base_path(router.search_prefix) %>';
  framesUrl = '<%= url_for_frameset %>';
</script>
