@@ -359,17 +359,17 @@ export function define_jupyter_theme() : Blockly.Theme{
359
359
var jupyterlab_theme = Blockly . Theme . defineTheme ( 'jupyterlab' , {
360
360
'base' : Blockly . Themes . Classic ,
361
361
'componentStyles' : {
362
- 'workspaceBackgroundColour' : getComputedStyle ( document . documentElement ) . getPropertyValue ( ' --jp-layout-color0' ) ,
363
- 'toolboxBackgroundColour' : getComputedStyle ( document . documentElement ) . getPropertyValue ( ' --jp-layout-color2' ) ,
364
- 'toolboxForegroundColour' : getComputedStyle ( document . documentElement ) . getPropertyValue ( ' --jp-ui-font-color0' ) ,
365
- 'flyoutBackgroundColour' : getComputedStyle ( document . documentElement ) . getPropertyValue ( ' --jp-border-color2' ) ,
366
- 'flyoutForegroundColour' : getComputedStyle ( document . documentElement ) . getPropertyValue ( ' --jp-layout-color3' ) ,
362
+ 'workspaceBackgroundColour' : 'var( --jp-layout-color0)' ,
363
+ 'toolboxBackgroundColour' : 'var( --jp-layout-color2)' ,
364
+ 'toolboxForegroundColour' : 'var( --jp-ui-font-color0)' ,
365
+ 'flyoutBackgroundColour' : 'var( --jp-border-color2)' ,
366
+ 'flyoutForegroundColour' : 'var( --jp-layout-color3)' ,
367
367
'flyoutOpacity' : 1 ,
368
- 'scrollbarColour' : getComputedStyle ( document . documentElement ) . getPropertyValue ( ' --jp-border-color0' ) ,
369
- 'insertionMarkerColour' : getComputedStyle ( document . documentElement ) . getPropertyValue ( ' --jp-warn-color-active' ) ,
368
+ 'scrollbarColour' : 'var( --jp-border-color0)' ,
369
+ 'insertionMarkerColour' : 'var( --jp-warn-color-active)' ,
370
370
'insertionMarkerOpacity' : 0.3 ,
371
371
'scrollbarOpacity' : 0.4 ,
372
- 'cursorColour' : getComputedStyle ( document . documentElement ) . getPropertyValue ( ' --jp-scrollbar-background-color' ) ,
372
+ 'cursorColour' : 'var( --jp-scrollbar-background-color)' ,
373
373
}
374
374
} ) ;
375
375
0 commit comments