Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
4 check-ins using file src/default.css version 3a039bd55e
|
2020-08-15
| ||
| 08:43 | Added missing fossil.copybutton.js. ... (check-in: b646e724b7 user: stephan tags: line-number-selection) | |
| 08:29 | Optimized the mouse-based line number selection considerably, requiring far less DOM traversal. ... (check-in: 0096aa4644 user: stephan tags: line-number-selection) | |
| 08:02 | Doc improvements, minor cleanups. Made the URL-copy element's popup position less variable. Uplifted the flash-once and copy-to-clipboard code into the fossil.dom API. ... (check-in: 738bea54c0 user: stephan tags: line-number-selection) | |
| 07:41 | Implemented dynamic mouse selection of source lines and clipboard tooltip to copy the line range URL. ... (check-in: 3942eb600a user: stephan tags: line-number-selection) | |