added 80% gray mixin and changed color of delete indication in TOC for diff mode
Merge pull request #494 from jehlers/master

added 80% gray mixin and changed color of delete indication in TOC for diffs
fix merge conflict in .min.css