navtree.css 5.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329
  1. #nav-tree .children_ul {
  2. margin:0;
  3. padding:4px;
  4. }
  5. #nav-tree ul {
  6. list-style:none outside none;
  7. margin:0px;
  8. padding:0px;
  9. }
  10. #nav-tree li {
  11. white-space:nowrap;
  12. margin:0;
  13. padding:0;
  14. }
  15. #nav-tree .plus {
  16. margin:0px;
  17. }
  18. #nav-tree .selected {
  19. position: relative;
  20. background-color: var(--nav-menu-active-bg);
  21. border-radius: 0 6px 6px 0;
  22. /*margin-right: 5px;*/
  23. }
  24. #nav-tree img {
  25. margin:0px;
  26. padding:0px;
  27. border:0px;
  28. vertical-align: middle;
  29. float: none;
  30. max-height: 20px;
  31. }
  32. #nav-tree a {
  33. text-decoration:none;
  34. padding:0px;
  35. margin:0px;
  36. }
  37. #nav-tree .label {
  38. margin:0px;
  39. padding:0px;
  40. font: 12px var(--font-family-nav);
  41. line-height: 22px;
  42. }
  43. #nav-tree .selected a {
  44. text-decoration:none;
  45. color:var(--page-link-color);
  46. }
  47. #nav-tree .children_ul {
  48. margin:0px;
  49. padding:0px;
  50. }
  51. #nav-tree .item {
  52. margin: 0 6px 0 -5px;
  53. padding: 0 0 0 5px;
  54. }
  55. #nav-tree {
  56. padding: 0px 0px;
  57. font-size:14px;
  58. overflow:auto;
  59. }
  60. #doc-content {
  61. overflow:auto;
  62. display:block;
  63. padding:0px;
  64. margin:0px;
  65. -webkit-overflow-scrolling : touch; /* iOS 5+ */
  66. }
  67. #side-nav {
  68. padding:0 6px 0 0;
  69. margin: 0px;
  70. display:block;
  71. position: absolute;
  72. left: 0px;
  73. overflow : hidden;
  74. }
  75. .ui-resizable .ui-resizable-handle {
  76. display:block;
  77. }
  78. .ui-resizable-e {
  79. transition: opacity 0.5s ease;
  80. background-color: var(--nav-splitbar-bg-color);
  81. opacity:0;
  82. cursor:col-resize;
  83. height:100%;
  84. right:0;
  85. top:0;
  86. width:6px;
  87. position: relative;
  88. }
  89. .ui-resizable-e:after {
  90. content: '';
  91. display: block;
  92. top: 50%;
  93. left: 1px;
  94. width: 2px;
  95. height: 15px;
  96. border-left: 1px solid var(--nav-splitbar-handle-color);
  97. border-right: 1px solid var(--nav-splitbar-handle-color);
  98. position: absolute;
  99. }
  100. .ui-resizable-e:hover {
  101. opacity: 1;
  102. }
  103. .ui-resizable-handle {
  104. display:none;
  105. font-size:0.1px;
  106. position:absolute;
  107. z-index:1;
  108. }
  109. #nav-tree-contents {
  110. margin: 6px 0px 0px 0px;
  111. }
  112. #nav-tree {
  113. background-color: var(--nav-background-color);
  114. -webkit-overflow-scrolling : touch; /* iOS 5+ */
  115. scrollbar-width: thin;
  116. border-right: 1px solid var(--nav-border-color);
  117. padding-left: 5px;
  118. }
  119. #nav-sync {
  120. position:absolute;
  121. top:0px;
  122. right:0px;
  123. z-index:1;
  124. }
  125. #nav-sync img {
  126. opacity:0.3;
  127. }
  128. div.nav-sync-icon {
  129. position: relative;
  130. width: 24px;
  131. height: 17px;
  132. left: -6px;
  133. top: -1px;
  134. opacity: 0.7;
  135. display: inline-block;
  136. background-color: var(--sync-icon-background-color);
  137. border: 1px solid var(--sync-icon-border-color);
  138. box-sizing: content-box;
  139. }
  140. div.nav-sync-icon:hover {
  141. background-color: var(--sync-icon-selected-background-color);
  142. opacity: 1.0;
  143. }
  144. div.nav-sync-icon.active:after {
  145. content: '';
  146. background-color: var(--sync-icon-background-color);
  147. border-top: 2px solid var(--sync-icon-color);
  148. position: absolute;
  149. width: 16px;
  150. height: 0px;
  151. top: 7px;
  152. left: 4px;
  153. }
  154. div.nav-sync-icon.active:hover:after {
  155. border-top: 2px solid var(--sync-icon-selected-color);
  156. }
  157. span.sync-icon-left {
  158. position: absolute;
  159. padding: 0;
  160. margin: 0;
  161. top: 3px;
  162. left: 4px;
  163. display: inline-block;
  164. width: 8px;
  165. height: 8px;
  166. border-left: 2px solid var(--sync-icon-color);
  167. border-top: 2px solid var(--sync-icon-color);
  168. transform: rotate(-45deg);
  169. }
  170. span.sync-icon-right {
  171. position: absolute;
  172. padding: 0;
  173. margin: 0;
  174. top: 3px;
  175. left: 10px;
  176. display: inline-block;
  177. width: 8px;
  178. height: 8px;
  179. border-right: 2px solid var(--sync-icon-color);
  180. border-bottom: 2px solid var(--sync-icon-color);
  181. transform: rotate(-45deg);
  182. }
  183. div.nav-sync-icon:hover span.sync-icon-left {
  184. border-left: 2px solid var(--sync-icon-selected-color);
  185. border-top: 2px solid var(--sync-icon-selected-color);
  186. }
  187. div.nav-sync-icon:hover span.sync-icon-right {
  188. border-right: 2px solid var(--sync-icon-selected-color);
  189. border-bottom: 2px solid var(--sync-icon-selected-color);
  190. }
  191. #nav-path ul {
  192. border-top: 1px solid var(--nav-breadcrumb-separator-color);
  193. }
  194. @media print
  195. {
  196. #nav-tree { display: none; }
  197. div.ui-resizable-handle { display: none; position: relative; }
  198. }
  199. /*---------------------------*/
  200. #container {
  201. display: grid;
  202. grid-template-columns: auto auto;
  203. overflow: hidden;
  204. }
  205. #page-nav {
  206. background: var(--nav-background-color);
  207. display: block;
  208. width: 250px;
  209. box-sizing: content-box;
  210. position: relative;
  211. border-left: 1px solid var(--nav-border-color);
  212. }
  213. #page-nav img.inline {
  214. float: none;
  215. max-height: 19px;
  216. }
  217. #page-nav-tree {
  218. display: inline-block;
  219. }
  220. #page-nav-resize-handle {
  221. transition: opacity 0.5s ease;
  222. background-color: var(--nav-splitbar-bg-color);
  223. opacity:0;
  224. cursor:col-resize;
  225. height:100%;
  226. right:0;
  227. top:0;
  228. width:6px;
  229. position: relative;
  230. z-index: 1;
  231. user-select: none;
  232. }
  233. #page-nav-resize-handle:after {
  234. content: '';
  235. display: block;
  236. top: 50%;
  237. left: 1px;
  238. width: 2px;
  239. height: 15px;
  240. border-left: 1px solid var(--nav-splitbar-handle-color);
  241. border-right: 1px solid var(--nav-splitbar-handle-color);
  242. position: absolute;
  243. }
  244. #page-nav-resize-handle.dragging,
  245. #page-nav-resize-handle:hover {
  246. opacity: 1;
  247. }
  248. #page-nav-contents {
  249. padding: 0;
  250. margin: 0;
  251. display: block;
  252. top: 0;
  253. left: 0;
  254. height: 100%;
  255. width: 100%;
  256. position: absolute;
  257. overflow: auto;
  258. scrollbar-width: thin;
  259. -webkit-overflow-scrolling : touch; /* iOS 5+ */
  260. }
  261. ul.page-outline,
  262. ul.page-outline ul {
  263. text-indent: 0;
  264. list-style: none outside none;
  265. padding: 0 0 0 4px;
  266. }
  267. ul.page-outline {
  268. margin: 0 4px 4px 6px;
  269. }
  270. ul.page-outline div.item {
  271. font: 12px var(--font-family-nav);
  272. line-height: 22px;
  273. }
  274. ul.page-outline li {
  275. white-space: nowrap;
  276. }
  277. ul.page-outline li.vis {
  278. background-color: var(--nav-breadcrumb-active-bg);
  279. }
  280. #container.resizing {
  281. cursor: col-resize;
  282. user-select: none;
  283. }