base.css 8.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441
  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 {
  29. display: flex;
  30. flex-direction: column;
  31. background: var(--jp-layout-color1);
  32. color: var(--jp-ui-font-color1);
  33. font-size: var(--jp-ui-font-size1);
  34. height: 100%;
  35. }
  36. .jp-TableOfContents .jp-stack-panel-header {
  37. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  38. flex: 0 0 auto;
  39. font-size: var(--jp-ui-font-size0);
  40. font-weight: 600;
  41. letter-spacing: 1px;
  42. margin: 0px;
  43. padding: 8px 12px;
  44. text-transform: uppercase;
  45. }
  46. .jp-TableOfContents-codeContainer {
  47. overflow: hidden;
  48. }
  49. .jp-TableOfContents-code {
  50. font-size: 9px;
  51. max-height: 70px;
  52. }
  53. .cm-toc .CodeMirror {
  54. font-size: 9px;
  55. z-index: 0;
  56. border: var(--jp-border-width) solid var(--jp-cell-editor-border-color);
  57. border-radius: 0px;
  58. background: var(--jp-cell-editor-background);
  59. max-width: 100%;
  60. max-height: 36px;
  61. }
  62. .toc-code-span {
  63. width: 100%;
  64. max-width: 100%;
  65. overflow: hidden;
  66. }
  67. .cm-toc .CodeMirror-scroll {
  68. overflow: hidden !important;
  69. }
  70. .CodeMirror-scroll::-webkit-scrollbar-track {
  71. background-color: transparent;
  72. }
  73. .toc-toolbar-icon,
  74. .toc-toolbar-icon-selected {
  75. float: left;
  76. padding: 0px;
  77. margin: 4px;
  78. display: flex;
  79. justify-content: center;
  80. align-items: center;
  81. background-repeat: no-repeat;
  82. background-color: none;
  83. background-size: 100%;
  84. background-position: center;
  85. height: 24px;
  86. width: 24px;
  87. margin: 4px;
  88. border-radius: 2px;
  89. }
  90. [data-jp-theme-light='true'] .toc-toolbar-icon:hover {
  91. background-color: var(--jp-input-background);
  92. }
  93. [data-jp-theme-light='false'] .toc-toolbar-icon:hover {
  94. background-color: #3a3a3a;
  95. }
  96. [data-jp-theme-light='true'] .toc-toolbar-icon-selected {
  97. background-color: var(--jp-layout-color2);
  98. }
  99. [data-jp-theme-light='false'] .toc-toolbar-icon-selected {
  100. background-color: #565656;
  101. }
  102. .toc-code-cell-prompt {
  103. flex: 0 0 27px;
  104. color: var(--jp-cell-prompt-not-active-font-color);
  105. opacity: var(--jp-cell-prompt-not-active-opacity);
  106. font-family: var(--jp-cell-prompt-font-family);
  107. padding: var(--jp-code-padding);
  108. padding-right: 0px;
  109. padding-left: 0px;
  110. letter-spacing: var(--jp-cell-prompt-letter-spacing);
  111. line-height: var(--jp-code-line-height);
  112. font-size: 8px;
  113. border: var(--jp-border-width) solid transparent;
  114. text-align: left;
  115. white-space: nowrap;
  116. overflow: hidden;
  117. text-overflow: ellipsis;
  118. -webkit-user-select: none;
  119. -moz-user-select: none;
  120. -ms-user-select: none;
  121. user-select: none;
  122. }
  123. .toc-toolbar {
  124. position: relative;
  125. width: 100%;
  126. margin: 0px;
  127. user-select: none;
  128. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  129. height: 36px;
  130. display: flex;
  131. align-items: center;
  132. }
  133. .toc-code-cell-div {
  134. display: inline-flex;
  135. width: 100%;
  136. }
  137. .toc-entry-holder {
  138. width: 100%;
  139. display: flex;
  140. flex-direction: row;
  141. padding: 0px;
  142. margin: 0px;
  143. overflow: visible;
  144. }
  145. .toc-Collapser-child {
  146. display: block;
  147. width: 100%;
  148. box-sizing: border-box;
  149. position: absolute;
  150. top: 0px;
  151. bottom: 0px;
  152. }
  153. .toc-entry-holder:hover .toc-Collapser-child {
  154. box-shadow: var(--jp-elevation-z2);
  155. background: var(--jp-brand-color1);
  156. opacity: var(--jp-cell-collapser-not-active-hover-opacity);
  157. }
  158. .toc-active-cell .toc-Collapser-child {
  159. background: var(--jp-brand-color1);
  160. }
  161. .toc-active-cell .toc-Collapser-child:hover {
  162. background: var(--jp-brand-color0);
  163. opacity: 1;
  164. }
  165. .toc-active-cell:hover .toc-Collapser-child {
  166. background: var(--jp-brand-color0);
  167. opacity: 1;
  168. }
  169. .toc-Collapser-child {
  170. background: transparent;
  171. }
  172. .toc-Collapser-child:hover {
  173. box-shadow: var(--jp-elevation-z2);
  174. background: var(--jp-brand-color1);
  175. opacity: var(--jp-cell-collapser-not-active-hover-opacity);
  176. }
  177. .toc-twist-placeholder {
  178. max-width: 10px;
  179. opacity: 0;
  180. overflow: hidden;
  181. }
  182. .cm-toc-plain-span {
  183. width: 100%;
  184. white-space: pre-wrap;
  185. display: block;
  186. }
  187. .cm-toc-plain-textarea {
  188. font-size: 9px;
  189. z-index: 0;
  190. border: var(--jp-border-width) solid var(--jp-cell-editor-border-color2);
  191. border-radius: 0px;
  192. background: var(--jp-cell-editor-background);
  193. width: calc(100% - 9px);
  194. overflow: hidden;
  195. max-height: 74px;
  196. resize: none;
  197. font-family: var(--jp-code-font-family);
  198. outline: none;
  199. user-select: none;
  200. white-space: pre;
  201. padding: var(--jp-code-padding);
  202. }
  203. .cm-toc .CodeMirror-sizer {
  204. min-width: 0px !important;
  205. min-height: 0px !important;
  206. margin-bottom: 0px !important;
  207. }
  208. .cm-toc .CodeMirror-line {
  209. white-space: pre-wrap;
  210. cursor: pointer;
  211. }
  212. .cm-toc .CodeMirror-lines {
  213. cursor: pointer;
  214. }
  215. .toc-tag-dropdown {
  216. display: flex;
  217. width: 100%;
  218. }
  219. .toc-tag-dropdown-button {
  220. margin-left: auto;
  221. }
  222. .toc-tags-container {
  223. padding: 4px;
  224. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  225. }
  226. .toc-clear-button {
  227. font-size: 12px;
  228. color: var(--jp-ui-font-color1);
  229. padding-left: 15px;
  230. user-select: none;
  231. float: right;
  232. }
  233. .toc-clear-button:hover {
  234. font-size: 12px;
  235. color: var(--jp-ui-font-color2);
  236. padding-left: 15px;
  237. user-select: none;
  238. }
  239. .toc-filter-button {
  240. background-color: var(--jp-layout-color1);
  241. border: solid 1px var(--jp-layout-color4);
  242. border-radius: 3px;
  243. width: fit-content;
  244. padding: 5px;
  245. padding-left: 6px;
  246. padding-right: 6px;
  247. margin-right: 17px;
  248. color: var(--jp-layout-color5);
  249. float: right;
  250. font-size: 12px;
  251. user-select: none;
  252. margin-bottom: 13px;
  253. }
  254. .toc-filter-button:hover {
  255. background-color: var(--jp-layout-color4);
  256. border: solid 1px var(--jp-layout-color4);
  257. color: var(--jp-layout-color1);
  258. }
  259. .toc-filter-button-na {
  260. background-color: var(--jp-layout-color1);
  261. border: solid 1px var(--jp-ui-font-color3);
  262. border-radius: 3px;
  263. width: fit-content;
  264. padding: 5px;
  265. padding-left: 6px;
  266. padding-right: 6px;
  267. margin-right: 17px;
  268. color: var(--jp-ui-font-color3);
  269. float: right;
  270. font-size: 12px;
  271. user-select: none;
  272. margin-bottom: 13px;
  273. }
  274. .toc-no-tags-div {
  275. font-size: 12px;
  276. padding: 3px;
  277. padding-bottom: 6px;
  278. margin: auto;
  279. color: var(--jp-layout-color4);
  280. }
  281. .toc-tags-container {
  282. width: 100%;
  283. }
  284. .jp-TableOfContents-content code {
  285. font-size: inherit;
  286. }
  287. .toc-cell-item {
  288. padding-left: 10px;
  289. font-size: var(--jp-ui-font-size1);
  290. /* Push ellipse button and execution indicator to right */
  291. margin-right: auto;
  292. }
  293. /* styles for tags */
  294. .toc-tag-label {
  295. font-size: 11px;
  296. max-width: 100%;
  297. text-overflow: ellipsis;
  298. display: inline-block;
  299. overflow: hidden;
  300. box-sizing: border-box;
  301. padding-top: 0px;
  302. margin-top: -1px;
  303. margin-bottom: 0px;
  304. user-select: none;
  305. }
  306. .toc-tag {
  307. box-sizing: border-box;
  308. height: 24px;
  309. border-radius: 20px;
  310. padding: 10px;
  311. padding-bottom: 4px;
  312. padding-top: 5px;
  313. margin: 3px;
  314. width: fit-content;
  315. max-width: calc(100% - 25px);
  316. }
  317. .toc-selected-tag {
  318. color: white;
  319. background-color: #2196f3;
  320. outline: none;
  321. }
  322. .toc-unselected-tag {
  323. background-color: var(--jp-layout-color2);
  324. outline: none;
  325. }
  326. .toc-tag-holder {
  327. display: flex;
  328. flex-wrap: wrap;
  329. height: fit-content;
  330. padding-bottom: 6px;
  331. padding-right: 20px;
  332. padding-left: 9px;
  333. padding-top: 6px;
  334. }
  335. .toc-Ellipses {
  336. box-sizing: border-box;
  337. height: 16px;
  338. }
  339. .toc-Ellipses:hover {
  340. border: var(--jp-border-width) solid var(--jp-border-color1);
  341. box-shadow: 0px 0px 2px 0px rgba(0, 0, 0, 0.25);
  342. background-color: var(--jp-layout-color0);
  343. }
  344. /*
  345. * Execution indicator
  346. */
  347. .toc-entry-holder::after {
  348. content: '';
  349. /* Must be identical to form a circle */
  350. width: 12px;
  351. height: 12px;
  352. margin: 2px;
  353. background: none;
  354. border: none;
  355. }
  356. .toc-entry-holder[data-running='0']::after {
  357. border-radius: 50%;
  358. border: var(--jp-border-width) solid var(--jp-inverse-layout-color3);
  359. background: none;
  360. }
  361. .toc-entry-holder[data-running='1']::after {
  362. border-radius: 50%;
  363. border: var(--jp-border-width) solid var(--jp-inverse-layout-color3);
  364. background-color: var(--jp-inverse-layout-color3);
  365. }
  366. /*
  367. * Indentation levels
  368. */
  369. .toc-level-size-2 {
  370. margin-left: 16px;
  371. }
  372. .toc-level-size-3 {
  373. margin-left: 36px;
  374. }
  375. .toc-level-size-4 {
  376. margin-left: 56px;
  377. }
  378. .toc-level-size-5 {
  379. margin-left: 76px;
  380. }