Hack: Remove badge since RTD injects one.
Add .mfrac{color:#404040} so that fraction divider color matches.
Merge branch 'master' of github.com:dit/dit
add more notation, describe more about gk