◊(Local Yarn Code "Check-in [fc861d47]")

Overview
Comment:Change styles for in-article note headings
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: fc861d47ecdd2dfc8b752a53b0e0a5da8cad47d7341095f6dabc1925281bea53
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
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

489





490
491
492
493
494
495
496
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-style: italic;
        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
713
714
715
716
717
718
719
720
721
722
723
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 {
            float: left;
            margin-left: -8rem;
            width: 7rem;
            text-align: right;
        }

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

        section.article-listing {
            display: grid;