toolbar.css 1.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) 2014-2016, Jupyter Development Team.
  3. |
  4. | Distributed under the terms of the Modified BSD License.
  5. |----------------------------------------------------------------------------*/
  6. :root {
  7. --jp-private-toolbar-height: 24px;
  8. }
  9. .jp-Toolbar {
  10. color: var(--jp-ui-font-color1);
  11. flex: 0 0 auto;
  12. display: flex;
  13. flex-direction: row;
  14. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  15. height: 24px;
  16. height: calc(var(--jp-private-toolbar-height) + var(--jp-border-width));
  17. }
  18. .jp-Toolbar > .jp-Toolbar-item {
  19. flex: 0 0 auto;
  20. padding-left: 8px;
  21. padding-right: 8px;
  22. vertical-align: middle;
  23. font-size: 14px;
  24. line-height: 23px;
  25. }
  26. .jp-Toolbar-item.jp-Toolbar-button {
  27. font-family: FontAwesome;
  28. text-align: center;
  29. display: inline-block;
  30. height: 24px;
  31. width: 32px;
  32. background-repeat: no-repeat;
  33. background-position: center;
  34. background-size: 16px;
  35. }
  36. .jp-Toolbar-button.jp-mod-pressed {
  37. background-color: #E0E0E0;
  38. box-shadow: inset 0 0px 1px rgba(0, 0, 0, 0.5);
  39. }
  40. .jp-Toolbar-button:hover {
  41. background-color: #EEEEEE;
  42. box-shadow: inset 0 0px 1px rgba(0, 0, 0, 0.5);
  43. }
  44. .jp-Toolbar > .jp-Toolbar-item.jp-Kernel-toolbarKernelName {
  45. text-align: right;
  46. flex-grow: 1;
  47. flex-shrink: 1;
  48. font-size: var(--jp-ui-font-size1);
  49. }
  50. .jp-Toolbar-item.jp-Kernel-toolbarKernelIndicator {
  51. font-family: FontAwesome;
  52. text-align: center;
  53. display: inline-block;
  54. }
  55. .jp-Toolbar-item.jp-Kernel-toolbarKernelIndicator {
  56. border-right: none;
  57. }
  58. .jp-Kernel-toolbarInterrupt::before {
  59. content: "\f04d"; /* stop */
  60. }
  61. .jp-Kernel-toolbarRestart::before {
  62. content: "\f01e"; /* rotate-right */
  63. }
  64. .jp-Kernel-toolbarKernelIndicator::before {
  65. content: "\f10c"; /* circle-o */
  66. }
  67. .jp-Kernel-toolbarKernelIndicator.jp-mod-busy::before {
  68. content: "\f111"; /* circle */
  69. }