Thread:Dominoes/@comment-36971458-20191219022959/@comment-38752825-20191220142544

What I think about ClassNav is that it will put a RolesNav behind the main ClassNav

Also, speaking about ClassNav, I have found the .svg (thanks to you, Poke, for the code) and here is what it now looks: