mito-ai 0.1.54__py3-none-any.whl → 0.1.56__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (73) hide show
  1. mito_ai/_version.py +1 -1
  2. mito_ai/anthropic_client.py +7 -6
  3. mito_ai/completions/models.py +1 -1
  4. mito_ai/completions/prompt_builders/agent_execution_prompt.py +18 -50
  5. mito_ai/completions/prompt_builders/agent_smart_debug_prompt.py +77 -92
  6. mito_ai/completions/prompt_builders/agent_system_message.py +216 -270
  7. mito_ai/completions/prompt_builders/chat_prompt.py +15 -100
  8. mito_ai/completions/prompt_builders/chat_system_message.py +102 -63
  9. mito_ai/completions/prompt_builders/explain_code_prompt.py +22 -24
  10. mito_ai/completions/prompt_builders/inline_completer_prompt.py +78 -107
  11. mito_ai/completions/prompt_builders/prompt_constants.py +20 -36
  12. mito_ai/completions/prompt_builders/prompt_section_registry/__init__.py +70 -0
  13. mito_ai/completions/prompt_builders/prompt_section_registry/active_cell_code.py +15 -0
  14. mito_ai/completions/prompt_builders/prompt_section_registry/active_cell_id.py +10 -0
  15. mito_ai/completions/prompt_builders/prompt_section_registry/active_cell_output.py +20 -0
  16. mito_ai/completions/prompt_builders/prompt_section_registry/base.py +37 -0
  17. mito_ai/completions/prompt_builders/prompt_section_registry/error_traceback.py +17 -0
  18. mito_ai/completions/prompt_builders/prompt_section_registry/example.py +19 -0
  19. mito_ai/completions/prompt_builders/prompt_section_registry/files.py +17 -0
  20. mito_ai/completions/prompt_builders/prompt_section_registry/generic.py +15 -0
  21. mito_ai/completions/prompt_builders/prompt_section_registry/get_cell_output_tool_response.py +21 -0
  22. mito_ai/completions/prompt_builders/prompt_section_registry/notebook.py +19 -0
  23. mito_ai/completions/prompt_builders/prompt_section_registry/rules.py +39 -0
  24. mito_ai/completions/prompt_builders/prompt_section_registry/selected_context.py +100 -0
  25. mito_ai/completions/prompt_builders/prompt_section_registry/streamlit_app_status.py +25 -0
  26. mito_ai/completions/prompt_builders/prompt_section_registry/task.py +12 -0
  27. mito_ai/completions/prompt_builders/prompt_section_registry/variables.py +18 -0
  28. mito_ai/completions/prompt_builders/smart_debug_prompt.py +48 -63
  29. mito_ai/constants.py +0 -3
  30. mito_ai/tests/completions/test_prompt_section_registry.py +44 -0
  31. mito_ai/tests/message_history/test_message_history_utils.py +273 -340
  32. mito_ai/tests/providers/test_anthropic_client.py +7 -3
  33. mito_ai/utils/message_history_utils.py +68 -44
  34. mito_ai/utils/open_ai_utils.py +3 -0
  35. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/build_log.json +147 -102
  36. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/package.json +3 -2
  37. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/schemas/mito_ai/package.json.orig +3 -2
  38. mito_ai-0.1.54.data/data/share/jupyter/labextensions/mito_ai/static/lib_index_js.31462f8f6a76b1cefbeb.js → mito_ai-0.1.56.data/data/share/jupyter/labextensions/mito_ai/static/lib_index_js.dfd7975de75d64db80d6.js +2689 -472
  39. mito_ai-0.1.56.data/data/share/jupyter/labextensions/mito_ai/static/lib_index_js.dfd7975de75d64db80d6.js.map +1 -0
  40. mito_ai-0.1.54.data/data/share/jupyter/labextensions/mito_ai/static/remoteEntry.3f3c98eaba66bf084c66.js → mito_ai-0.1.56.data/data/share/jupyter/labextensions/mito_ai/static/remoteEntry.1e7b5cf362385f109883.js +21 -19
  41. mito_ai-0.1.56.data/data/share/jupyter/labextensions/mito_ai/static/remoteEntry.1e7b5cf362385f109883.js.map +1 -0
  42. mito_ai-0.1.54.data/data/share/jupyter/labextensions/mito_ai/static/style_index_js.5876024bb17dbd6a3ee6.js → mito_ai-0.1.56.data/data/share/jupyter/labextensions/mito_ai/static/style_index_js.f5d476ac514294615881.js +15 -7
  43. mito_ai-0.1.56.data/data/share/jupyter/labextensions/mito_ai/static/style_index_js.f5d476ac514294615881.js.map +1 -0
  44. mito_ai-0.1.56.data/data/share/jupyter/labextensions/mito_ai/themes/mito_ai/index.css +708 -0
  45. mito_ai-0.1.56.data/data/share/jupyter/labextensions/mito_ai/themes/mito_ai/index.js +0 -0
  46. {mito_ai-0.1.54.dist-info → mito_ai-0.1.56.dist-info}/METADATA +5 -1
  47. {mito_ai-0.1.54.dist-info → mito_ai-0.1.56.dist-info}/RECORD +69 -51
  48. mito_ai/completions/prompt_builders/utils.py +0 -84
  49. mito_ai-0.1.54.data/data/share/jupyter/labextensions/mito_ai/static/lib_index_js.31462f8f6a76b1cefbeb.js.map +0 -1
  50. mito_ai-0.1.54.data/data/share/jupyter/labextensions/mito_ai/static/remoteEntry.3f3c98eaba66bf084c66.js.map +0 -1
  51. mito_ai-0.1.54.data/data/share/jupyter/labextensions/mito_ai/static/style_index_js.5876024bb17dbd6a3ee6.js.map +0 -1
  52. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/etc/jupyter/jupyter_server_config.d/mito_ai.json +0 -0
  53. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/schemas/mito_ai/toolbar-buttons.json +0 -0
  54. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/node_modules_process_browser_js.4b128e94d31a81ebd209.js +0 -0
  55. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/node_modules_process_browser_js.4b128e94d31a81ebd209.js.map +0 -0
  56. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/style.js +0 -0
  57. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_aws-amplify_auth_dist_esm_providers_cognito_apis_signOut_mjs-node_module-75790d.688c25857e7b81b1740f.js +0 -0
  58. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_aws-amplify_auth_dist_esm_providers_cognito_apis_signOut_mjs-node_module-75790d.688c25857e7b81b1740f.js.map +0 -0
  59. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_aws-amplify_auth_dist_esm_providers_cognito_tokenProvider_tokenProvider_-72f1c8.a917210f057fcfe224ad.js +0 -0
  60. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_aws-amplify_auth_dist_esm_providers_cognito_tokenProvider_tokenProvider_-72f1c8.a917210f057fcfe224ad.js.map +0 -0
  61. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_aws-amplify_dist_esm_index_mjs.6bac1a8c4cc93f15f6b7.js +0 -0
  62. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_aws-amplify_dist_esm_index_mjs.6bac1a8c4cc93f15f6b7.js.map +0 -0
  63. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_aws-amplify_ui-react_dist_esm_index_mjs.4fcecd65bef9e9847609.js +0 -0
  64. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_aws-amplify_ui-react_dist_esm_index_mjs.4fcecd65bef9e9847609.js.map +0 -0
  65. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_react-dom_client_js-node_modules_aws-amplify_ui-react_dist_styles_css.b43d4249e4d3dac9ad7b.js +0 -0
  66. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_react-dom_client_js-node_modules_aws-amplify_ui-react_dist_styles_css.b43d4249e4d3dac9ad7b.js.map +0 -0
  67. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_semver_index_js.3f6754ac5116d47de76b.js +0 -0
  68. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_semver_index_js.3f6754ac5116d47de76b.js.map +0 -0
  69. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_vscode-diff_dist_index_js.ea55f1f9346638aafbcf.js +0 -0
  70. {mito_ai-0.1.54.data → mito_ai-0.1.56.data}/data/share/jupyter/labextensions/mito_ai/static/vendors-node_modules_vscode-diff_dist_index_js.ea55f1f9346638aafbcf.js.map +0 -0
  71. {mito_ai-0.1.54.dist-info → mito_ai-0.1.56.dist-info}/WHEEL +0 -0
  72. {mito_ai-0.1.54.dist-info → mito_ai-0.1.56.dist-info}/entry_points.txt +0 -0
  73. {mito_ai-0.1.54.dist-info → mito_ai-0.1.56.dist-info}/licenses/LICENSE +0 -0
@@ -0,0 +1,708 @@
1
+ /*
2
+ * Copyright (c) Saga Inc.
3
+ * Distributed under the terms of the GNU Affero General Public License v3.0 License.
4
+ */
5
+
6
+ /*-----------------------------------------------------------------------------
7
+ | Copyright (c) Jupyter Development Team.
8
+ | Distributed under the terms of the Modified BSD License.
9
+ |----------------------------------------------------------------------------*/
10
+
11
+ /*
12
+ The following CSS variables define the main, public API for styling JupyterLab.
13
+ These variables should be used by all plugins wherever possible. In other
14
+ words, plugins should not define custom colors, sizes, etc unless absolutely
15
+ necessary. This enables users to change the visual theme of JupyterLab
16
+ by changing these variables.
17
+
18
+ Many variables appear in an ordered sequence (0,1,2,3). These sequences
19
+ are designed to work well together, so for example, `--jp-border-color1` should
20
+ be used with `--jp-layout-color1`. The numbers have the following meanings:
21
+
22
+ * 0: super-primary, reserved for special emphasis
23
+ * 1: primary, most important under normal situations
24
+ * 2: secondary, next most important under normal situations
25
+ * 3: tertiary, next most important under normal situations
26
+
27
+ Throughout JupyterLab, we are mostly following principles from Google's
28
+ Material Design when selecting colors. We are not, however, following
29
+ all of MD as it is not optimized for dense, information rich UIs.
30
+ */
31
+
32
+ :root {
33
+ /* Elevation
34
+ *
35
+ * We style box-shadows using Material Design's idea of elevation. These particular numbers are taken from here:
36
+ *
37
+ * https://github.com/material-components/material-components-web
38
+ * https://material-components-web.appspot.com/elevation.html
39
+ */
40
+
41
+ /* New Mito Specific Variables */
42
+ --mito-line-number-gutter-width: 30px;
43
+
44
+
45
+ /* JupyterLab Specific Variables */
46
+
47
+ --jp-shadow-base-lightness: 0;
48
+ --jp-shadow-umbra-color: rgba(
49
+ var(--jp-shadow-base-lightness),
50
+ var(--jp-shadow-base-lightness),
51
+ var(--jp-shadow-base-lightness),
52
+ 0.2
53
+ );
54
+ --jp-shadow-penumbra-color: rgba(
55
+ var(--jp-shadow-base-lightness),
56
+ var(--jp-shadow-base-lightness),
57
+ var(--jp-shadow-base-lightness),
58
+ 0.14
59
+ );
60
+ --jp-shadow-ambient-color: rgba(
61
+ var(--jp-shadow-base-lightness),
62
+ var(--jp-shadow-base-lightness),
63
+ var(--jp-shadow-base-lightness),
64
+ 0.12
65
+ );
66
+ --jp-elevation-z0: none;
67
+ --jp-elevation-z1: 0 2px 1px -1px var(--jp-shadow-umbra-color),
68
+ 0 1px 1px 0 var(--jp-shadow-penumbra-color),
69
+ 0 1px 3px 0 var(--jp-shadow-ambient-color);
70
+ --jp-elevation-z2: 0 3px 1px -2px var(--jp-shadow-umbra-color),
71
+ 0 2px 2px 0 var(--jp-shadow-penumbra-color),
72
+ 0 1px 5px 0 var(--jp-shadow-ambient-color);
73
+ --jp-elevation-z4: 0 2px 4px -1px var(--jp-shadow-umbra-color),
74
+ 0 4px 5px 0 var(--jp-shadow-penumbra-color),
75
+ 0 1px 10px 0 var(--jp-shadow-ambient-color);
76
+ --jp-elevation-z6: 0 3px 5px -1px var(--jp-shadow-umbra-color),
77
+ 0 6px 10px 0 var(--jp-shadow-penumbra-color),
78
+ 0 1px 18px 0 var(--jp-shadow-ambient-color);
79
+ --jp-elevation-z8: 0 5px 5px -3px var(--jp-shadow-umbra-color),
80
+ 0 8px 10px 1px var(--jp-shadow-penumbra-color),
81
+ 0 3px 14px 2px var(--jp-shadow-ambient-color);
82
+ --jp-elevation-z12: 0 7px 8px -4px var(--jp-shadow-umbra-color),
83
+ 0 12px 17px 2px var(--jp-shadow-penumbra-color),
84
+ 0 5px 22px 4px var(--jp-shadow-ambient-color);
85
+ --jp-elevation-z16: 0 8px 10px -5px var(--jp-shadow-umbra-color),
86
+ 0 16px 24px 2px var(--jp-shadow-penumbra-color),
87
+ 0 6px 30px 5px var(--jp-shadow-ambient-color);
88
+ --jp-elevation-z20: 0 10px 13px -6px var(--jp-shadow-umbra-color),
89
+ 0 20px 31px 3px var(--jp-shadow-penumbra-color),
90
+ 0 8px 38px 7px var(--jp-shadow-ambient-color);
91
+ --jp-elevation-z24: 0 11px 15px -7px var(--jp-shadow-umbra-color),
92
+ 0 24px 38px 3px var(--jp-shadow-penumbra-color),
93
+ 0 9px 46px 8px var(--jp-shadow-ambient-color);
94
+
95
+ /* Borders
96
+ *
97
+ * The following variables, specify the visual styling of borders in JupyterLab.
98
+ */
99
+
100
+ --jp-border-width: 1px;
101
+ --jp-border-color0: var(--md-grey-400, #bdbdbd);
102
+ --jp-border-color1: var(--md-grey-400, #bdbdbd);
103
+ --jp-border-color2: var(--md-grey-300, #e0e0e0);
104
+ --jp-border-color3: var(--md-grey-200, #eee);
105
+ --jp-inverse-border-color: var(--md-grey-600, #757575);
106
+ --jp-border-radius: 2px;
107
+
108
+ /* shortcut buttons
109
+ *
110
+ * The following css variables are used to specify the visual
111
+ * styling of the keyboard shortcut buttons
112
+ */
113
+ --jp-shortcuts-button-background: var(--jp-brand-color3);
114
+ --jp-shortcuts-button-hover-background: var(--jp-brand-color2);
115
+
116
+ /* UI Fonts
117
+ *
118
+ * The UI font CSS variables are used for the typography all of the JupyterLab
119
+ * user interface elements that are not directly user generated content.
120
+ *
121
+ * The font sizing here is done assuming that the body font size of --jp-ui-font-size1
122
+ * is applied to a parent element. When children elements, such as headings, are sized
123
+ * in em all things will be computed relative to that body size.
124
+ */
125
+
126
+ --jp-ui-font-scale-factor: 1.2;
127
+ --jp-ui-font-size0: 0.83333em;
128
+ --jp-ui-font-size1: 13px; /* Base font size */
129
+ --jp-ui-font-size2: 1.2em;
130
+ --jp-ui-font-size3: 1.44em;
131
+ --jp-ui-font-family: system-ui, -apple-system, blinkmacsystemfont, 'Segoe UI',
132
+ helvetica, arial, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji',
133
+ 'Segoe UI Symbol';
134
+
135
+ /*
136
+ * Use these font colors against the corresponding main layout colors.
137
+ * In a light theme, these go from dark to light.
138
+ */
139
+
140
+ /* Defaults use Material Design specification */
141
+ --jp-ui-font-color0: rgba(0, 0, 0, 1);
142
+ --jp-ui-font-color1: rgba(0, 0, 0, 0.87);
143
+ --jp-ui-font-color2: rgba(0, 0, 0, 0.54);
144
+ --jp-ui-font-color3: rgba(0, 0, 0, 0.38);
145
+
146
+ /*
147
+ * Use these against the brand/accent/warn/error colors.
148
+ * These will typically go from light to darker, in both a dark and light theme.
149
+ */
150
+
151
+ --jp-ui-inverse-font-color0: rgba(255, 255, 255, 1);
152
+ --jp-ui-inverse-font-color1: rgba(255, 255, 255, 1);
153
+ --jp-ui-inverse-font-color2: rgba(255, 255, 255, 0.7);
154
+ --jp-ui-inverse-font-color3: rgba(255, 255, 255, 0.5);
155
+
156
+ /* Content Fonts
157
+ *
158
+ * Content font variables are used for typography of user generated content.
159
+ *
160
+ * The font sizing here is done assuming that the body font size of --jp-content-font-size1
161
+ * is applied to a parent element. When children elements, such as headings, are sized
162
+ * in em all things will be computed relative to that body size.
163
+ */
164
+
165
+ --jp-content-line-height: 1.6;
166
+ --jp-content-font-scale-factor: 1.2;
167
+ --jp-content-font-size0: 0.83333em;
168
+ --jp-content-font-size1: 14px; /* Base font size */
169
+ --jp-content-font-size2: 1.2em;
170
+ --jp-content-font-size3: 1.44em;
171
+ --jp-content-font-size4: 1.728em;
172
+ --jp-content-font-size5: 2.0736em;
173
+
174
+ /* This gives a magnification of about 125% in presentation mode over normal. */
175
+ --jp-content-presentation-font-size1: 17px;
176
+ --jp-content-heading-line-height: 1;
177
+ --jp-content-heading-margin-top: 1.2em;
178
+ --jp-content-heading-margin-bottom: 0.8em;
179
+ --jp-content-heading-font-weight: 500;
180
+
181
+ /* Defaults use Material Design specification */
182
+ --jp-content-font-color0: rgba(0, 0, 0, 1);
183
+ --jp-content-font-color1: rgba(0, 0, 0, 0.87);
184
+ --jp-content-font-color2: rgba(0, 0, 0, 0.54);
185
+ --jp-content-font-color3: rgba(0, 0, 0, 0.38);
186
+ --jp-content-link-color: var(--md-blue-900, #0d47a1);
187
+ --jp-content-link-visited-color: var(--md-purple-700, #7b1fa2);
188
+ --jp-content-font-family: system-ui, -apple-system, blinkmacsystemfont,
189
+ 'Segoe UI', helvetica, arial, sans-serif, 'Apple Color Emoji',
190
+ 'Segoe UI Emoji', 'Segoe UI Symbol';
191
+
192
+ /*
193
+ * Code Fonts
194
+ *
195
+ * Code font variables are used for typography of code and other monospaces content.
196
+ */
197
+
198
+ --jp-code-font-size: 13px;
199
+ --jp-code-line-height: 1.3077; /* 17px for 13px base */
200
+ --jp-code-padding: 5px; /* 5px for 13px base, codemirror highlighting needs integer px value */
201
+ --jp-code-font-family-default: menlo, consolas, 'DejaVu Sans Mono', monospace;
202
+ --jp-code-font-family: var(--jp-code-font-family-default);
203
+
204
+ /* This gives a magnification of about 125% in presentation mode over normal. */
205
+ --jp-code-presentation-font-size: 16px;
206
+
207
+ /* may need to tweak cursor width if you change font size */
208
+ --jp-code-cursor-width0: 1.4px;
209
+ --jp-code-cursor-width1: 2px;
210
+ --jp-code-cursor-width2: 4px;
211
+
212
+ /* Layout
213
+ *
214
+ * The following are the main layout colors use in JupyterLab. In a light
215
+ * theme these would go from light to dark.
216
+ */
217
+
218
+ --jp-layout-color0: white;
219
+ --jp-layout-color1: white;
220
+ --jp-layout-color2: var(--md-grey-200, #eee);
221
+ --jp-layout-color3: var(--md-grey-400, #bdbdbd);
222
+ --jp-layout-color4: var(--md-grey-600, #757575);
223
+
224
+ /* Inverse Layout
225
+ *
226
+ * The following are the inverse layout colors use in JupyterLab. In a light
227
+ * theme these would go from dark to light.
228
+ */
229
+
230
+ --jp-inverse-layout-color0: #111;
231
+ --jp-inverse-layout-color1: var(--md-grey-900, #212121);
232
+ --jp-inverse-layout-color2: var(--md-grey-800, #424242);
233
+ --jp-inverse-layout-color3: var(--md-grey-700, #616161);
234
+ --jp-inverse-layout-color4: var(--md-grey-600, #757575);
235
+
236
+ /* Brand/accent */
237
+ --jp-brand-color0: var(--purple-900);
238
+ --jp-brand-color1: var(--purple-700);
239
+ --jp-brand-color2: var(--purple-500);
240
+ --jp-brand-color3: var(--purple-300);
241
+ --jp-brand-color4: var(--purple-300);
242
+ --jp-accent-color0: var(--md-green-900, #1b5e20);
243
+ --jp-accent-color1: var(--md-green-700, #388e3c);
244
+ --jp-accent-color2: var(--md-green-300, #81c784);
245
+ --jp-accent-color3: var(--md-green-100, #c8e6c9);
246
+
247
+ /* State colors (warn, error, success, info) */
248
+
249
+ --jp-warn-color0: var(--md-orange-900, #e65100);
250
+ --jp-warn-color1: var(--md-orange-700, #f57c00);
251
+ --jp-warn-color2: var(--md-orange-300, #ffb74d);
252
+ --jp-warn-color3: var(--md-orange-100, #ffe0b2);
253
+ --jp-error-color0: var(--md-red-900, #b71c1c);
254
+ --jp-error-color1: var(--md-red-700, #d32f2f);
255
+ --jp-error-color2: var(--md-red-300, #e57373);
256
+ --jp-error-color3: var(--md-red-100, #ffcdd2);
257
+ --jp-success-color0: var(--md-green-900, #1b5e20);
258
+ --jp-success-color1: var(--md-green-700, #388e3c);
259
+ --jp-success-color2: var(--md-green-300, #81c784);
260
+ --jp-success-color3: var(--md-green-100, #c8e6c9);
261
+ --jp-info-color0: var(--md-cyan-900, #006064);
262
+ --jp-info-color1: var(--md-cyan-700, #0097a7);
263
+ --jp-info-color2: var(--md-cyan-300, #4dd0e1);
264
+ --jp-info-color3: var(--md-cyan-100, #b2ebf2);
265
+
266
+ /* Cell specific styles */
267
+
268
+ --jp-cell-padding: 5px;
269
+ --jp-cell-collapser-width: 8px;
270
+ --jp-cell-collapser-min-height: 20px;
271
+ --jp-cell-collapser-not-active-hover-opacity: 0.6;
272
+ --jp-cell-editor-background: var(--md-grey-100, #f5f5f5);
273
+ --jp-cell-editor-border-color: var(--md-grey-300, #e0e0e0);
274
+ --jp-cell-editor-box-shadow: inset 0 0 2px var(--jp-brand-color0);
275
+ --jp-cell-editor-active-background: var(--jp-layout-color0);
276
+ --jp-cell-editor-active-border-color: var(--jp-brand-color1);
277
+ --jp-cell-prompt-width: 64px;
278
+ --jp-cell-prompt-font-family: var(--jp-code-font-family-default);
279
+ --jp-cell-prompt-letter-spacing: 0;
280
+ --jp-cell-prompt-opacity: 1;
281
+ --jp-cell-prompt-not-active-opacity: 0.5;
282
+ --jp-cell-prompt-not-active-font-color: var(--md-grey-700, #616161);
283
+
284
+ --jp-cell-inprompt-font-color: var(--jp-brand-color1);
285
+
286
+ /* A custom blend of MD grey and orange 600
287
+ * https://meyerweb.com/eric/tools/color-blend/#546E7A:F4511E:5:hex */
288
+ --jp-cell-outprompt-font-color: #bf5b3d;
289
+
290
+ /* Notebook specific styles */
291
+
292
+ --jp-notebook-padding: 10px;
293
+ --jp-notebook-select-background: var(--jp-layout-color1);
294
+ --jp-notebook-multiselected-color: var(--md-blue-50, #e3f2fd);
295
+
296
+ /* The scroll padding is calculated to fill enough space at the bottom of the
297
+ notebook to show one single-line cell (with appropriate padding) at the top
298
+ when the notebook is scrolled all the way to the bottom. We also subtract one
299
+ pixel so that no scrollbar appears if we have just one single-line cell in the
300
+ notebook. This padding is to enable a 'scroll past end' feature in a notebook.
301
+ */
302
+ --jp-notebook-scroll-padding: calc(
303
+ 100% - var(--jp-code-font-size) * var(--jp-code-line-height) -
304
+ var(--jp-code-padding) - var(--jp-cell-padding) - 1px
305
+ );
306
+
307
+ /* Rendermime styles */
308
+
309
+ --jp-rendermime-error-background: #fdd;
310
+ --jp-rendermime-table-row-background: var(--md-grey-100, #cfd8dc);
311
+ --jp-rendermime-table-row-hover-background: var(--md-light-blue-50, #e1f5fe);
312
+
313
+ /* Dialog specific styles */
314
+
315
+ --jp-dialog-background: rgba(0, 0, 0, 0.25);
316
+
317
+ /* Console specific styles */
318
+
319
+ --jp-console-padding: 10px;
320
+
321
+ /* Toolbar specific styles */
322
+
323
+ --jp-toolbar-border-color: var(--jp-border-color1);
324
+ --jp-toolbar-micro-height: 8px;
325
+ --jp-toolbar-background: var(--jp-layout-color1);
326
+ --jp-toolbar-box-shadow: 0 0 2px 0 rgba(0, 0, 0, 0.24);
327
+ --jp-toolbar-header-margin: 4px 4px 0 4px;
328
+ --jp-toolbar-active-background: var(--md-grey-300, #90a4ae);
329
+
330
+ /* Statusbar specific styles */
331
+
332
+ --jp-statusbar-height: 24px;
333
+
334
+ /* Input field styles */
335
+
336
+ --jp-input-box-shadow: inset 0 0 2px var(--md-blue-300, #64b5f6);
337
+ --jp-input-active-background: var(--jp-layout-color1);
338
+ --jp-input-hover-background: var(--jp-layout-color1);
339
+ --jp-input-background: var(--md-grey-100, #f5f5f5);
340
+ --jp-input-border-color: var(--jp-inverse-border-color);
341
+ --jp-input-active-border-color: var(--jp-brand-color1);
342
+ --jp-input-active-box-shadow-color: rgba(19, 124, 189, 0.3);
343
+
344
+ /* General editor styles */
345
+
346
+ --jp-editor-selected-background: #d9d9d9;
347
+ --jp-editor-selected-focused-background: #d7d4f0;
348
+ --jp-editor-cursor-color: var(--jp-ui-font-color0);
349
+
350
+ /* Code mirror specific styles */
351
+
352
+ --jp-mirror-editor-keyword-color: #008000;
353
+ --jp-mirror-editor-atom-color: #88f;
354
+ --jp-mirror-editor-number-color: #080;
355
+ --jp-mirror-editor-def-color: #00f;
356
+ --jp-mirror-editor-variable-color: var(--md-grey-900, #212121);
357
+ --jp-mirror-editor-variable-2-color: rgb(0, 54, 109);
358
+ --jp-mirror-editor-variable-3-color: #085;
359
+ --jp-mirror-editor-punctuation-color: #05a;
360
+ --jp-mirror-editor-property-color: #05a;
361
+ --jp-mirror-editor-operator-color: #7800c2;
362
+ --jp-mirror-editor-comment-color: #408080;
363
+ --jp-mirror-editor-string-color: #ba2121;
364
+ --jp-mirror-editor-string-2-color: #708;
365
+ --jp-mirror-editor-meta-color: #a2f;
366
+ --jp-mirror-editor-qualifier-color: #555;
367
+ --jp-mirror-editor-builtin-color: #008000;
368
+ --jp-mirror-editor-bracket-color: #997;
369
+ --jp-mirror-editor-tag-color: #170;
370
+ --jp-mirror-editor-attribute-color: #00c;
371
+ --jp-mirror-editor-header-color: blue;
372
+ --jp-mirror-editor-quote-color: #090;
373
+ --jp-mirror-editor-link-color: #00c;
374
+ --jp-mirror-editor-error-color: #f00;
375
+ --jp-mirror-editor-hr-color: #999;
376
+
377
+ /*
378
+ RTC user specific colors.
379
+ These colors are used for the cursor, username in the editor,
380
+ and the icon of the user.
381
+ */
382
+
383
+ --jp-collaborator-color1: #ffad8e;
384
+ --jp-collaborator-color2: #dac83d;
385
+ --jp-collaborator-color3: #72dd76;
386
+ --jp-collaborator-color4: #00e4d0;
387
+ --jp-collaborator-color5: #45d4ff;
388
+ --jp-collaborator-color6: #e2b1ff;
389
+ --jp-collaborator-color7: #ff9de6;
390
+
391
+ /* Vega extension styles */
392
+
393
+ --jp-vega-background: white;
394
+
395
+ /* Sidebar-related styles */
396
+
397
+ --jp-sidebar-min-width: 250px;
398
+
399
+ /* Search-related styles */
400
+
401
+ --jp-search-toggle-off-opacity: 0.5;
402
+ --jp-search-toggle-hover-opacity: 0.8;
403
+ --jp-search-toggle-on-opacity: 1;
404
+ --jp-search-selected-match-background-color: rgb(245, 200, 0);
405
+ --jp-search-selected-match-color: black;
406
+ --jp-search-unselected-match-background-color: var(
407
+ --jp-inverse-layout-color0
408
+ );
409
+ --jp-search-unselected-match-color: var(--jp-ui-inverse-font-color0);
410
+
411
+ /* Icon colors that work well with light or dark backgrounds */
412
+ --jp-icon-contrast-color0: var(--md-purple-600, #8e24aa);
413
+ --jp-icon-contrast-color1: var(--md-green-600, #43a047);
414
+ --jp-icon-contrast-color2: var(--md-pink-600, #d81b60);
415
+ --jp-icon-contrast-color3: var(--md-blue-600, #1e88e5);
416
+
417
+ /* Button colors */
418
+ --jp-accept-color-normal: var(--md-blue-700, #1976d2);
419
+ --jp-accept-color-hover: var(--md-blue-800, #1565c0);
420
+ --jp-accept-color-active: var(--md-blue-900, #0d47a1);
421
+ --jp-warn-color-normal: var(--md-red-700, #d32f2f);
422
+ --jp-warn-color-hover: var(--md-red-800, #c62828);
423
+ --jp-warn-color-active: var(--md-red-900, #b71c1c);
424
+ --jp-reject-color-normal: var(--md-grey-600, #757575);
425
+ --jp-reject-color-hover: var(--md-grey-700, #616161);
426
+ --jp-reject-color-active: var(--md-grey-800, #424242);
427
+
428
+ /* File or activity icons and switch semantic variables */
429
+ --jp-jupyter-icon-color: #f37626;
430
+ --jp-notebook-icon-color: #f37626;
431
+ --jp-json-icon-color: var(--md-orange-700, #f57c00);
432
+ --jp-console-icon-background-color: var(--md-blue-700, #1976d2);
433
+ --jp-console-icon-color: white;
434
+ --jp-terminal-icon-background-color: var(--md-grey-800, #424242);
435
+ --jp-terminal-icon-color: var(--md-grey-200, #eee);
436
+ --jp-text-editor-icon-color: var(--md-grey-700, #616161);
437
+ --jp-inspector-icon-color: var(--md-grey-700, #616161);
438
+ --jp-switch-color: var(--md-grey-400, #bdbdbd);
439
+ --jp-switch-true-position-color: var(--md-orange-900, #e65100);
440
+ }
441
+
442
+ /* Completer specific styles */
443
+
444
+ .jp-Completer {
445
+ --jp-completer-type-background0: transparent;
446
+ --jp-completer-type-background1: #1f77b4;
447
+ --jp-completer-type-background2: #ff7f0e;
448
+ --jp-completer-type-background3: #2ca02c;
449
+ --jp-completer-type-background4: #d62728;
450
+ --jp-completer-type-background5: #9467bd;
451
+ --jp-completer-type-background6: #8c564b;
452
+ --jp-completer-type-background7: #e377c2;
453
+ --jp-completer-type-background8: #7f7f7f;
454
+ --jp-completer-type-background9: #bcbd22;
455
+ --jp-completer-type-background10: #17becf;
456
+ }
457
+
458
+ /*
459
+ * Copyright (c) Saga Inc.
460
+ * Distributed under the terms of the GNU Affero General Public License v3.0 License.
461
+ */
462
+
463
+
464
+
465
+ /* Remove borders and padding from the main area widget */
466
+ .lm-SplitPanel-child:not(#jp-right-stack, #jp-left-stack) {
467
+ background-color: var(--jp-layout-color1) !important;
468
+ border: none !important;
469
+ margin: 0 !important;
470
+ padding: 0 !important;
471
+ }
472
+
473
+ /* Remove borders and padding from the notebook panel */
474
+ .jp-MainAreaWidget.jp-NotebookPanel {
475
+ border: none;
476
+ margin: 0 !important;
477
+ padding: 0 !important;
478
+ }
479
+
480
+ /* Remove top border from tabs so there is no double border */
481
+ .lm-DockPanel-tabBar .lm-TabBar-tab {
482
+ border-top: none !important;
483
+ }
484
+
485
+ .jp-InputArea-editor {
486
+ border-radius: 3px !important;
487
+ }
488
+
489
+ /* Remove the collapser next to the active cell */
490
+ .jp-Collapser {
491
+ display: none !important;
492
+ }
493
+
494
+ /* Update the color of the top nav bar (File, Edit, etc.) */
495
+ .lm-MenuBar,
496
+ #jp-top-bar,
497
+ #jp-MainLogo {
498
+ background-color: var(--jp-layout-color2) !important;
499
+ }
500
+
501
+ .jp-Notebook.jp-mod-editMode .jp-Cell.jp-mod-active .jp-InputArea-editor {
502
+ border-width: 1.5px !important;
503
+ }
504
+
505
+ /* Style output area only when it contains stderr content */
506
+ .lm-Widget.jp-OutputArea-output:has([data-mime-type="application/vnd.jupyter.stderr"]):not(:has(.mito-warning-block)) {
507
+ border-radius: 3px !important;
508
+ padding: 6px;
509
+ border: 1.5px solid var(--jp-error-color0) !important;
510
+ background-color: None !important;
511
+ overflow: visible !important; /* Allow content to extend beyond boundaries */
512
+ margin-top: 10px !important; /* Make room for the warning icon*/
513
+ }
514
+
515
+ /* Add the warning icon to the output area */
516
+ .lm-Widget.jp-OutputArea-output:has([data-mime-type="application/vnd.jupyter.stderr"]):not(:has(.mito-warning-block))::before {
517
+ content: "\26A0";
518
+ position: absolute;
519
+ top: -12px; /* Adjust to sit on the border */
520
+ left: 6px;
521
+ background-color: var(--jp-layout-color1); /* Background color to "cut" the border */
522
+ padding: 0 3px;
523
+ font-size: 16px;
524
+ color: var(--jp-error-color0);
525
+ font-weight: bold;
526
+ z-index: 10;
527
+ }
528
+
529
+ .error-mime-renderer-container,
530
+ .jp-RenderedText[data-mime-type='application/vnd.jupyter.stderr'] {
531
+ background: None !important;
532
+ }
533
+
534
+ /* Hiide the simple toggle because the theme only works with non-simple mode */
535
+ #jp-single-document-mode,
536
+ .jp-StatusBar-Item#jp-single-document-mode,
537
+ .lm-Widget.jp-StatusBar-Item#jp-single-document-mode {
538
+ display: none !important;
539
+ }
540
+ /*
541
+ * Copyright (c) Saga Inc.
542
+ * Distributed under the terms of the GNU Affero General Public License v3.0 License.
543
+ */
544
+
545
+ .jp-notebook-icon-color[fill] {
546
+ fill: var(--jp-brand-color1) !important;
547
+ }
548
+ /*
549
+ * Copyright (c) Saga Inc.
550
+ * Distributed under the terms of the GNU Affero General Public License v3.0 License.
551
+ */
552
+
553
+ /*-----------------------------------------------------------------------------
554
+ || Mito Light Theme: Cell Numbering
555
+ || These styles only apply when the Mito Light theme is active
556
+ ||----------------------------------------------------------------------------*/
557
+
558
+ /* Add top padding to cells to make room for the cell number label */
559
+ .jp-Cell {
560
+ position: relative;
561
+ padding-top: 24px !important;
562
+ }
563
+
564
+ .jp-InputArea-editor,
565
+ .jp-MarkdownOutput {
566
+ min-height: 50px;
567
+ padding-top: 20px !important;
568
+ padding-bottom: 20px !important;
569
+ background-color: transparent !important;
570
+ }
571
+
572
+ /* Position the header to hold the label */
573
+ .jp-Cell-header {
574
+ display: block;
575
+ height: 20px;
576
+ position: absolute;
577
+ top: 0;
578
+ left: 0;
579
+ right: 0;
580
+ }
581
+
582
+ /* Label positioned to overlap the cell's top border (fieldset legend style) */
583
+ .jp-Cell-header::before {
584
+ content: "Cell " attr(data-cell-number);
585
+ position: absolute;
586
+ top: 15px; /* Position so label sits on the cell border at 24px */
587
+
588
+ /* If the Mito theme is applied, then the mito-line-number-gutter-width is set and we can use it */
589
+ left: calc(var(--jp-cell-collapser-width) + var(--jp-cell-prompt-width) + var(--mito-line-number-gutter-width, 10px));
590
+ background-color: var(--jp-layout-color0); /* Solid background to mask the border */
591
+ padding: 2px 8px;
592
+ font-size: 11px;
593
+ font-family: var(--jp-ui-font-family);
594
+ color: var(--jp-ui-font-color2);
595
+ user-select: none;
596
+ z-index: 10;
597
+ line-height: 14px;
598
+ }
599
+
600
+ /* Only show cell labels when the attribute is present */
601
+ .jp-Cell-header:not([data-cell-number])::before {
602
+ content: "";
603
+ display: none;
604
+ }
605
+
606
+
607
+ /*
608
+ * Copyright (c) Saga Inc.
609
+ * Distributed under the terms of the GNU Affero General Public License v3.0 License.
610
+ */
611
+
612
+ /*-----------------------------------------------------------------------------
613
+ | Copyright (c) Jupyter Development Team.
614
+ | Distributed under the terms of the Modified BSD License.
615
+ |----------------------------------------------------------------------------*/
616
+
617
+
618
+ /* Set the default typography for monospace elements */
619
+ .jp-ThemedContainer tt,
620
+ .jp-ThemedContainer code,
621
+ .jp-ThemedContainer kbd,
622
+ .jp-ThemedContainer samp,
623
+ .jp-ThemedContainer pre {
624
+ font-family: var(--jp-code-font-family);
625
+ font-size: var(--jp-code-font-size);
626
+ line-height: var(--jp-code-line-height);
627
+ }
628
+
629
+ /*-----------------------------------------------------------------------------
630
+ | Mito Light Theme: Custom top bar styling
631
+ | These styles only apply when the Mito Light theme is active
632
+ |----------------------------------------------------------------------------*/
633
+ .lm-MenuBar,
634
+ #jp-top-bar,
635
+ #jp-MainLogo,
636
+ .jp-SideBar,
637
+ .jp-SideBar .lm-TabBar-tab {
638
+ background-color: var(--jp-layout-color1) !important;
639
+ }
640
+
641
+ .jp-SideBar .lm-TabBar-tab.jp-mod-current {
642
+ background-color: var(--jp-layout-color2) !important;
643
+ }
644
+
645
+ /*-----------------------------------------------------------------------------
646
+ | Mito Light Theme: Hide default JupyterLab toolbar buttons
647
+ | These styles only apply when the Mito Light theme is active
648
+ |----------------------------------------------------------------------------*/
649
+ .jp-Toolbar [data-jp-item-name="run"],
650
+ .jp-Toolbar [data-jp-item-name="run-all"],
651
+ .jp-Toolbar [data-jp-item-name="restart-and-run"],
652
+ .jp-Toolbar [data-jp-item-name="debugger-icon"],
653
+ .jp-Toolbar [data-jp-item-name="kernelName"],
654
+ .jp-Toolbar [data-jp-item-name="interrupt"],
655
+ .jp-Toolbar [data-jp-item-name="restart"],
656
+ .jp-Toolbar [data-jp-item-name="cut"],
657
+ .jp-Toolbar [data-jp-item-name="copy"],
658
+ .jp-Toolbar [data-jp-item-name="paste"]
659
+ {
660
+ display: none !important;
661
+ }
662
+
663
+ /*-----------------------------------------------------------------------------
664
+ | Mito Light Theme: Hide default JupyterLab footer buttons
665
+ | These styles only apply when the Mito Light theme is active
666
+ |----------------------------------------------------------------------------*/
667
+
668
+ .jp-StatusBar-Item[title^="Notebook is in"],
669
+ .jp-StatusBar-Item:has(.jp-StatusBar-TextItem[title^="Go to line number"]),
670
+ /* Hide the file path indicator in status bar by targeting title that ends with .ipynb*/
671
+ .jp-StatusBar-Item:has(.jp-StatusBar-TextItem[title$=".ipynb"]) {
672
+ display: none !important;
673
+ }
674
+
675
+
676
+ /*-----------------------------------------------------------------------------
677
+ || Mito Light Theme: Custom line number styling
678
+ || These styles only apply when the Mito Light theme is active
679
+ ||----------------------------------------------------------------------------*/
680
+ .jp-Editor .cm-lineNumbers {
681
+ font-family: var(--jp-code-font-family);
682
+ font-size: 11px;
683
+ color: var(--purple-900);
684
+ opacity: 0.5;
685
+ background: transparent;
686
+ padding-right: 8px;
687
+ width: var(--mito-line-number-gutter-width);
688
+ text-align: right;
689
+ user-select: none;
690
+ }
691
+
692
+ .jp-Editor .cm-lineNumbers .cm-gutterElement {
693
+ padding: 0 4px 0 8px;
694
+ min-width: 20px;
695
+ text-align: right;
696
+ background: transparent;
697
+ display: flex;
698
+ align-items: center;
699
+ justify-content: flex-end;
700
+ }
701
+
702
+ /* Remove gutter background */
703
+ .jp-Editor .cm-gutters {
704
+ background: transparent !important;
705
+ }
706
+
707
+
708
+