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