base.css 3.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142
  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-completer-item-height: 22px;
  8. /* Shift the baseline of the type character to align with the match text */
  9. --jp-private-completer-type-offset: 2px;
  10. }
  11. .jp-Completer {
  12. box-shadow: var(--jp-elevation-z6);
  13. background: var(--jp-layout-color1);
  14. color: var(--jp-content-font-color1);
  15. border: var(--jp-border-width) solid var(--jp-border-color1);
  16. list-style-type: none;
  17. overflow-y: scroll;
  18. overflow-x: auto;
  19. padding: 0;
  20. /* Position the completer relative to the text editor, align the '.' */
  21. margin: 4px 0 0 -30px;
  22. max-height: calc(
  23. (10 * var(--jp-private-completer-item-height)) +
  24. (2 * var(--jp-border-width))
  25. );
  26. min-height: calc(
  27. var(--jp-private-completer-item-height) + (2 * var(--jp-border-width))
  28. );
  29. z-index: 10001;
  30. }
  31. .jp-Completer-item {
  32. display: table-row;
  33. box-sizing: border-box;
  34. margin: 0;
  35. padding: 0;
  36. height: var(--jp-private-completer-item-height);
  37. min-width: 150px;
  38. }
  39. .jp-Completer-item .jp-Completer-match {
  40. display: table-cell;
  41. box-sizing: border-box;
  42. margin: 0;
  43. padding: 0 8px 0 6px;
  44. height: var(--jp-private-completer-item-height);
  45. font-family: var(--jp-code-font-family);
  46. font-size: var(--jp-code-font-size);
  47. line-height: var(--jp-private-completer-item-height);
  48. }
  49. .jp-Completer-item .jp-Completer-type {
  50. display: table-cell;
  51. box-sizing: border-box;
  52. height: var(--jp-private-completer-item-height);
  53. text-align: center;
  54. background: transparent;
  55. color: white;
  56. width: var(--jp-private-completer-item-height);
  57. font-family: var(--jp-ui-font-family);
  58. font-size: var(--jp-ui-font-size1);
  59. line-height: calc(
  60. var(--jp-private-completer-item-height) -
  61. var(--jp-private-completer-type-offset)
  62. );
  63. padding-bottom: var(--jp-private-completer-type-offset);
  64. }
  65. .jp-Completer-item .jp-Completer-typeExtended {
  66. display: table-cell;
  67. box-sizing: border-box;
  68. height: var(--jp-private-completer-item-height);
  69. text-align: right;
  70. background: transparent;
  71. color: var(--jp-ui-font-color2);
  72. font-family: var(--jp-code-font-family);
  73. font-size: var(--jp-code-font-size);
  74. line-height: var(--jp-private-completer-item-height);
  75. padding-right: 8px;
  76. }
  77. .jp-Completer-item:hover {
  78. background: var(--jp-layout-color2);
  79. opacity: 0.8;
  80. }
  81. .jp-Completer-item.jp-mod-active {
  82. background: var(--jp-brand-color1);
  83. color: white;
  84. }
  85. .jp-Completer-item .jp-Completer-match mark {
  86. font-weight: bold;
  87. background: inherit;
  88. color: inherit;
  89. }
  90. .jp-Completer-type[data-color-index='0'] {
  91. background: transparent;
  92. }
  93. .jp-Completer-type[data-color-index='1'] {
  94. background: #1f77b4;
  95. }
  96. .jp-Completer-type[data-color-index='2'] {
  97. background: #ff7f0e;
  98. }
  99. .jp-Completer-type[data-color-index='3'] {
  100. background: #2ca02c;
  101. }
  102. .jp-Completer-type[data-color-index='4'] {
  103. background: #d62728;
  104. }
  105. .jp-Completer-type[data-color-index='5'] {
  106. background: #9467bd;
  107. }
  108. .jp-Completer-type[data-color-index='6'] {
  109. background: #8c564b;
  110. }
  111. .jp-Completer-type[data-color-index='7'] {
  112. background: #e377c2;
  113. }
  114. .jp-Completer-type[data-color-index='8'] {
  115. background: #7f7f7f;
  116. }
  117. .jp-Completer-type[data-color-index='9'] {
  118. background: #bcbd22;
  119. }
  120. .jp-Completer-type[data-color-index='10'] {
  121. background: #17becf;
  122. }