Fix: no box around inline odoc styles#971

Merged

gpetiot merged 3 commits intoocaml-ppx:masterfrom gpetiot:fix-inline-odoc

Aug 19, 2019

+33-9

Commits on Aug 18, 2019

Commits on Aug 19, 2019

same for references
gpetiot
committed