Index: snippets-html.rkt
==================================================================
--- snippets-html.rkt
+++ snippets-html.rkt
@@ -50,11 +50,11 @@
})
(define (html$-page-body-open)
◊string-append{
- 
+ 
The Local Yarn
})
(define (html$-article-open title? title-tx published)
(cond
ADDED web-extra/mark.svg
Index: web-extra/mark.svg
==================================================================
--- web-extra/mark.svg
+++ web-extra/mark.svg
cannot compute difference between binary files
Index: web-extra/martin.css.pp
==================================================================
--- web-extra/martin.css.pp
+++ web-extra/martin.css.pp
@@ -121,38 +121,35 @@
background: white;
margin: 0;
padding: ◊x-lineheight[0.5] ◊x-lineheight[1];
}
- main header {
+ main > a > header {
text-align: center;
}
- main header h1 {
- font-size: ◊x-lineheight[1.5];
+ 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;
+ transition: color 0.25s ease; */
}
img.logo {
- filter: grayscale(60%);
+ height: ◊x-lineheight[3];
+ filter: none;
transition: filter 0.5s ease;
}
header:hover img.logo {
- filter: none;
- transition: filter 0.1s ease;
- }
-
- main header:hover h1 {
- color: ◊color-linkhover;
- transition: color 0.1s ease;
+ 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.
@@ -189,16 +186,20 @@
/* On mobile, an 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 to
show the date in italics. */
article>h1 {
font-size: ◊x-lineheight[1];
line-height: ◊x-lineheight[1];
@@ -578,11 +579,11 @@
/* 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 only screen and (min-width: 667px) {
main {
- margin: 2em auto;
+ margin: 0 auto;
padding-left: 1rem;
padding-right: 1rem;
width: 30rem;
max-width: 90%;
}
@@ -591,29 +592,17 @@
main {
width: 42rem;
background: none;
}
- main header {
- display: grid;
- grid-template-columns: 9rem 12fr 1fr;
- grid-column-gap: 0;
- grid-template-areas: "logo masthead .";
- align-items: center;
- text-align: left;
- margin-bottom: ◊x-lineheight[2];
- }
-
header img.logo {
- grid-area: logo;
height: ◊x-lineheight[3];
max-height: 103px;
width: auto;
- justify-self: end;
- margin-right: 1rem;
}
+ /* This header is display:none above, so the following is vestigial */
main header h1 {
grid-area: masthead;
margin: 0;
line-height: 1em;
}