(* HTML output configuration *)

type t = {
  theme_uri : Types.uri option;
  support_uri : Types.uri option;
  search_uris : Types.file_uri list;
  extra_css : string list;
  remap : (string * string) list;
  semantic_uris : bool;
  search_result : bool;
      (* Used to not render links, for summary in search results *)
  indent : bool;
  flat : bool;
  open_details : bool;
  as_json : bool;
  shell : string option;
  home_breadcrumb : string option;
  mode_links : string option;
  config_values : (string * string) list;
}

let v ?(search_result = false) ?theme_uri ?support_uri ?(search_uris = [])
    ?(extra_css = []) ~semantic_uris ~indent ~flat ~open_details ~as_json ?shell
    ~remap ?home_breadcrumb ?mode_links ?(config_values = []) () =
  {
    semantic_uris;
    indent;
    flat;
    open_details;
    theme_uri;
    support_uri;
    search_uris;
    extra_css;
    as_json;
    shell;
    search_result;
    remap;
    home_breadcrumb;
    mode_links;
    config_values;
  }

let theme_uri config : Types.uri =
  match config.theme_uri with None -> Types.Relative None | Some uri -> uri

let support_uri config : Types.uri =
  match config.support_uri with None -> Types.Relative None | Some uri -> uri

let search_uris config = config.search_uris

let extra_css config = config.extra_css

let semantic_uris config = config.semantic_uris

let indent config = config.indent

let flat config = config.flat

let open_details config = config.open_details

let as_json config = config.as_json

let search_result config = config.search_result

let shell config = config.shell

let remap config = config.remap

let home_breadcrumb config = config.home_breadcrumb

let mode_links config = config.mode_links

let config_values config = config.config_values