index.css 7.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. /*-----------------------------------------------------------------------------
  6. | Table of Contents
  7. |----------------------------------------------------------------------------*/
  8. .jp-TableOfContents-content {
  9. flex: 1 1 auto;
  10. margin: 0;
  11. padding: 0;
  12. list-style-type: none;
  13. overflow: auto;
  14. background-color: var(--jp-layout-color1);
  15. }
  16. .jp-TableOfContents-content li {
  17. display: flex;
  18. flex-direction: row;
  19. padding: 4px 12px;
  20. -webkit-user-select: none;
  21. -moz-user-select: none;
  22. -ms-user-select: none;
  23. user-select: none;
  24. cursor: pointer;
  25. padding-top: 8px;
  26. padding-bottom: 8px;
  27. }
  28. .jp-TableOfContents-content li:hover {
  29. background: var(--jp-layout-color2);
  30. }
  31. .jp-TableOfContents {
  32. display: flex;
  33. flex-direction: column;
  34. background: var(--jp-layout-color1);
  35. color: var(--jp-ui-font-color1);
  36. font-size: var(--jp-ui-font-size0);
  37. height: 100%;
  38. }
  39. .jp-TableOfContents header {
  40. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  41. flex: 0 0 auto;
  42. font-size: var(--jp-ui-font-size0);
  43. font-weight: 600;
  44. letter-spacing: 1px;
  45. margin: 0px;
  46. padding: 12px 0 4px 12px;
  47. text-transform: uppercase;
  48. }
  49. .jp-TableOfContents-codeContainer {
  50. overflow: hidden;
  51. }
  52. .jp-TableOfContents-code {
  53. font-size: 9px;
  54. max-height: 70px;
  55. }
  56. .cm-toc .CodeMirror {
  57. font-size: 9px;
  58. z-index: 0;
  59. border: var(--jp-border-width) solid var(--jp-cell-editor-border-color);
  60. border-radius: 0px;
  61. background: var(--jp-cell-editor-background);
  62. max-width: 100%;
  63. max-height: 36px;
  64. }
  65. .toc-code-span {
  66. width: 100%;
  67. max-width: 100%;
  68. overflow: hidden;
  69. }
  70. .cm-toc .CodeMirror-scroll {
  71. overflow: hidden !important;
  72. }
  73. .CodeMirror-scroll::-webkit-scrollbar-track {
  74. background-color: transparent;
  75. }
  76. .toc-toolbar-icon,
  77. .toc-toolbar-icon-selected {
  78. float: left;
  79. padding: 0px;
  80. margin: 4px;
  81. display: flex;
  82. justify-content: center;
  83. align-items: center;
  84. background-repeat: no-repeat;
  85. background-color: none;
  86. background-size: 100%;
  87. background-position: center;
  88. height: 24px;
  89. width: 24px;
  90. margin: 4px;
  91. border-radius: 2px;
  92. }
  93. [data-jp-theme-light='true'] .toc-toolbar-icon:hover {
  94. background-color: var(--jp-input-background);
  95. }
  96. [data-jp-theme-light='false'] .toc-toolbar-icon:hover {
  97. background-color: #3a3a3a;
  98. }
  99. [data-jp-theme-light='true'] .toc-toolbar-icon-selected {
  100. background-color: var(--jp-layout-color2);
  101. }
  102. [data-jp-theme-light='false'] .toc-toolbar-icon-selected {
  103. background-color: #565656;
  104. }
  105. .toc-code-cell-prompt {
  106. flex: 0 0 27px;
  107. color: var(--jp-cell-prompt-not-active-font-color);
  108. opacity: var(--jp-cell-prompt-not-active-opacity);
  109. font-family: var(--jp-cell-prompt-font-family);
  110. padding: var(--jp-code-padding);
  111. padding-right: 0px;
  112. padding-left: 0px;
  113. letter-spacing: var(--jp-cell-prompt-letter-spacing);
  114. line-height: var(--jp-code-line-height);
  115. font-size: 8px;
  116. border: var(--jp-border-width) solid transparent;
  117. text-align: left;
  118. white-space: nowrap;
  119. overflow: hidden;
  120. text-overflow: ellipsis;
  121. -webkit-user-select: none;
  122. -moz-user-select: none;
  123. -ms-user-select: none;
  124. user-select: none;
  125. }
  126. .toc-toolbar {
  127. position: relative;
  128. width: 100%;
  129. margin: 0px;
  130. user-select: none;
  131. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  132. height: 36px;
  133. display: flex;
  134. align-items: center;
  135. }
  136. .toc-code-cell-div {
  137. display: inline-flex;
  138. width: 100%;
  139. }
  140. .toc-entry-holder {
  141. display: inline-flex;
  142. position: relative;
  143. align-items: center;
  144. width: 100%;
  145. }
  146. .toc-twist-placeholder {
  147. max-width: 10px;
  148. opacity: 0;
  149. overflow: hidden;
  150. }
  151. .cm-toc-plain-span {
  152. width: 100%;
  153. white-space: pre-wrap;
  154. display: block;
  155. }
  156. .cm-toc-plain-textarea {
  157. font-size: 9px;
  158. z-index: 0;
  159. border: var(--jp-border-width) solid var(--jp-cell-editor-border-color2);
  160. border-radius: 0px;
  161. background: var(--jp-cell-editor-background);
  162. width: calc(100% - 9px);
  163. overflow: hidden;
  164. max-height: 74px;
  165. resize: none;
  166. font-family: var(--jp-code-font-family);
  167. outline: none;
  168. user-select: none;
  169. white-space: pre;
  170. padding: var(--jp-code-padding);
  171. }
  172. .cm-toc .CodeMirror-sizer {
  173. min-width: 0px !important;
  174. min-height: 0px !important;
  175. margin-bottom: 0px !important;
  176. }
  177. .cm-toc .CodeMirror-line {
  178. white-space: pre-wrap;
  179. cursor: pointer;
  180. }
  181. .cm-toc .CodeMirror-lines {
  182. cursor: pointer;
  183. }
  184. .toc-tag-dropdown {
  185. display: flex;
  186. width: 100%;
  187. }
  188. .toc-tag-dropdown-button {
  189. margin-left: auto;
  190. }
  191. .toc-tags-container {
  192. padding: 4px;
  193. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  194. }
  195. .toc-clear-button {
  196. font-size: 12px;
  197. color: var(--jp-ui-font-color1);
  198. padding-left: 15px;
  199. /* padding-top: 7px; */
  200. user-select: none;
  201. float: right;
  202. }
  203. .toc-clear-button:hover {
  204. font-size: 12px;
  205. color: var(--jp-ui-font-color2);
  206. padding-left: 15px;
  207. /* padding-top: 7px; */
  208. user-select: none;
  209. }
  210. .toc-filter-button {
  211. background-color: var(--jp-layout-color1);
  212. border: solid 1px var(--jp-layout-color4);
  213. border-radius: 3px;
  214. width: fit-content;
  215. padding: 5px;
  216. padding-left: 6px;
  217. padding-right: 6px;
  218. margin-right: 17px;
  219. color: var(--jp-layout-color5);
  220. float: right;
  221. font-size: 12px;
  222. user-select: none;
  223. margin-bottom: 13px;
  224. }
  225. .toc-filter-button:hover {
  226. background-color: var(--jp-layout-color4);
  227. border: solid 1px var(--jp-layout-color4);
  228. color: var(--jp-layout-color1);
  229. }
  230. .toc-filter-button-na {
  231. background-color: var(--jp-layout-color1);
  232. border: solid 1px var(--jp-ui-font-color3);
  233. border-radius: 3px;
  234. width: fit-content;
  235. padding: 5px;
  236. padding-left: 6px;
  237. padding-right: 6px;
  238. margin-right: 17px;
  239. color: var(--jp-ui-font-color3);
  240. float: right;
  241. font-size: 12px;
  242. user-select: none;
  243. margin-bottom: 13px;
  244. }
  245. .toc-no-tags-div {
  246. font-size: 12px;
  247. padding: 3px;
  248. padding-bottom: 6px;
  249. margin: auto;
  250. color: var(--jp-layout-color4);
  251. }
  252. .toc-tags-container {
  253. width: 100%;
  254. }
  255. .jp-TableOfContents-content code {
  256. font-size: inherit;
  257. }
  258. .toc-cell-item {
  259. padding-left: 10px;
  260. }
  261. /* styles for tags */
  262. .toc-tag-label {
  263. font-size: 11px;
  264. max-width: 100%;
  265. text-overflow: ellipsis;
  266. display: inline-block;
  267. overflow: hidden;
  268. box-sizing: border-box;
  269. padding-top: 0px;
  270. margin-top: -1px;
  271. margin-bottom: 0px;
  272. user-select: none;
  273. }
  274. .toc-tag {
  275. box-sizing: border-box;
  276. height: 24px;
  277. border-radius: 20px;
  278. padding: 10px;
  279. padding-bottom: 4px;
  280. padding-top: 5px;
  281. margin: 3px;
  282. width: fit-content;
  283. max-width: calc(100% - 25px);
  284. }
  285. .toc-selected-tag {
  286. color: white;
  287. background-color: #2196f3;
  288. outline: none;
  289. }
  290. .toc-unselected-tag {
  291. background-color: var(--jp-layout-color2);
  292. outline: none;
  293. }
  294. .toc-tag-holder {
  295. display: flex;
  296. flex-wrap: wrap;
  297. height: fit-content;
  298. padding-bottom: 6px;
  299. padding-right: 20px;
  300. padding-left: 9px;
  301. padding-top: 6px;
  302. }
  303. /* Font level sizes */
  304. .toc-level-size-1 {
  305. font-size: 16.89px;
  306. }
  307. .toc-level-size-2 {
  308. font-size: 14.82px;
  309. }
  310. .toc-level-size-3 {
  311. font-size: 13px;
  312. }
  313. .toc-level-size-4 {
  314. font-size: 11.4px;
  315. }
  316. .toc-level-size-5 {
  317. font-size: 10px;
  318. }
  319. .toc-level-size-6 {
  320. font-size: 9px;
  321. }
  322. .toc-level-size-default {
  323. font-size: 9px;
  324. }