Replace bookmark highlights with margin markers
11 files changed, 847 lines changed. Relative change size 3 of 5.
Every change to the thesis, and its reader interface.
183 commits across 20 days, newest first. Full history
2 commits
2 commits
5 commits
6 commits
2 commits