|
|
|
|
@ -5,12 +5,12 @@
|
|
|
|
|
|
|
|
|
|
/* TODO: check is the the extension package can be used directly */
|
|
|
|
|
@import url('~@jupyterlab/completer/style/index.css');
|
|
|
|
|
@import url('~@jupyterlab/fileeditor/style/index.css');
|
|
|
|
|
@import url('~@jupyterlab/tooltip/style/index.css');
|
|
|
|
|
@import url('~@jupyterlab/running/style/index.css');
|
|
|
|
|
|
|
|
|
|
@import url('~@jupyterlab/codemirror-extension/style/index.css');
|
|
|
|
|
@import url('~@jupyterlab/docmanager-extension/style/index.css');
|
|
|
|
|
@import url('~@jupyterlab/fileeditor-extension/style/index.css');
|
|
|
|
|
@import url('~@jupyterlab/mainmenu-extension/style/index.css');
|
|
|
|
|
@import url('~@jupyterlab/notebook-extension/style/index.css');
|
|
|
|
|
@import url('~@jupyterlab/rendermime-extension/style/index.css');
|
|
|
|
|
|