2 --arm_light_blue: #00C1DE;
5 --arm_dark_blue: #002B49;
6 --arm_light_gray: #E5ECEB;
7 --arm_light_gray1: #EFF5F4;
8 --arm_light_gray2: #EBEBEB;
9 --arm_light_gray3: #F7F7F7;
10 --arm_dark_gray: #7D868C;
12 --arm_orange: #FF6B00;
16 list-style:none outside none;
32 background-image: none;
33 background-repeat:no-repeat;
35 border: 1.5px solid var(--arm_blue);
36 border-left-width: 5px;
37 margin-left:-10px; /*correction to place selection border on the edge screen edge */
44 vertical-align: middle;
48 color: var(--nav-text-normal-color);
59 font: 15px Lato, Calibri, sans-serif;
62 #nav-tree .label:hover {
63 color: var(--arm_orange);
71 #nav-tree .selected a {
75 /*correction for the larger box border on the left (10px-5px) */
76 #nav-tree .selected .arrow {
80 #nav-tree .children_ul {
87 padding-left: 10px; /*correction to add space before the first arrow in nav-tree */
96 -webkit-overflow-scrolling : touch; /* iOS 5+ */
108 .ui-resizable .ui-resizable-handle {
113 background-color: var(--nav-splitbar-color);
114 background-repeat:repeat-y;
115 background-attachment: scroll;
123 .ui-resizable-handle {
131 margin: 6px 0px 0px 0px;
136 -webkit-overflow-scrolling : touch; /* iOS 5+ */
151 #nav-sync img:hover {
156 color: var(--arm_orange);
161 #nav-tree { display: none; }
162 div.ui-resizable-handle { display: none; position: relative; }