index.css 7.5 KB

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