# Some indoc instructions common to all of the targets in which Inform
# documentation is output in HTML format for use within the application

contents_expandable = yes

#examples_A_to_Z_leafname = examples.html
examples_numerical_leafname = allegs.html
examples_thematic_leafname = Rallegs.html

navigation = architect
html_for_Inform_application = yes
manifest_leafname = manifest.txt
images_path = doc_images/
images_copy = no
examples_mode = openable

css: td.midnightrighthalfpage + {
	background-color: #ffffe5;
}
css: td.midnightlefthalfpage + {
	background-color: #eeeeee;
}

link_to_extensions_index = inform://Extensions/Extensions.html
definitions_filename = inform7/Internal/Miscellany/definitions.html

declare: app