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 | 
@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. */
 | | | | | > | < | | | | | | 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. */
html { font-size: 22px; } 
/* Start increasing type size dynamically at screen widths of 768px */
@media only screen and (min-width: 768px) { 
    html { font-size: 2.8vw; } 
}
/* Top out at 23px for screens up to 800px TALL */
◊; @media only screen and (min-width: 1000px) and (max-height: 800px) {
◊;    html { font-size: 26px; } /* =  2.6% of 1000px (min-width) */
◊; }
/* Top out at 28px for screens 801px-1000px TALL */
@media only screen and (min-width: 1000px) and (max-height: 920px) { 
   html { font-size: 28px; }     /* =  2.8% of 1000px (min-width) */
}
/* For screens taller than 1000 px, top out at 32px */
@media only screen and (min-width: 1178px) and (min-height: 921px) {
    html { font-size: 33px; }    /* =  2.8% of 1178px (min-width) */
}
◊; Since line height is used in so many places...
◊(define LINEHEIGHT 1.3)
◊(define lineheight (string-append (number->string LINEHEIGHT) "rem"))
◊(define (x-lineheight multiple) 
    (string-append (real->decimal-string (* LINEHEIGHT multiple) 2) "rem"))
 | 
| ︙ | ︙ | |||
| 203 204 205 206 207 208 209 | 
        font-size: ◊x-lineheight[1];
        line-height: ◊x-lineheight[1];
        margin: 0 0 ◊x-lineheight[1] 0;
        font-style: italic;
        font-weight: normal;
    }
 | | < < < | 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;
    }
    /* Titles non-bold, non-smallcaps by default. This can be overridden in document markup. */
    article>h1.entry-title {
        margin: 0 0 0 0;
        text-transform: none;
        font-style: normal;
        line-height: 1.7rem;
    }
    /* This <SPAN> class is used in titles for Notes appended to earlier articles */
    h1.entry-title .cross-reference {
 | 
| ︙ | ︙ | |||
| 394 395 396 397 398 399 400 401 402 403 404 405 406 407 | 
    pre code {
        border: 0;
        background: none;
        font-style: italic;
        font-size: 0.75rem;
    }
    pre.verse {
        font-family: ◊body-font;
        font-size: 1rem;
        line-height: ◊x-lineheight[1];
        width: auto;
        margin: ◊x-lineheight[1] auto;
 | > > > > > | 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 | 
        article.no-title footer.article-info {
            padding-top: 1.5rem;
        }
        
        section.entry-content {
            grid-area: main;
        }
        section.entry-content:first-child {
            margin-top: 0 !important;
        }
        article>:last-child::after {
 | > > > | 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 {
 | 
| ︙ | ︙ |