begriffs open source - cmsis/blob - v6.0.0/Zone/navtree.css

   1 #nav-tree .children_ul {
   2   margin:0;
   3   padding:4px;
   4 }
   5
   6 #nav-tree ul {
   7   list-style:none outside none;
   8   margin:0px;
   9   padding:0px;
  10 }
  11
  12 #nav-tree li {
  13   white-space:nowrap;
  14   margin:0px;
  15   padding:0px;
  16 }
  17
  18 #nav-tree .plus {
  19   margin:0px;
  20 }
  21
  22 #nav-tree .selected {
  23   background-image: url('tab_a.png');
  24   background-repeat:repeat-x;
  25   color: var(--nav-text-active-color);
  26   text-shadow: var(--nav-text-active-shadow);
  27 }
  28
  29 #nav-tree .selected .arrow {
  30   color: var(--nav-arrow-selected-color);
  31   text-shadow: none;
  32 }
  33
  34 #nav-tree img {
  35   margin:0px;
  36   padding:0px;
  37   border:0px;
  38   vertical-align: middle;
  39 }
  40
  41 #nav-tree a {
  42   text-decoration:none;
  43   padding:0px;
  44   margin:0px;
  45   outline:none;
  46 }
  47
  48 #nav-tree .label {
  49   margin:0px;
  50   padding:0px;
  51   font: 12px var(--font-family-nav);
  52 }
  53
  54 #nav-tree .label a {
  55   padding:2px;
  56 }
  57
  58 #nav-tree .selected a {
  59   text-decoration:none;
  60   color:var(--nav-text-active-color);
  61 }
  62
  63 #nav-tree .children_ul {
  64   margin:0px;
  65   padding:0px;
  66 }
  67
  68 #nav-tree .item {
  69   margin:0px;
  70   padding:0px;
  71 }
  72
  73 #nav-tree {
  74   padding: 0px 0px;
  75   font-size:14px;
  76   overflow:auto;
  77 }
  78
  79 #doc-content {
  80   overflow:auto;
  81   display:block;
  82   padding:0px;
  83   margin:0px;
  84   -webkit-overflow-scrolling : touch; /* iOS 5+ */
  85 }
  86
  87 #side-nav {
  88   padding:0 6px 0 0;
  89   margin: 0px;
  90   display:block;
  91   position: absolute;
  92   left: 0px;
  93   width: $width;
  94   overflow : hidden;
  95 }
  96
  97 .ui-resizable .ui-resizable-handle {
  98   display:block;
  99 }
 100
 101 .ui-resizable-e {
 102   background-image:var(--nav-splitbar-image);
 103   background-size:100%;
 104   background-repeat:repeat-y;
 105   background-attachment: scroll;
 106   cursor:ew-resize;
 107   height:100%;
 108   right:0;
 109   top:0;
 110   width:6px;
 111 }
 112
 113 .ui-resizable-handle {
 114   display:none;
 115   font-size:0.1px;
 116   position:absolute;
 117   z-index:1;
 118 }
 119
 120 #nav-tree-contents {
 121   margin: 6px 0px 0px 0px;
 122 }
 123
 124 #nav-tree {
 125   background-repeat:repeat-x;
 126   background-color: var(--nav-background-color);
 127   -webkit-overflow-scrolling : touch; /* iOS 5+ */
 128 }
 129
 130 #nav-sync {
 131   position:absolute;
 132   top:5px;
 133   right:24px;
 134   z-index:0;
 135 }
 136
 137 #nav-sync img {
 138   opacity:0.3;
 139 }
 140
 141 #nav-sync img:hover {
 142   opacity:0.9;
 143 }
 144
 145 @media print
 146 {
 147   #nav-tree { display: none; }
 148   div.ui-resizable-handle { display: none; position: relative; }
 149 }
 150