Overview
| Comment: | More CSS changes and fixes | 
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk | 
| Files: | files | file ages | folders | 
| SHA3-256: | 
089191325a837a2fe97550974c3343e6 | 
| User & Date: | joel on 2019-03-15 02:49:32 | 
| Other Links: | manifest | tags | 
Context
| 
   2019-03-16 
 | ||
| 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 | |
| 
   2019-03-13 
 | ||
| 02:49 | Don’t include disposition marks in article footers check-in: b8391481 user: joel tags: trunk | |
Changes
Modified web-extra/martin.css.pp from [f9d06d1a] to [d69cc842].
| ︙ | |||
38 39 40 41 42 43 44  | 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70  | - + - + - - - + + + + - - - - + + + - - + +  | 
@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. */
 | 
| ︙ | |||
203 204 205 206 207 208 209  | 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219  | - + - - -  | 
        font-size: ◊x-lineheight[1];
        line-height: ◊x-lineheight[1];
        margin: 0 0 ◊x-lineheight[1] 0;
        font-style: italic;
        font-weight: normal;
    }
 | 
| ︙ | |||
394 395 396 397 398 399 400 401 402 403 404 405 406 407  | 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409  | + + + + +  | 
    pre code {
        border: 0;
        background: none;
        font-style: italic;
        font-size: 0.75rem;
    }
    pre.code {
        border: dotted #aaa 2px;
        padding-left: 0.2em;
    }
    pre.verse {
        font-family: ◊body-font;
        font-size: 1rem;
        line-height: ◊x-lineheight[1];
        width: auto;
        margin: ◊x-lineheight[1] auto;
 | 
| ︙ | |||
652 653 654 655 656 657 658 659 660 661 662 663 664 665  | 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670  | + + +  | 
        article.no-title footer.article-info {
            padding-top: 1.5rem;
        }
        
        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 {
 | 
| ︙ |