Add github fork ribbon
(#2, #3, #4) - Reapply changes globally
Readd github fork button
Reapply minor visual improvements
(#5) - visualize deleted documents

Fix #5 as described in the first comment