Odoc theme support.
val odoc_default : nameodoc_default is the default odoc theme ("odoc.default").
val odig_default : nameodig_default is the default odig theme ("odig.default").
default_uri is a default uri to give to Html.cmd, this is "_odoc-theme". This will use that directory in the html directory.
val config_file : B00_std.Fpath.tconfig_file is the file relative to the user's Os.Dir.config directory for specifying the odoc theme.
get_user_preference () is the user prefered theme name (if any).
set_user_preference t sets the user prefered theme to t.
val path : t -> B00_std.Fpath.tpath t is the path to the theme directory.
val pp_name : t B00_std.Fmt.tpp_name formats a theme's name.
val pp : t B00_std.Fmt.tpp formats a theme.
val of_dir : B00_std.Fpath.t -> t listof_dir sharedir are the themes found in sharedir. These are formed by looking up in sharedir for directory paths of the form PKG/odoc-theme/ID/ in sharedir which yields a theme named by PKG.ID.
find ~fallback n ts finds theme n in ts. An error is returned if n cannot be found, in that case it indicates fallback will be used instead (if specified).
val write : B00.Memo.t -> t -> to_dir:B00_std.Fpath.t -> unitwrite m t ~to_dir writes theme to directory to_dir. This simply copies path to to_dir.