diff --git a/inform7/Internal/HTML/macos-platform.css b/inform7/Internal/HTML/macos-platform.css new file mode 100644 index 000000000..ec9218c5e --- /dev/null +++ b/inform7/Internal/HTML/macos-platform.css @@ -0,0 +1,152 @@ +:root { + color-scheme: light dark; +} + +/* The default font (family) and size */ + +body, p, td { + font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif; + -webkit-font-smoothing: antialiased; + font-size: 12px; +} + +/* For fixed-point material within text, such as the typing on the Library Card index page */ + +span.typewritten { + font-family: 'Courier New', Courier, 'Lucida Sans Typewriter', 'Lucida Typewriter', monospace; + font-size: 13px; +} + +/* For less important material: the small print */ + +span.smaller { + font-size: 80%; +} + +/* The "heading panel" is the coloured box, high up on the page. The colours +vary depending on the page: for example, the style on a report of a translation +with no problems is "headingpanelsucceeded", usually green, but if there were +problems then "headingpanelfailed" is used, which is usually red. "headingpanel" +itself is a more neutral grey by default. "headingpanelDark" is an alternative +look to make the extensions index pages have some visual contrast with the others; +by default they are a darker grey. */ + +.headingpanel { + background: #eeeeee; +} +.headingpanelsucceeded { + background: #E6FFE6; +} +.headingpanelfailed { + background: #f69Ca6; +} +.headingpanelalt { + background: #808080; +} + +/* Heading panels have two lines of text: an upper one in a larger size, and a +lower one in a smaller. Again, the alt versions are meant to contrast. + + Report on Translation: Succeeded <-- headingpaneltext + Produced by Inform 10.1.0 (build 6U97) <-- headingpanelrubric + + Installed Extensions <-- headingpaneltextalt + Bundles of extra rules or phrases to... <-- headingpanelrubricalt + +*/ + +span.headingpaneltext { + color: #222222; + font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif; + -webkit-font-smoothing: antialiased; + font-size: 20px; + font-weight: bold; +} +span.headingpaneltextalt { + color: #ffffff; + font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif; + -webkit-font-smoothing: antialiased; + font-size: 20px; + font-weight: bold; +} + +span.headingpanelrubric { + color: #222222; + font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif; + -webkit-font-smoothing: antialiased; + font-size: 11px; + font-weight: bold; +} +span.headingpanelrubricalt { + color: #ffffff; + font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif; + -webkit-font-smoothing: antialiased; + font-size: 11px; + font-weight: bold; +} + +/* Horizontal rule styling */ + +div.hr { + border: 0; + width: 100%; + color: #707070; + background-color: #707070; + height: 5px; +} + +/* This styles the (usually white) text of the example numbers written inside +oval blobs in the extension documentation, which mimic the look of the in-app +documentation. */ + +.oval, .oval td { + background-image:url('inform:/doc_images/ovoid.png'); + color:white; +} + +/* Now we move on to styling used in the Index pages only: */ + +/* The periodic table display has "sidebars", usually grey and taller than they +are wide; they contain no text. */ + +div.periodictablesidebarcolour { + background: #888; +} +div.periodictablesidebar:hover { + background: #222; +} + +/* The text of the element-abbreviation, such as "Lx" or "Ph", uses: */ + +span.elementtext { + color: #ffffff; + font-size: 20px; + font-weight: bold; +} + +/* Similarly for the "atomic number" - a single digit - in the top left corner +of these boxes: */ + +span.elementnumbertext { + color: #ffffff; + font-size: 7pt; +} + +/* For the text of the element title, to the right of the element box: */ + +span.elementtitletext { + color: #ffffff; + font-size: 9px; + font-weight: bold; +} + +/* 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: */ + +ul.leaders li.leaded span:first-child { + background: white; +} +ul.leaders li.leaded span + span { + background: white; +}