Board Thread:Support Requests - Getting Technical/@comment-45310000-20200413025233/@comment-27958705-20200414223613

actually, one can change border style. by tricky, dependent on the current color scheme way: sure, one can use just 1 div, but the result will be worse, than with 2.
 * 1) wrap the toc by 2 divs
 * 2) inner div: set mix-blend-mode to hard-light (color-dependent part)
 * 3) outer div: set desired border style