Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Removed a now-unused CSS class. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | line-number-selection |
| Files: | files | file ages | folders |
| SHA3-256: |
1cb792fd1978a54036d574192b9ef71b |
| User & Date: | stephan 2020-08-16 08:13:58.110 |
Context
|
2020-08-16
| ||
| 13:39 | Improvements to line-numbered text output. ... (check-in: b699040d70 user: drh tags: trunk) | |
| 08:13 | Removed a now-unused CSS class. ... (Closed-Leaf check-in: 1cb792fd19 user: stephan tags: line-number-selection) | |
| 05:10 | Several padding tweaks to ensure proper line/code alignment in all of the skins. ... (check-in: e0e5449aa4 user: stephan tags: line-number-selection) | |
Changes
Changes to src/default.css.
| ︙ | ︙ | |||
1231 1232 1233 1234 1235 1236 1237 |
table.numbered-lines td.file-content > pre > code > * {
/* Defense against syntax highlighters indirectly messing up these
properties... */
line-height: inherit;
font-size: inherit;
font-family: inherit;
}
| < | 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 |
table.numbered-lines td.file-content > pre > code > * {
/* Defense against syntax highlighters indirectly messing up these
properties... */
line-height: inherit;
font-size: inherit;
font-family: inherit;
}
table.numbered-lines td.line-numbers span.selected-line/*replacement*/ {
font-weight: bold;
color: blue;
background-color: #d5d5ff;
border: 1px blue solid;
border-top-width: 0;
border-bottom-width: 0;
|
| ︙ | ︙ |