Rework of border styles in navigator to affect outset/indent effect on selection. Taking programmati control of the border allows me to effectively convey selected vs. not selected menu items. By convention the selected item and its parents are indented. All other visible menu items are outset. Mouse over inverts the polarity except if mouseover a parent of the selected item. In this last case, the polarity of the indent/outset is not changed as selection of this parent will not change the overall "selection" state. This current version simplifies colors: there's the base background color, the selection color, the mouseover highlight color, the mouseover current selection color, and the selection proximity color. I am not able to convey the notion of "extensibility" through this color scheme. In more detail, menu items that represent arrays are, at least as used currently, extension points. Or, selection points, depending on how you're looking at it. Submenu items below an array define an "archetype" (basically an uninitialized type) and a container ownership contract implied by declaration below an "extension array". I'm working on a way to convey the difference between an "archetype" and the "selection" of an actual array element.