index.css 3.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157
  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((10 * var(--jp-private-completer-item-height)) + (2 * var(--jp-border-width)));
  23. min-height: calc(var(--jp-private-completer-item-height) + (2 * var(--jp-border-width)));
  24. z-index: 10001;
  25. }
  26. .jp-Completer-item {
  27. display: table-row;
  28. box-sizing: border-box;
  29. margin: 0;
  30. padding: 0;
  31. height: var(--jp-private-completer-item-height);
  32. min-width: 150px;
  33. }
  34. .jp-Completer-item .jp-Completer-match {
  35. display: table-cell;
  36. box-sizing: border-box;
  37. margin: 0;
  38. padding: 0 8px 0 6px;
  39. height: var(--jp-private-completer-item-height);
  40. font-family: var(--jp-code-font-family);
  41. font-size: var(--jp-code-font-size);
  42. line-height: var(--jp-private-completer-item-height);
  43. }
  44. .jp-Completer-item .jp-Completer-type {
  45. display: table-cell;
  46. box-sizing: border-box;
  47. height: var(--jp-private-completer-item-height);
  48. text-align: center;
  49. background: transparent;
  50. color: white;
  51. width: var(--jp-private-completer-item-height);
  52. font-family: var(--jp-ui-font-family);
  53. font-size: var(--jp-ui-font-size1);
  54. line-height: calc( var(--jp-private-completer-item-height) - var(--jp-private-completer-type-offset) );
  55. padding-bottom: var(--jp-private-completer-type-offset);
  56. }
  57. .jp-Completer-item .jp-Completer-typeExtended {
  58. display: table-cell;
  59. box-sizing: border-box;
  60. height: var(--jp-private-completer-item-height);
  61. text-align: right;
  62. background: transparent;
  63. color: var(--jp-ui-font-color2);
  64. font-family: var(--jp-code-font-family);
  65. font-size: var(--jp-code-font-size);
  66. line-height: var(--jp-private-completer-item-height);
  67. padding-right: 8px;
  68. }
  69. .jp-Completer-item:hover {
  70. background: var(--jp-layout-color2);
  71. opacity: 0.8;
  72. }
  73. .jp-Completer-item.jp-mod-active {
  74. background: var(--jp-brand-color3);
  75. opacity: 0.8;
  76. }
  77. .jp-Completer-item .jp-Completer-match mark {
  78. font-weight: bold;
  79. background: inherit;
  80. color: inherit;
  81. }
  82. .jp-Completer-type[data-color-index='0'] {
  83. background: transparent;
  84. }
  85. .jp-Completer-type[data-color-index='1'] {
  86. background: #1f77b4;
  87. }
  88. .jp-Completer-type[data-color-index='2'] {
  89. background: #ff7f0e;
  90. }
  91. .jp-Completer-type[data-color-index='3'] {
  92. background: #2ca02c;
  93. }
  94. .jp-Completer-type[data-color-index='4'] {
  95. background: #d62728;
  96. }
  97. .jp-Completer-type[data-color-index='5'] {
  98. background: #9467bd;
  99. }
  100. .jp-Completer-type[data-color-index='6'] {
  101. background: #8c564b;
  102. }
  103. .jp-Completer-type[data-color-index='7'] {
  104. background: #e377c2;
  105. }
  106. .jp-Completer-type[data-color-index='8'] {
  107. background: #7f7f7f;
  108. }
  109. .jp-Completer-type[data-color-index='9'] {
  110. background: #bcbd22;
  111. }
  112. .jp-Completer-type[data-color-index='10'] {
  113. background: #17becf;
  114. }