Overview
Comment: | Change styles for in-article note headings |
---|---|
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA3-256: |
fc861d47ecdd2dfc8b752a53b0e0a5da |
User & Date: | joel on 2019-03-16 20:43:18 |
Other Links: | manifest | tags |
Context
2019-03-16
| ||
20:44 | Clarify poly-branch macro names (resolves [fbbb5ed9]) check-in: 6b60dccb user: joel tags: trunk | |
20:43 | Change styles for in-article note headings check-in: fc861d47 user: joel tags: trunk | |
2019-03-15
| ||
02:49 | More CSS changes and fixes check-in: 08919132 user: joel tags: trunk | |
Changes
Modified web-extra/martin.css.pp from [d69cc842] to [cea56616].
︙ | ︙ | |||
253 254 255 256 257 258 259 260 261 262 263 264 265 266 | font-style: normal; color: #809102; } a.rel-bookmark.note-permlink::after { content: '\f897'; margin-left: 4px; } a.rel-bookmark:hover::after { color: #aaba16; } a.cross-reference:link, a.cross-reference:visited { | > > > > > > > > > > > | 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 | 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 { |
︙ | ︙ | |||
482 483 484 485 486 487 488 | text-transform: lowercase; } div.note h3 { margin-top: 0; font-size: 1rem; font-weight: normal; | > | > > > > | 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 | 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; } |
︙ | ︙ | |||
706 707 708 709 710 711 712 | div.further-notes>h2 { width: calc(100% + 8rem); margin-left: -8rem; } div.note h3 { | < < < < | 722 723 724 725 726 727 728 729 730 731 732 733 734 735 | div.further-notes>h2 { width: calc(100% + 8rem); margin-left: -8rem; } div.note h3 { } /* ******* (Grid support) Journal View styling ******* */ section.article-listing { display: grid; |
︙ | ︙ |