Update theme extensibility documentation to include editor widths#6531

Merged

jasmussen merged 3 commits intomasterfrom add/theme-width-docs

May 2, 2018

+60

Commits on May 2, 2018

Update theme extensibility documentation to include editor widths
Joen Asmussen
committed
Simplify syntax a bit.
Joen Asmussen
committed
Trim whitespace
Joen Asmussen
committed