Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Shrink the line number column just a tick. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | line-number-selection |
| Files: | files | file ages | folders |
| SHA3-256: |
e5f79f4fa5fc15cfd10dcf71f3cc3e76 |
| User & Date: | stephan 2020-08-15 10:14:47.621 |
Context
|
2020-08-15
| ||
| 23:30 | Renamed TooltipWidget to PopupWidget because's it's not *quite* a tooltip and we're soon going to need something closer to a genuine tooltip. Minor adjacent cleanups and code consolidation. ... (check-in: 3998ccef44 user: stephan tags: line-number-selection) | |
| 10:14 | Shrink the line number column just a tick. ... (check-in: e5f79f4fa5 user: stephan tags: line-number-selection) | |
| 09:58 | Some CSS consolidation and got the horizontal scrollbars working on unusually wide code files. ... (check-in: 3d49b73f40 user: stephan tags: line-number-selection) | |
Changes
Changes to src/default.css.
| ︙ | ︙ | |||
1173 1174 1175 1176 1177 1178 1179 |
line-height: inherit;
white-space: inherit;
margin: 0;
vertical-align: top;
padding: 1em 0 0 0 /*prevents slight overlap at top */;
}
table.numbered-lines td.line-numbers {
| | | 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 |
line-height: inherit;
white-space: inherit;
margin: 0;
vertical-align: top;
padding: 1em 0 0 0 /*prevents slight overlap at top */;
}
table.numbered-lines td.line-numbers {
width: 4.5em;
}
table.numbered-lines td.line-numbers > span {
display: block;
margin: 0;
padding: 0;
line-height: inherit;
font-size: inherit;
|
| ︙ | ︙ |