Terminal Guide

(used by other terminals)

Set: 4:5
Reset: 24
other

other ( )

mintty: "Underline Dashed" https://github.com/mintty/mintty/wiki/Tips#text-attributes-and-rendering