Use box-style for multiline doc highlights#1712

Merged

rchl merged 5 commits intomainfrom feat/refine-highlights

Jun 4, 2021

+37-35

Commits on Jun 1, 2021

Use box-style for multiline doc highlights
rwols
committed

Commits on Jun 2, 2021

review comments
rwols
committed
ordering
rwols
committed

Commits on Jun 3, 2021

review comments
rwols
committed

Commits on Jun 4, 2021

Merge branch 'main' into feat/refine-highlights
rchl
authored