Tidying up HTML generation

README.md

@@ -1,6 +1,6 @@
 # Inform 7
 
-[Version](notes/versioning.md): 10.2.0-beta+6X22 'Krypton' (26 September 2023)
+[Version](notes/versioning.md): 10.2.0-beta+6X23 'Krypton' (28 September 2023)
 
 ## About Inform
 

build.txt

@@ -1,3 +1,3 @@
 Prerelease: beta
-Build Date: 26 September 2023
+Build Date: 28 September 2023
-Build Number: 6X22
+Build Number: 6X23

inbuild/supervisor-module/Chapter 5/Extension Services.w

@@ -838,7 +838,9 @@ source_location Extensions::top_line_location(inform_extension *E) {
 compiled_documentation *Extensions::get_documentation(inform_extension *E,
 	filename *sitemap) {
 	if (E == NULL) return NULL;
+	int was = SourceText::for_documentation_only(TRUE);
 	Copies::get_source_text(E->as_copy, I"getting documentation"); /* in the unlikely event this has not happened yet */
+	SourceText::for_documentation_only(was);
 	if (E->documentation_sought == FALSE) {
 		if (E->as_copy->location_if_path) {
 			pathname *D = Pathnames::down(E->as_copy->location_if_path, I"Documentation");

inbuild/supervisor-module/Chapter 6/Source Text.w

@@ -45,6 +45,7 @@ int SourceText::for_documentation_only(int state) {
 source_file *SourceText::read_file(inbuild_copy *C, filename *F, text_stream *synopsis,
 	int primary) {
 	int documentation_only = source_reader_in_documentation_only_mode;
+
 	currently_lexing_into = C;
 	general_pointer ref = STORE_POINTER_inbuild_copy(NULL);
 	FILE *handle = Filenames::fopen(F, "r");

inbuild/supervisor-module/Chapter 7/General Index.w

@@ -168,7 +168,8 @@ void Indexes::scan(compiled_documentation *cd) {
 	IFM_example *E;
 	LOOP_OVER_LINKED_LIST(E, IFM_example, cd->examples)
 		Indexes::scan_r(cd, E->header, NULL, E, &volume_number);
-	if (LinkedLists::len(cd->id.lemma_list) > 0) cd->id.present_with_index = TRUE;
+	if (LinkedLists::len(cd->id.lemma_list) > LinkedLists::len(cd->examples))
+		cd->id.present_with_index = TRUE;
 }
 
 void Indexes::scan_r(compiled_documentation *cd, markdown_item *md, markdown_item **latest,
@@ -723,7 +724,7 @@ int Indexes::sort_comparison(const void *ent1, const void *ent2) {
 		HTML_OPEN("b");
 		if (EG) HTML_OPEN_WITH("a", "href=\"%S\"", EG->URL);
 	}
-	WRITE("<span class=\"index%S\">", category);
+	HTML_OPEN_WITH("span", "class=\"index%S\"", category);
 	WRITE("%S", lemma_wording);
 	HTML_CLOSE("span");
 	if (il->example_index_status == 1) {
@@ -765,7 +766,6 @@ int Indexes::sort_comparison(const void *ent1, const void *ent2) {
 			WRITE_TO(link, "ex %S", E->insignia);
 			if (EG == NULL) A = E->URL;
 		}
-		if (Str::len(A) == 0) { LOG("Alert! No anchor for %S\n", link); }
 		IndexUtilities::general_link(OUT, link_class, A, link);
 		DISCARD_TEXT(link)
 	}

inform7/Internal/HTML/main.css

@@ -64,7 +64,8 @@
     --md-background-colour: #e3e6ea;
     --md-transcript-background-colour: #f9e9e9;
     --md-dashed-border-colour: #2f6fab;
-    --md-extract-box-colour: #e9f9e9;
+    --md-extract-inform7-box-colour: #123456;
+    --md-extract-problem-box-colour: #e9f9e9;
     --md-shaded-box-colour: #e9e9e9;
     --md-transcript-deletion-colour: #ff0000;
     --md-transcript-insertion-colour: #00ff00;
@@ -176,7 +177,8 @@
     --md-background-colour: #090b0d;
     --md-transcript-background-colour: #091919;
     --md-dashed-border-colour: #CfAf32;
-    --md-extract-box-colour: #1f111f;
+    --md-extract-inform7-box-colour: #123456;
+    --md-extract-problem-box-colour: #1f111f;
     --md-shaded-box-colour: #111111;
     --md-transcript-deletion-colour: #ffdddd;
     --md-transcript-insertion-colour: #ddffdd;
@@ -720,7 +722,18 @@ button.dangerousbutton {
 	margin: 0.75em;
 	padding: 0.75em;
 	border: 1px dotted var(--md-dashed-border-colour);
-	background-color: var(--md-extract-box-colour);
+	background-color: var(--md-extract-problem-box-colour);
+}
+
+.markdowncontent blockquote.extract-inform7 {
+	padding: 0.75em;
+	border: 1px dotted var(--md-dashed-border-colour);
+	background-color: var(--md-extract-problem-box-colour);
+}
+
+.markdowncontent blockquote.extract-inform7 td, th {
+	border: 0px;
+	padding: 0px;
 }
 
 .markdowncontent code.language-transcript {

inform7/Internal/Inter/Architecture16Kit/kit_metadata.json

@@ -2,7 +2,7 @@
     "is": {
         "type": "kit",
         "title": "Architecture16Kit",
-        "version": "10.2.0-beta+6X22"
+        "version": "10.2.0-beta+6X23"
     },
     "compatibility": "16-bit",
     "kit-details": {

inform7/Internal/Inter/Architecture32Kit/kit_metadata.json

@@ -2,7 +2,7 @@
     "is": {
         "type": "kit",
         "title": "Architecture32Kit",
-        "version": "10.2.0-beta+6X22"
+        "version": "10.2.0-beta+6X23"
     },
     "compatibility": "32-bit",
     "kit-details": {

inform7/Internal/Inter/BasicInformKit/kit_metadata.json

@@ -2,7 +2,7 @@
     "is": {
         "type": "kit",
         "title": "BasicInformKit",
-        "version": "10.2.0-beta+6X22"
+        "version": "10.2.0-beta+6X23"
     },
     "needs": [ {
         "need": {

inform7/Internal/Inter/CommandParserKit/kit_metadata.json

@@ -2,7 +2,7 @@
     "is": {
         "type": "kit",
         "title": "CommandParserKit",
-        "version": "10.2.0-beta+6X22"
+        "version": "10.2.0-beta+6X23"
     },
     "needs": [ {
         "need": {

inform7/Internal/Inter/EnglishLanguageKit/kit_metadata.json

@@ -2,7 +2,7 @@
     "is": {
         "type": "kit",
         "title": "EnglishLanguageKit",
-        "version": "10.2.0-beta+6X22"
+        "version": "10.2.0-beta+6X23"
     },
     "needs": [ {
         "need": {

inform7/Internal/Inter/WorldModelKit/kit_metadata.json

@@ -2,7 +2,7 @@
     "is": {
         "type": "kit",
         "title": "WorldModelKit",
-        "version": "10.2.0-beta+6X22"
+        "version": "10.2.0-beta+6X23"
     },
     "needs": [ {
         "need": {