From f97d7374195da293248987d54acdfd19b04c84e9 Mon Sep 17 00:00:00 2001
From: Graham Nelson <graham.nelson@mod-langs.ox.ac.uk>
Date: Tue, 14 Jun 2022 21:43:04 +0100
Subject: [PATCH] Updated

---
 inform7/Internal/HTML/macos-platform.css | 88 ++++++++++++++++++++++++
 1 file changed, 88 insertions(+)

diff --git a/inform7/Internal/HTML/macos-platform.css b/inform7/Internal/HTML/macos-platform.css
index ec9218c5e..bb6680672 100644
--- a/inform7/Internal/HTML/macos-platform.css
+++ b/inform7/Internal/HTML/macos-platform.css
@@ -104,6 +104,48 @@ documentation. */
 	color:white;
 }
 
+/* Styling used in the extension documentation indexes: */
+
+/* Used for extension names in the extensions pane of the app */
+
+span.extensioncensusentry {
+	color: #ffffff;
+}
+
+span.extensionindexentry {
+	color: #404040;
+}
+
+span.extensionindexerror {
+	color: #ff8080;
+}
+
+/* Seen in problem messages: */
+
+span.problemred {
+	color: #800000;
+}
+
+span.problemgreen {
+	color: #008000;
+}
+
+span.phraseword {
+	color: #808080;
+}
+
+span.phrasetokentext {
+	color: #e00060;
+}
+
+span.phrasetokendesctext {
+	color: #4040ff;
+}
+
+span.phrasetokenvaluetext {
+	color: #ff4040;
+}
+
 /* Now we move on to styling used in the Index pages only: */
 
 /* The periodic table display has "sidebars", usually grey and taller than they
@@ -140,6 +182,52 @@ span.elementtitletext {
 	font-weight: bold;
 }
 
+/* The banner at the top of each element: */
+
+table.elementbanner {
+	background: #eeeeee;
+}
+
+/* For the typewriting on the Library Card: */
+
+span.librarycardtitle {
+	color: #803030;
+}
+
+span.librarycardother {
+	color: #303030;
+}
+
+/* For responses in index entries about rules: */
+
+span.indexresponseletter {
+	color: #ffffff;
+	font-family: 'Courier New', Courier, monospace;
+	background-color: #8080ff;
+}
+
+span.indexresponsetext {
+	color: #000066;
+}
+
+/* Used ubiquitously throughout the index for unemphasised text: */
+
+span.indexgrey {
+	color: #808080;
+}
+
+span.indexdullred {
+	color: #800000;
+}
+
+span.indexdullgreen {
+	color: #008000;
+}
+
+span.indexdullblue {
+	color: #000080;
+}
+
 /* To get the book-contents-page style leaders on the Contents element of
    the index to work, these must use the background colour of the body of
    the page, whatever that is: */