Differences From Artifact [2a8d5a40]:
- File web-extra/martin.css.pp — part of check-in [de9f1215] at 2018-09-19 19:04:38 on branch trunk — Add support for Notes, closing [ce23bb4086]. The old dates.rkt is now dust.rkt: helper functions for use everywhere. Functions returning HTML strings have html$ prefix. (user: joel, size: 19908) [annotate] [blame] [check-ins using]
To Artifact [f7b7564a]:
- File web-extra/martin.css.pp — part of check-in [4fec6778] at 2018-09-22 19:42:04 on branch trunk — Add space between multiple notes in an article. Hide byline for notes by the site proprietor. (user: joel, size: 20043) [annotate] [blame] [check-ins using]
| ︙ | ︙ | |||
472 473 474 475 476 477 478 479 480 481 482 483 484 485 |
}
div.note-meta {
margin-top: ◊x-lineheight[1];
font-feature-settings: "smcp" on;
color: #888;
}
span.disposition-mark {
color: ◊color-xrefmark;
display: inline-block;
width: 1em;
}
| > > > > > > > > | 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 |
}
div.note-meta {
margin-top: ◊x-lineheight[1];
font-feature-settings: "smcp" on;
color: #888;
}
.by-proprietor .note-meta {
display: none;
}
div.note + div.note {
margin-top: ◊x-lineheight[2];
}
span.disposition-mark {
color: ◊color-xrefmark;
display: inline-block;
width: 1em;
}
|
| ︙ | ︙ |