icons.css 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. /**
  6. * Support for icons as inline SVG HTMLElements
  7. */
  8. /* recolor the primary elements of an icon */
  9. .jp-icon0[fill] {
  10. fill: var(--jp-inverse-layout-color0);
  11. }
  12. .jp-icon1[fill] {
  13. fill: var(--jp-inverse-layout-color1);
  14. }
  15. .jp-icon2[fill] {
  16. fill: var(--jp-inverse-layout-color2);
  17. }
  18. .jp-icon3[fill] {
  19. fill: var(--jp-inverse-layout-color3);
  20. }
  21. .jp-icon4[fill] {
  22. fill: var(--jp-inverse-layout-color4);
  23. }
  24. .jp-icon0[stroke] {
  25. stroke: var(--jp-inverse-layout-color0);
  26. }
  27. .jp-icon1[stroke] {
  28. stroke: var(--jp-inverse-layout-color1);
  29. }
  30. .jp-icon2[stroke] {
  31. stroke: var(--jp-inverse-layout-color2);
  32. }
  33. .jp-icon3[stroke] {
  34. stroke: var(--jp-inverse-layout-color3);
  35. }
  36. .jp-icon4[stroke] {
  37. stroke: var(--jp-inverse-layout-color4);
  38. }
  39. /* recolor the accent elements of an icon */
  40. .jp-icon-accent0[fill] {
  41. fill: var(--jp-layout-color0);
  42. }
  43. .jp-icon-accent1[fill] {
  44. fill: var(--jp-layout-color1);
  45. }
  46. .jp-icon-accent2[fill] {
  47. fill: var(--jp-layout-color2);
  48. }
  49. .jp-icon-accent3[fill] {
  50. fill: var(--jp-layout-color3);
  51. }
  52. .jp-icon-accent4[fill] {
  53. fill: var(--jp-layout-color4);
  54. }
  55. .jp-icon-accent0[stroke] {
  56. stroke: var(--jp-layout-color0);
  57. }
  58. .jp-icon-accent1[stroke] {
  59. stroke: var(--jp-layout-color1);
  60. }
  61. .jp-icon-accent2[stroke] {
  62. stroke: var(--jp-layout-color2);
  63. }
  64. .jp-icon-accent3[stroke] {
  65. stroke: var(--jp-layout-color3);
  66. }
  67. .jp-icon-accent4[stroke] {
  68. stroke: var(--jp-layout-color4);
  69. }
  70. /* set the color of an icon to transparent */
  71. .jp-icon-none[fill] {
  72. fill: none;
  73. }
  74. .jp-icon-none[stroke] {
  75. stroke: none;
  76. }
  77. /* brand icon colors. Same for light and dark */
  78. .jp-icon-brand0[fill] {
  79. fill: var(--jp-brand-color0);
  80. }
  81. .jp-icon-brand1[fill] {
  82. fill: var(--jp-brand-color1);
  83. }
  84. .jp-icon-brand2[fill] {
  85. fill: var(--jp-brand-color2);
  86. }
  87. .jp-icon-brand3[fill] {
  88. fill: var(--jp-brand-color3);
  89. }
  90. .jp-icon-brand4[fill] {
  91. fill: var(--jp-brand-color4);
  92. }
  93. .jp-icon-brand0[stroke] {
  94. stroke: var(--jp-brand-color0);
  95. }
  96. .jp-icon-brand1[stroke] {
  97. stroke: var(--jp-brand-color1);
  98. }
  99. .jp-icon-brand2[stroke] {
  100. stroke: var(--jp-brand-color2);
  101. }
  102. .jp-icon-brand3[stroke] {
  103. stroke: var(--jp-brand-color3);
  104. }
  105. .jp-icon-brand4[stroke] {
  106. stroke: var(--jp-brand-color4);
  107. }
  108. /* warn icon colors. Same for light and dark */
  109. .jp-icon-warn0[fill] {
  110. fill: var(--jp-warn-color0);
  111. }
  112. .jp-icon-warn1[fill] {
  113. fill: var(--jp-warn-color1);
  114. }
  115. .jp-icon-warn2[fill] {
  116. fill: var(--jp-warn-color2);
  117. }
  118. .jp-icon-warn3[fill] {
  119. fill: var(--jp-warn-color3);
  120. }
  121. .jp-icon-warn0[stroke] {
  122. stroke: var(--jp-warn-color0);
  123. }
  124. .jp-icon-warn1[stroke] {
  125. stroke: var(--jp-warn-color1);
  126. }
  127. .jp-icon-warn2[stroke] {
  128. stroke: var(--jp-warn-color2);
  129. }
  130. .jp-icon-warn3[stroke] {
  131. stroke: var(--jp-warn-color3);
  132. }
  133. /* icon colors that contrast well with each other and most backgrounds */
  134. .jp-icon-contrast0[fill] {
  135. fill: var(--jp-icon-contrast-color0);
  136. }
  137. .jp-icon-contrast1[fill] {
  138. fill: var(--jp-icon-contrast-color1);
  139. }
  140. .jp-icon-contrast2[fill] {
  141. fill: var(--jp-icon-contrast-color2);
  142. }
  143. .jp-icon-contrast3[fill] {
  144. fill: var(--jp-icon-contrast-color3);
  145. }
  146. .jp-icon-contrast0[stroke] {
  147. stroke: var(--jp-icon-contrast-color0);
  148. }
  149. .jp-icon-contrast1[stroke] {
  150. stroke: var(--jp-icon-contrast-color1);
  151. }
  152. .jp-icon-contrast2[stroke] {
  153. stroke: var(--jp-icon-contrast-color2);
  154. }
  155. .jp-icon-contrast3[stroke] {
  156. stroke: var(--jp-icon-contrast-color3);
  157. }
  158. /* CSS for icons in selected items in the settings editor */
  159. #setting-editor .jp-PluginList .jp-mod-selected .jp-icon-selectable[fill] {
  160. fill: #fff;
  161. }
  162. #setting-editor
  163. .jp-PluginList
  164. .jp-mod-selected
  165. .jp-icon-selectable-inverse[fill] {
  166. fill: var(--jp-brand-color1);
  167. }
  168. /* CSS for icons in selected filebrowser listing items */
  169. .jp-DirListing-item.jp-mod-selected .jp-icon-selectable[fill] {
  170. fill: #fff;
  171. }
  172. .jp-DirListing-item.jp-mod-selected .jp-icon-selectable-inverse[fill] {
  173. fill: var(--jp-brand-color1);
  174. }
  175. /* CSS for icons in selected tabs in the sidebar tab manager */
  176. #tab-manager .lm-TabBar-tab.jp-mod-active .jp-icon-selectable[fill] {
  177. fill: #fff;
  178. }
  179. #tab-manager .lm-TabBar-tab.jp-mod-active .jp-icon-selectable-inverse[fill] {
  180. fill: var(--jp-brand-color1);
  181. }
  182. #tab-manager
  183. .lm-TabBar-tab.jp-mod-active
  184. .jp-icon-hover
  185. :hover
  186. .jp-icon-selectable[fill] {
  187. fill: var(--jp-brand-color1);
  188. }
  189. #tab-manager
  190. .lm-TabBar-tab.jp-mod-active
  191. .jp-icon-hover
  192. :hover
  193. .jp-icon-selectable-inverse[fill] {
  194. fill: #fff;
  195. }
  196. /**
  197. * TODO: come up with non css-hack solution for showing the busy icon on top
  198. * of the close icon
  199. * CSS for complex behavior of close icon of tabs in the sidebar tab manager
  200. */
  201. #tab-manager
  202. .lm-TabBar-tab.jp-mod-dirty
  203. > .lm-TabBar-tabCloseIcon
  204. > :not(:hover)
  205. > .jp-icon3[fill] {
  206. fill: none;
  207. }
  208. #tab-manager
  209. .lm-TabBar-tab.jp-mod-dirty
  210. > .lm-TabBar-tabCloseIcon
  211. > :not(:hover)
  212. > .jp-icon-busy[fill] {
  213. fill: var(--jp-inverse-layout-color3);
  214. }
  215. #tab-manager
  216. .lm-TabBar-tab.jp-mod-dirty.jp-mod-active
  217. > .lm-TabBar-tabCloseIcon
  218. > :not(:hover)
  219. > .jp-icon-busy[fill] {
  220. fill: #fff;
  221. }
  222. /**
  223. * TODO: come up with non css-hack solution for showing the busy icon on top
  224. * of the close icon
  225. * CSS for complex behavior of close icon of tabs in the main area tabbar
  226. */
  227. .lm-DockPanel-tabBar
  228. .lm-TabBar-tab.lm-mod-closable.jp-mod-dirty
  229. > .lm-TabBar-tabCloseIcon
  230. > :not(:hover)
  231. > .jp-icon3[fill] {
  232. fill: none;
  233. }
  234. .lm-DockPanel-tabBar
  235. .lm-TabBar-tab.lm-mod-closable.jp-mod-dirty
  236. > .lm-TabBar-tabCloseIcon
  237. > :not(:hover)
  238. > .jp-icon-busy[fill] {
  239. fill: var(--jp-inverse-layout-color3);
  240. }
  241. /* CSS for icons in status bar */
  242. #jp-main-statusbar .jp-mod-selected .jp-icon-selectable[fill] {
  243. fill: #fff;
  244. }
  245. #jp-main-statusbar .jp-mod-selected .jp-icon-selectable-inverse[fill] {
  246. fill: var(--jp-brand-color1);
  247. }
  248. /* special handling for splash icon CSS. While the theme CSS reloads during
  249. splash, the splash icon can loose theming. To prevent that, we set a
  250. default for its color variable */
  251. :root {
  252. --jp-warn-color0: var(--md-orange-700);
  253. }
  254. /* not sure what to do with this one, used in filebrowser listing */
  255. .jp-DragIcon {
  256. margin-right: 4px;
  257. }