On Mon, Oct 3, 2016 at 5:44 PM, Andy Doan <andy.doan at linaro.org> wrote: > I'll work up a dynamic version this today and throw it on another Linaro > mirror so you can compare the differences. Great! The unicode characters ▶, ▸, ▼, and ▾ might come in handy, depending on how you implement it.