diff options
| author | Ralph Amissah <ralph.amissah@gmail.com> | 2019-07-11 11:49:07 -0400 |
|---|---|---|
| committer | Ralph Amissah <ralph.amissah@gmail.com> | 2019-10-17 19:07:20 -0400 |
| commit | e435ac40f10b059fa6f157404770f9937cdffd13 (patch) | |
| tree | ff439d0f0872563c94efd1ee12c42beb68df4238 /src/ext_depends | |
| parent | html scroll toc backmatter (url/link) fix (diff) | |
xmls, css, user-select on object-numbers & seg minitoc
- unselectable (copy & past of text)
- object-numbers
- html segments minitoc
- implemented differently across browsers
Diffstat (limited to 'src/ext_depends')
0 files changed, 0 insertions, 0 deletions