themes.json 4.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155
  1. {
  2. "title": "Theme",
  3. "jupyter.lab.setting-icon-label": "Theme Manager",
  4. "jupyter.lab.menus": {
  5. "main": [
  6. {
  7. "id": "jp-mainmenu-settings",
  8. "items": [
  9. {
  10. "type": "submenu",
  11. "submenu": {
  12. "id": "jp-mainmenu-settings-apputilstheme",
  13. "label": "Theme",
  14. "items": [
  15. { "type": "separator" },
  16. {
  17. "command": "apputils:adaptive-theme"
  18. },
  19. { "type": "separator" },
  20. {
  21. "command": "apputils:theme-scrollbars"
  22. },
  23. { "type": "separator" },
  24. {
  25. "command": "apputils:incr-font-size",
  26. "args": {
  27. "key": "code-font-size"
  28. }
  29. },
  30. {
  31. "command": "apputils:decr-font-size",
  32. "args": {
  33. "key": "code-font-size"
  34. }
  35. },
  36. { "type": "separator" },
  37. {
  38. "command": "apputils:incr-font-size",
  39. "args": {
  40. "key": "content-font-size1"
  41. }
  42. },
  43. {
  44. "command": "apputils:decr-font-size",
  45. "args": {
  46. "key": "content-font-size1"
  47. }
  48. },
  49. { "type": "separator" },
  50. {
  51. "command": "apputils:incr-font-size",
  52. "args": {
  53. "key": "ui-font-size1"
  54. }
  55. },
  56. {
  57. "command": "apputils:decr-font-size",
  58. "args": {
  59. "key": "ui-font-size1"
  60. }
  61. }
  62. ]
  63. },
  64. "rank": 0
  65. }
  66. ]
  67. }
  68. ]
  69. },
  70. "description": "Theme manager settings.",
  71. "type": "object",
  72. "additionalProperties": false,
  73. "definitions": {
  74. "cssOverrides": {
  75. "type": "object",
  76. "additionalProperties": false,
  77. "description": "CSS override properties for theming",
  78. "properties": {
  79. "code-font-family": {
  80. "type": ["string", "null"],
  81. "description": "Font family used for code"
  82. },
  83. "code-font-size": {
  84. "type": ["string", "null"],
  85. "description": "Font size used for code"
  86. },
  87. "content-font-family": {
  88. "type": ["string", "null"],
  89. "description": "Font family used for content"
  90. },
  91. "content-font-size1": {
  92. "type": ["string", "null"],
  93. "description": "Font size used for content"
  94. },
  95. "ui-font-family": {
  96. "type": ["string", "null"],
  97. "description": "Font family used for the UI"
  98. },
  99. "ui-font-size1": {
  100. "type": ["string", "null"],
  101. "description": "Font size used for the UI"
  102. }
  103. }
  104. }
  105. },
  106. "properties": {
  107. "theme": {
  108. "type": "string",
  109. "title": "Selected Theme",
  110. "description": "Application-level visual styling theme. Ignored when Adaptive Theme is enabled.",
  111. "default": "JupyterLab Light"
  112. },
  113. "adaptive-theme": {
  114. "type": "boolean",
  115. "title": "Adaptive Theme",
  116. "description": "Synchronize visual styling theme with system settings",
  117. "default": false
  118. },
  119. "preferred-light-theme": {
  120. "type": "string",
  121. "title": "Preferred Light Theme",
  122. "description": "Application-level light visual styling theme. Ignored when Adaptive Theme is disabled.",
  123. "default": "JupyterLab Light"
  124. },
  125. "preferred-dark-theme": {
  126. "type": "string",
  127. "title": "Preferred Dark Theme",
  128. "description": "Application-level dark visual styling theme. Ignored when Adaptive Theme is disabled.",
  129. "default": "JupyterLab Dark"
  130. },
  131. "theme-scrollbars": {
  132. "type": "boolean",
  133. "title": "Scrollbar Theming",
  134. "description": "Enable/disable styling of the application scrollbars",
  135. "default": false
  136. },
  137. "overrides": {
  138. "title": "Theme CSS Overrides",
  139. "description": "Override theme CSS variables by setting key-value pairs here",
  140. "$ref": "#/definitions/cssOverrides",
  141. "default": {
  142. "code-font-family": null,
  143. "code-font-size": null,
  144. "content-font-family": null,
  145. "content-font-size1": null,
  146. "ui-font-family": null,
  147. "ui-font-size1": null
  148. }
  149. }
  150. }
  151. }