Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
2 check-ins using file src/default.css version e65248aef0
|
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) | |