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 { |
︙ | ︙ |