Library
Module
Module type
Parameter
Class
Class type
Odoc theme support.
val default : name
default
is the default odoc theme ("odoc.default"
).
val config_file : B0_std.Fpath.t
config_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 or default
if the user has no preference.
set_user_preference t
sets the user prefered theme to t
.
val path : t -> B0_std.Fpath.t
path t
is the path to the theme directory.
val pp_name : t B0_std.Fmt.t
pp_name
formats a theme's name.
val pp : t B0_std.Fmt.t
pp
formats a theme.
val of_dir : B0_std.Fpath.t -> t list
of_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
.