◊(Local Yarn Code "martin.css.pp at [58c1f025]")

File web-extra/martin.css.pp artifact 883c8985 part of check-in 58c1f025


#lang pollen/pre

/* SPDX-License-Identifier: BlueOak-1.0.0
** This file is licensed under the Blue Oak Model License 1.0.0. */

/* Welcome to my CSS File!  
** I have named it `martin.css`, after Martin Pale. */

◊;{Here, broadly, is the approach we are taking here:

   1. The site shall look decent and readable even when CSS is unavailable.

   2. There's a vertical rhythm of ◊x-lineheight[1] that just about 
      everything follows.
      
   3. Define the mobile (smallest screen) layout first...            [Lines 026-???]
      ...then do some dynamic type sizing on screens 768px+ wide     [Lines ???-???]
   
   4. If CSS Grid support is detected, we'll do some nice-looking    [Lines ???-???]
      layout on screens 768px+ wide.
}

@import url('font.css');
@import url('normalize.css');

/* Let us first address the matter of font size in different screen sizes. */

/* Mobile portrait screens will see a minimum 18px font. */
html { 
    font-size: 22px;
    height: 100%;
    } 

/* Start increasing type size dynamically at screen widths of 768px */
@media (min-width: 768px) { 
    html { font-size: 2.8vw; } 
}

/* Top out at 23px for screens up to 800px TALL */
◊; @media only screen and (min-width: 1000px) and (max-height: 800px) {
◊;    html { font-size: 26px; } /* =  2.6% of 1000px (min-width) */
◊; }

/* Top out at 28px for screens 801px-1000px TALL */
@media (min-width: 1000px) and (max-height: 920px) { 
   html { font-size: 28px; }     /* =  2.8% of 1000px (min-width) */
}
/* For screens taller than 1000 px, top out at 32px */
@media (min-width: 1178px) and (min-height: 921px) {
    html { font-size: 33px; }    /* =  2.8% of 1178px (min-width) */
}

◊; Since line height is used in so many places...
◊(define LINEHEIGHT 1.3)
◊(define lineheight (string-append (number->string LINEHEIGHT) "rem"))
◊(define (x-lineheight multiple) 
    (string-append (real->decimal-string (* LINEHEIGHT multiple) 2) "rem"))
◊(define (derive-lineheight lines #:per-lines per)
    (string-append (real->decimal-string (/ (* LINEHEIGHT per) lines) 3) "rem"))

◊(define color-bodytext   "#2a3d45") ◊; Japanese indigo, baby
◊(define color-pagehead   "#a81606") ◊; for Faded gold, a29555
◊(define color-link       "#ab2a23")
◊(define color-linkhover  "#c14337")
◊(define color-xrefmark   "#c14337")
◊(define color-background "#f7f7f7")
◊(define color-linkbackground "#f7f7f7")

◊(define body-font "Fabiol, serif")
◊(define mono-font "'Triplicate T4c', monospace")

/*
 **** 1. Mobile-first layout ***
      1.1 All Pages
      1.2 Front page
      1.3 Individual post body markup
      1.4 Journal views (article listings)  
 */

body {
    height: 100%;           /* height and flex are to keep footer stuck to bottom of page */
    display: flex;
    flex-direction: column;
    margin: 0;
    background: ◊color-background;

    /* Typography: `line-height` is important!
       All verticle rhythm based on this value. */
    line-height: ◊lineheight;
    font-family: ◊body-font;

    font-feature-settings: "calt" on, "liga" on, "clig" on, "dlig" on, "kern" on, "onum" on, "pnum" on;
    color: ◊color-bodytext; /* Japanese Indigo, baby */
}

/* This is used to hide certain punctuation and things as long as CSS is available. 
   Turn off CSS and voila: stuff appears. */
.x {
    display: none;
}

.hist p {
    font-variant-alternates: historical-forms;
}
.nonhist {
    font-variant-alternates: normal;
}

main {
    background: white;
    margin: 0;
    padding: ◊x-lineheight[0.5] ◊x-lineheight[1];
    flex: 1 0 auto;
}

main > a > header {
    text-align: center;
}

main > a > header h1 {
    display: none;
    /* font-size: ◊x-lineheight[1.5];
    line-height: ◊x-lineheight[2];
    margin: 0 0 ◊x-lineheight[0.5] 0;
    font-weight: normal;
    font-style: italic;
    text-transform: lowercase;
    color: ◊color-pagehead;
    transition: color 0.25s ease; */
}

img.logo {
    height: ◊x-lineheight[3];
    filter: none;
    transition: filter 0.5s ease;
}

header:hover img.logo {
    filter: invert(12%) sepia(87%) saturate(2559%) hue-rotate(348deg) brightness(125%) contrast(88%);
    transition: filter 0.5s ease;
}

/* I read somewhere years ago that you should specify styling for links in the
   following order: Link, Visited, Hover, Active. 
       → Remember the mnemonic: Lord Vader Has Arrived.
   
   Not sure if that's relevant advice any more but I still follow it. It can't hurt. */
   
a:link, a:visited {         /* [L]ord [V]ader… */
    color: ◊color-link;
    text-decoration: none;
}

a:hover, a:active {         /* …[H]as [A]rrived */
    color: ◊color-linkhover;
    background: ◊color-linkbackground;
}

a.index-link:link, a.index-link:visited {
    color: ◊color-bodytext;
}

a.index-link:hover, a.index-link:active {
    color: #006400;
}

a.index-link::after {
    content: '\f89b';
    color: #809102;
    position: relative;
    top: -0.3em;
}

main>a {
    color: inherit;
}

span.links-footnote {
    display: inline-block; /* allows keyframe animation to work */
}

:target {
    animation: hilite 2.5s;
}
@keyframes hilite {
    0% {background: transparent;}
    10% {background: #feffc1;}
    100% {background: transparent;}
}

main > aside {
    text-align: center;
}

main nav {
    font-family: 'Triplicate T4c', monospace;
    font-feature-settings: "onum" off;
    font-size: 0.7rem;
    margin: 0;
    margin-top: 0.5rem;
    text-align: center;
}

main nav ul {
    list-style-type: none;
    margin: 0.2em auto;
    padding: 0;
}

main nav li {
    display: none; /* Numbers not displayed on mobile */
    color: gray;
}

main nav li.nav-text {
    display: inline;
    text-transform: uppercase;
    letter-spacing: 0.05rem;
    font-size: 0.6rem;
}

main nav li.inactive-link {
    color: #545454; /* Accessibility (contrast) */
}

main nav li.current-page {
    color: ◊color-bodytext;
    padding: 0.2rem 0.5rem;
    border-bottom: dotted ◊color-bodytext 2px;
}

main nav li a {
    padding: 0.2rem 0.5rem;
}

main nav li a:link, nav li a:visited {
    color: ◊color-bodytext;
}

main nav li a:hover, nav li a:active {
    color: ◊color-linkhover;
    background: #ebebeb;
}

i > em { font-style: normal; }

/* On mobile, an <ARTICLE> is just a box. Later we'll do fancy stuff if grid support is detected. */
article {
    margin: ◊x-lineheight[2] 0 ◊x-lineheight[1] 0;
    padding-top: ◊x-lineheight[1];
}
article:first-of-type {
    margin-top: ◊x-lineheight[1];
}

/* Here's my thing these days about article titles: they shouldn't be required. When you write in a
   paper journal, do you think of a title for every entry? No! You just write the date. The date is
   the heading. Makes sense. But, this means I've had to think long and hard about how to present two
   different types of articles (those with titles AND dates, and those with just a date for the title). 

    filter: invert(12%) sepia(87%) saturate(359%) hue-rotate(348deg) brightness(105%) contrast(88%);
   For now: By default, the title-less article is assumed to be the norm. On these, we use <H1> to 
   show the date in italics. */
article>h1 {
    font-size: ◊x-lineheight[1];
    line-height: ◊x-lineheight[1];
    margin: 0 0 ◊x-lineheight[1] 0;
    font-style: italic;
    font-weight: bold;
}

article.no-title>h1 {
    font-weight: normal
}

/* Titles non-bold, non-smallcaps by default. This can be overridden in document markup. */
h1.entry-title {
    margin: 0 0 0 0;
    text-transform: none;
    font-style: normal;
    line-height: 1.7rem;
}

h1.entry-title.note-full {
    font-weight: normal;
    font-feature-settings: "smcp" on, "liga" on, "clig" on, "dlig" on, "kern" on, "onum" on, "pnum" on;
}

/* This <SPAN> class is used in titles for Notes appended to earlier articles */
h1.entry-title .cross-reference {
    font-feature-settings: "smcp" off, "liga" on, "clig" on, "dlig" on, "kern" on, "onum" on, "pnum" on;
    font-style: italic;
    text-transform: none;
}

/* `a.rel-bookmark` is only used in individual article or ‘journal’ views, 
    not in listings; see the design docs.
*/
a.rel-bookmark:link,        /* Lord  */
a.rel-bookmark:visited {    /* Vader */
    text-decoration: none;
    background: none;
    color: ◊color-bodytext;
}

a.rel-bookmark:hover,       /* Has     */
a.rel-bookmark:active {     /* Arrived */
    text-decoration: none;
    background: ◊color-linkbackground;
    color: #006400;
}

/* Here's where we add the minty fresh maple leaf glyph. */
a.rel-bookmark::after {
    content: '\f894'; 
    margin-left: 4px;
    font-style: normal;
    color: #809102;
}
a.rel-bookmark.note-permlink::after {
    content: '\f897';
    margin-left: 4px;
}
div.note a.rel-bookmark.note-permlink::after {
    content: '';
}
div.note a.rel-bookmark.note-permlink::before {
   font-family: ◊body-font;
   font-size: 1rem;
   content: '\00b6';
   margin-left: -0.9rem;
   float: left;
   margin-top: -2px;
}

a.rel-bookmark:hover::after {
    color: #aaba16;
}

a.cross-reference:link,
a.cross-reference:visited {
    color: ◊color-bodytext;
}

a.cross-reference::before {
    content: '☞\00a0';      /* Non-breaking space */
    font-style: normal;
    color: ◊color-xrefmark;
}

/* Footnote links */
sup a {
    font-weight: bold;
    margin-left: 3px;
}

p.time {
    margin: 0 0 ◊x-lineheight[1] 0;
}

footer.article-info {
    margin: ◊x-lineheight[1] 0;
    text-align: center;
    font-feature-settings: "smcp" on, "liga" on, "clig" on, "dlig" on, "kern" on, "onum" on, "pnum" on;
    color: #555555; /* Accessibility (contrast) */
}

footer.article-info::before {
    content: "☞\00a0";
}

/* Within article info, don’t display series info when on a series page (redundant) */
body.series-page .series-part {
    display: none;
}

p.time::before {
    content: none;
}

p.time {
    font-size: ◊x-lineheight[0.75];
    line-height: ◊x-lineheight[1];
    font-feature-settings: "scmp" off, "liga" on, "clig" on, "dlig" on, "kern" on, "onum" on, "pnum" on;
    text-transform: none;
    font-style: italic;
}

article>:last-child::after {
    content: '\f88d';  /* Round glyph */
    color: ◊color-bodytext;
    font-size: ◊x-lineheight[1];
    line-height: ◊x-lineheight[1];
    text-align: center;
    display: block;
    margin: ◊x-lineheight[1] 0;
}

/* Fossil info links */
.scm-links { 
    color: #888;
    font-size: 0.5rem;
    white-space: nowrap;
    float: right;
    text-align: right;
    margin-top: -◊x-lineheight[2.01];
    padding-right: 1ch;
    font-family: ◊mono-font;
    font-style: italic;
}

.scm-links a {
    display: inline-block;
    text-align: center;
    width: 0.9rem;
    color: #727070;
}

p {
    margin: 0;
    text-indent: 0;
}

p + p {
    text-indent: 1em;
}

section.entry-content blockquote {
    font-size: ◊x-lineheight[0.7];
    line-height: ◊derive-lineheight[7 #:per-lines 6];
    margin: ◊x-lineheight[1.0] 2em;
}

section.entry-content blockquote:first-child {
    margin-top: 0;
}

section.entry-content blockquote footer {
    margin-top: ◊x-lineheight[0.5];
    text-align: right;
    width: calc(100% + 2em);
}

section.entry-content h2 {
    font-size: 1.2rem;
    font-style: italic;
    margin: ◊x-lineheight[1] 0;
    font-weight: normal;
}

.caps, span.smallcaps, span.newthought {
    font-feature-settings: "smcp" on, "liga" on, "clig" on, "dlig" on, "kern" on, "onum" on, "pnum" on;
    font-style: normal;
}

.caps {
    text-transform: lowercase;
    font-size: 1.1em;
}

p.pause-before {
    margin-top: ◊x-lineheight[2];
    text-indent: 0;
}

section.entry-content ul,
section.entry-content ol {
    margin: ◊x-lineheight[0.5] 0 ◊x-lineheight[0.5] 0;
    padding: 0;
}

section.entry-content li {
    margin: 0 0 ◊x-lineheight[0.5] 0;
    padding: 0;
    text-indent: 0; 
}

code {
    font-size: 0.75rem;
    font-family: ◊mono-font;
    background: #ddd;
    border-radius: 0.2em;
}

pre {
    line-height: ◊derive-lineheight[7 #:per-lines 6];
    max-width: 100%;
    overflow-x: auto;
    tab-size: 4;
}

pre code {
    border: 0;
    background: none;
    font-size: 0.6rem;
}

pre.code {
    border: dotted #aaa 2px;
    padding-left: 0.2em;
    line-height: 0.7rem;
}

samp {
    font-family: ◊mono-font;
    font-size: 0.7rem;
}

pre.verse {
    font-family: ◊body-font;
    font-size: 1rem;
    line-height: ◊x-lineheight[1];
    width: auto;
    margin: ◊x-lineheight[1] auto;
    display: table;
    white-space: pre-wrap;
    /* Whitespace is preserved by the browser.
       Text will wrap when necessary, and on line breaks */
}

p.verse-heading {
    font-feature-settings: "smcp" on, "liga" on, "clig" on, "dlig" on, "kern" on, "onum" on, "pnum" on;
    text-align: center;
    font-size: 1.3rem;
}

div.attrib {
    text-align: right;
    font-size: .8rem;
    margin-top: -◊x-lineheight[0.5];
}
    
section.entry-content figure {
    margin: ◊x-lineheight[1] 0;
    padding: 0;
}

figure>a {
    margin: 0;
    padding: 0;
    font-family: arial, sans-serif;
}
figure img {
    max-width: 100%;
    margin: 0 auto;
}

figcaption {
    font-size: 0.8rem;
    line-height: ◊derive-lineheight[4 #:per-lines 3];
    margin-bottom: 0.3rem;
    text-align: left;
}

dl {
    margin: ◊x-lineheight[1] 0;
}

dl.dialogue dt {
    font-feature-settings: "smcp" on, "liga" on, "clig" on, "dlig" on, "kern" on, "onum" on, "pnum" on;
    font-style: normal;
    text-transform: lowercase;
}

section.entry-content p.signoff {
    margin-top: ◊x-lineheight[1];
    font-size: 1.2rem;
}

section.footnotes {
    margin-top: ◊x-lineheight[1];
    font-size: 0.9rem;
    line-height: ◊derive-lineheight[7 #:per-lines 6];
}

section.footnotes hr {
    border: 0;
    background: ◊color-bodytext;
    height: 1px;
    margin: 0;
    width: 75%;
    text-align: left;
}

section.footnotes ol {
    margin: ◊x-lineheight[0.5] 0 0 0;
}


p.further-reading {
   margin-top: ◊x-lineheight[1];
   text-indent: 0;
   background: #eee;
   padding-left: 0.3rem;
   border-radius: 3px;
}

p.further-reading:hover {
    background-color: #ddd;
}

p.further-reading a {
    color: ◊color-bodytext !important;
    font-style: italic;
}

p.further-reading a:hover, p.further-reading a:active {
    background-color: #ddd;
}

/* ******* “Further Notes” added to articles ********
 */

div.further-notes {
    margin-top: ◊x-lineheight[3];
}

div.further-notes>h2 {
    font-style: normal;
    font-feature-settings: "smcp" on;
    border-top: solid 2px ◊color-bodytext;
    text-transform: lowercase;
}

div.note h3 {
    margin-top: 0;
    font-size: 1rem;
    font-weight: normal;
    font-family: ◊mono-font;
    font-size: 0.7rem;
    background: #f3f3f3;
    border-top: solid #b6b6b6 1px;
    padding-left: 0.2rem;
    margin-bottom: 0.3rem;
}

div.note-meta {
    margin-top: ◊x-lineheight[1];
    color: #888;
    font-size: 1.2rem;
}

.by-proprietor .note-meta {
    display: none;
}

div.note + div.note {
    margin-top: ◊x-lineheight[2];
}

.disposition-mark {
    color: ◊color-xrefmark;
    position: relative;
    top: -0.5em;
    font-size: 0.83em;
}

.disposition-mark-in-note {
    background: ◊color-xrefmark;
    color: white;
    border-radius: 0.08em;
    padding: 0 0.1em;
    margin: 0 0.4em 0 0;
    text-decoration: none !important;
}

/* ******* (Mobile first) “Short” list styling *******
 */

section.content-block {
}

article.short-listing {
    margin: ◊x-lineheight[1] 0;
    padding: 0;
    display: block;
    border: none;
    box-shadow: none;
}

article.short-listing a {
    display: block;
}

article.short-listing time {
    color: #999;
}

article.short-listing h3 {
    font-size: 1.2rem;
    margin: 0;
    padding: 0;
    font-weight: normal;
}

/* ******* (Mobile first) Columnar series list styling *******
 */

.column-list {
    margin: 0;
    column-count: 2;
    column-width: 16ch;
    column-gap: 1ch;
}

@media (min-width: 667px) {
  .column-list {
    column-count: auto;
    margin: 0 auto;
    max-width: 70ch;
  }
}

.column-list div {
    padding-left: 0.25em; /* Keeps some italic descenders inside the box */
    text-align: left;
    break-inside: avoid;
}

.column-list h2 {
    font-feature-settings: "smcp" on;
    text-transform: lowercase;
    font-weight: normal;
    font-size: 1em;
    margin: 0;
}

.column-list ul {
    margin-top: 0;
    list-style-type: none;
    padding: 0;
    margin-bottom: 0.5rem;
}

/* ******* (Mobile first) Keyword Index styling *******
 */

#keywordindex {
    column-width: 7rem;
    margin-top: ◊x-lineheight[2];
}

#keywordindex section {
    -webkit-column-break-inside: avoid; /* Chrome, Safari, Opera */
    page-break-inside: avoid; /* Firefox */
    break-inside: avoid; /* IE 10+ */
}

#keywordindex h2 {
    margin: 0;
}

#keywordindex ul {
    margin-top: 0;
    list-style-type: none;
    padding: 0;
}

#keywordindex ul ul {
    margin-left: 0.5em;
    font-size: smaller;
}

/* Footer ***** */

footer#main {
  text-align: left;
  font-size: 0.8rem;
  line-height: 1rem;
  width: 90%;
  margin: 0 auto;
  flex-shrink: 0;
}

@media (min-width: 667px) {
  footer#main {
    text-align: center;
    width: calc(100% - 4vw);
    padding: 0 2vw 1rem 2vw;
    background: linear-gradient(◊color-background 5%, #dedede 100%);
  }
}

footer#main p.title {
  font-size: 1rem;
  font-feature-settings: "smcp" on;
  text-transform: lowercase;
  margin-top: ◊x-lineheight[2];
  margin-bottom: ◊x-lineheight[0.5];
}

footer#main nav {
  font-feature-settings: "smcp" on;
  text-transform: lowercase;
}

footer#main nav code {
  font-size: 0.6rem;
}
  

/* End of mobile-first typography and layout */


/* Here’s where we start getting funky for any viewport wider than mobile portrait.
   An iPhone 6 is 667px wide in landscape mode, so that’s our breakpoint. */

@media (min-width: 667px) {
    main {
        margin: 0 auto;
        padding-left: 1rem;
        padding-right: 1rem;
        width: 30rem;
        max-width: 90%;
    }

    main nav li { display: inline; } /* Display page numbers on larger screens */

    @supports (grid-area: auto) {
        main { 
            width: 42rem;
            background: none;
        }

        header img.logo {
            height: ◊x-lineheight[3];
            max-height: 103px;
            width: auto;
        }

        /* This header is display:none above, so the following is vestigial */
        main header h1 {
            grid-area: masthead;
            margin: 0;
            line-height: 1em;
        }
        
        article {
            display: grid;
            grid-template-columns: 8rem 7fr 1fr;
            grid-template-rows: auto auto auto;
            grid-template-areas: 
               "corner title title"
               "margin main rightmargin";
            align-items: start;     /* Puts everything at the top */
            margin-bottom: 0;
            grid-column-gap: 1rem;
            box-shadow: 0.4em 0.4em 10px #e3e3e3;
            background: white;
            border: solid 1px #dedede;
            border-radius: 2px;
        }
        
        article>h1 {
            grid-area: margin;
            font-size: 1.1rem;
            text-align: right;
        }

        article>h1.entry-title {
            grid-area: title;
            font-size: ◊x-lineheight[1];
            text-align: left;
            padding-right: 0;
            margin-bottom: 0.9rem;

        }

        p.time {
            grid-area: corner;
            text-align: right;
            font-size: 1.1rem;
            line-height: 1.7rem;
        }

        footer.article-info {
            padding-top: 0.2rem;
            grid-area: margin;
            text-align: right;
            font-size: 0.8rem;
            line-height: ◊derive-lineheight[4 #:per-lines 3];
            margin: 0;
            padding-left: 3px;
        }

        article.no-title footer.article-info {
            margin-top: 1.5rem;
            padding-top: 0;
        }

        .scm-links {
            float: none;
            grid-area: rightmargin;
            height: 100%;
        }

        article.with-title .scm-links { 
            grid-area: title;
        }

        .scm-links a:hover {
            color: #2176ff;
            background: none;
        }
        
        section.entry-content {
            grid-area: main;
            /* Prevent content from overriding grid column sizing */
            /* See https://css-tricks.com/preventing-a-grid-blowout/ */
            min-width: 0;
        }

        section.entry-content > :first-child {
            margin-top: 0 !important;
        }

        article>:last-child::after {
            content: none;
            margin 0;
            display: none;
        }

        section.entry-content::after {
            content: '\f88d';
            color: ◊color-bodytext;
            font-size: ◊x-lineheight[1];
            line-height: ◊x-lineheight[1];
            text-align: center;
            display: block;
            margin: ◊x-lineheight[1] 0;
        }

        section.entry-content figure {
            display: grid;
            width: calc(112.5% + 8rem);
            margin-left: -8rem;
            grid-template-columns: 7rem 1fr;
            grid-column-gap: 1rem;
            grid-template-areas: "margin main";
        }

        section.entry-content figure img {
            grid-area: main;
        }
        section.entry-content figure figcaption {
            grid-area: margin;
            text-align: right;
            align-self: end;
        }

        /* ******* (Grid support) “Further Notes” added to articles *******
         */

        div.further-notes>h2 {
            width: calc(100% + 8rem);
            margin-left: -8rem;
        }

        div.note h3 {
        }

        /* ******* (Grid support) Journal View styling *******
         */

        section.content-block {
            display: grid;
            grid-template-columns: 8rem 7fr 1fr;
            grid-template-rows: auto auto auto;
            grid-template-areas: "margin main .";
            align-items: start;     /* Puts everything at the top */
            margin-bottom: 0;
            grid-column-gap: 1rem;
            box-shadow: 0.4em 0.4em 10px #e3e3e3;
            background: white;
            border: solid 1px #dedede;
            border-radius: 2px;
        }
        div.content-block-main {
            padding-top: ◊x-lineheight[1];
            padding-bottom: ◊x-lineheight[1];
            grid-area: main;
        }

        div.content-block-main > :first-child {
            margin-top: 0 !important;
        }
    }
}

@media print {
    html { font-size: 13pt; }
    body { background: white; color: black; }
    main { width: 100%; }
    footer.article-info { color: black; }
    article, section.content-block {
        box-shadow: none;
        border: none;
        }
    a:link, a:visited, a:hover, a:active {
        color: black;
        border-bottom: dotted 1px black;
    }
    footer#main { display: none; }
}