Nmm_ocaml : Common_utils.doc_settings

let doc_settings_default () : t_doc_settings = {
        doc_width = 68;
        left_margin = 0;
        title_indent = 0;
        author_indent = 0;
        abstract_indent = 0;
        refs_indent = 0;
        tab_length = 6;
        abstract_hdr = Some ("ABSTRACT", "Abstract");
        refs_hdr = Some ("REFERENCES", "References");
        endnotes_hdr = None;
        ch_prefix = Some ("CHAPTER", "Chapter");
        sec_prefix = Some ("§","§");
        app_prefix = Some ("§","Appendix");
        par_prefix = Some ("¶","¶");
        expand_tag = Tags.expand_tag_default;
        auto_numbering = auto_numbering_default;
        allow_custom_numbering = false;
}