Getting rid of camel case css variables.

src/application/dockpanel.css

@@ -15,9 +15,9 @@
 
 .p-DockPanel-tabPanel > .p-StackedPanel {
   background:var(--jp-layout-color1);
-  border-left: var(--jp-borderWidth) solid var(--jp-borderColor1);
-  border-right: var(--jp-borderWidth) solid var(--jp-borderColor1);
-  border-bottom: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-left: var(--jp-border-width) solid var(--jp-border-color1);
+  border-right: var(--jp-border-width) solid var(--jp-border-color1);
+  border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
 .p-DockPanel-tabPanel {
@@ -27,7 +27,7 @@
 
 .p-DockPanel-overlay {
   background: rgba(33, 150, 243, 0.1);
-  border: var(--jp-borderWidth) dashed var(--jp-brand-color1);
+  border: var(--jp-border-width) dashed var(--jp-brand-color1);
   transition-property: top, left, right, bottom;
   transition-duration: 150ms;
   transition-timing-function: ease;
@@ -44,7 +44,7 @@
 
 
 #jp-main-dock-panel .p-TabBar-tab.jp-mod-current {
-  border-top: var(--jp-borderWidth) solid var(--jp-brand-color1);
+  border-top: var(--jp-border-width) solid var(--jp-brand-color1);
 }
 
 

src/application/menus.css

@@ -23,19 +23,19 @@
   padding-left: 5px;
   background: var(--jp-layout-color1);
   color: var(--jp-ui-font-color1);
-  font-size: var(--jp-ui-fontSize1);
+  font-size: var(--jp-ui-font-size1);
 }
 
 
 .p-MenuBar-menu {
-  transform: translateY(calc(-1*var(--jp-borderWidth)));
+  transform: translateY(calc(-1*var(--jp-border-width)));
 }
 
 
 .p-MenuBar-item {
   padding: 0px 8px;
-  border-left: var(--jp-borderWidth) solid transparent;
-  border-right: var(--jp-borderWidth) solid transparent;
+  border-left: var(--jp-border-width) solid transparent;
+  border-right: var(--jp-border-width) solid transparent;
   line-height: var(--jp-private-menubar-height);
 }
 
@@ -47,8 +47,8 @@
 
 .p-MenuBar.p-mod-active .p-MenuBar-item.p-mod-active {
   z-index: 10001;
-  border-left: var(--jp-borderWidth) solid var(--jp-borderColor1);
-  border-right: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-left: var(--jp-border-width) solid var(--jp-border-color1);
+  border-right: var(--jp-border-width) solid var(--jp-border-color1);
   box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.2);
 }
 
@@ -62,7 +62,7 @@
   margin: 2px;
   padding: 0;
   border: none;
-  border-left: var(--jp-borderWidth) solid var(--jp-borderColor2);
+  border-left: var(--jp-border-width) solid var(--jp-border-color2);
 }
 
 
@@ -72,7 +72,7 @@
 
 
 #jp-top-panel {
-  border-bottom: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
   background: var(--jp-layout-color1);
   display: flex;
   min-height: var(--jp-private-menubar-height);
@@ -89,8 +89,8 @@
   padding: 4px 0px;
   background: var(--jp-layout-color1);
   color: var(--jp-ui-font-color1);
-  border: var(--jp-borderWidth) solid var(--jp-borderColor1);
-  font-size: var(--jp-ui-fontSize1);
+  border: var(--jp-border-width) solid var(--jp-border-color1);
+  font-size: var(--jp-ui-font-size1);
   box-shadow: 0px 1px 6px rgba(0, 0, 0, 0.2);
 }
 
@@ -152,7 +152,7 @@
   display: block;
   position: relative;
   top: 4px;
-  border-top: var(--jp-borderWidth) solid var(--jp-layout-color2);
+  border-top: var(--jp-border-width) solid var(--jp-layout-color2);
 }
 
 .p-Menu-itemIcon::before,

src/application/sidepanel.css

@@ -25,12 +25,12 @@
 
 
 .jp-SideBar.p-TabBar.jp-mod-left {
-  border-right: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-right: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
 
 .jp-SideBar.p-TabBar.jp-mod-right {
-  border-left: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-left: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
 
@@ -77,12 +77,12 @@
 
 
 .jp-SideBar.jp-mod-left .p-TabBar-tab {
-  border-left: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-left: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
 
 .jp-SideBar.jp-mod-right .p-TabBar-tab {
-  border-right: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-right: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
 
@@ -92,10 +92,10 @@
 
 
 #jp-right-stack {
-  border-left: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-left: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
 
 #jp-left-stack {
-  border-right: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-right: var(--jp-border-width) solid var(--jp-border-color1);
 }

src/application/tabs.css

@@ -22,7 +22,7 @@
 .p-TabBar {
   overflow: visible;
   color: var(--jp-ui-font-color1);
-  font-size: var(--jp-ui-fontSize1);
+  font-size: var(--jp-ui-font-size1);
 }
 
 
@@ -37,22 +37,22 @@
 
 
 .p-TabBar.p-mod-top {
-  border-bottom: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
 
 .p-TabBar.p-mod-bottom {
-  border-top: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-top: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
 
 .p-TabBar.p-mod-left {
-  border-right: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-right: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
 
 .p-TabBar.p-mod-right {
-  border-left: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border-left: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
 
@@ -75,7 +75,7 @@
 .p-TabBar-tab {
   padding: 0px 10px;
   background: var(--jp-layout-color2);
-  border: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
 
@@ -92,12 +92,12 @@
 .p-TabBar.p-mod-top .p-TabBar-tab,
 .p-TabBar.p-mod-bottom .p-TabBar-tab {
   flex: 0 1 var(--jp-private-horizontal-tab-width);
-  min-height: calc(var(--jp-private-horizontal-tab-height) - 2*var(--jp-borderWidth));
+  min-height: calc(var(--jp-private-horizontal-tab-height) - 2*var(--jp-border-width));
   /* For some reason Firefox needs us to give a max-height as well...*/
-  max-height: calc(var(--jp-private-horizontal-tab-height) - 2*var(--jp-borderWidth));
+  max-height: calc(var(--jp-private-horizontal-tab-height) - 2*var(--jp-border-width));
   min-width: 35px;
-  margin-left: calc(-1*var(--jp-borderWidth));
-  line-height: calc(var(--jp-private-horizontal-tab-height) - 3*var(--jp-borderWidth));
+  margin-left: calc(-1*var(--jp-border-width));
+  line-height: calc(var(--jp-private-horizontal-tab-height) - 3*var(--jp-border-width));
 }
 
 
@@ -122,17 +122,17 @@
 
 .p-TabBar.p-mod-top .p-TabBar-tab.p-mod-current,
 .p-TabBar.p-mod-bottom .p-TabBar-tab.p-mod-current {
-  min-height: calc(var(--jp-private-horizontal-tab-height) - var(--jp-borderWidth));
+  min-height: calc(var(--jp-private-horizontal-tab-height) - var(--jp-border-width));
 }
 
 
 .p-TabBar.p-mod-top .p-TabBar-tab.p-mod-current {
-  transform: translateY(var(--jp-borderWidth));
+  transform: translateY(var(--jp-border-width));
 }
 
 
 .p-TabBar.p-mod-bottom .p-TabBar-tab.p-mod-current {
-  transform: translateY(-1*var(--jp-borderWidth));
+  transform: translateY(-1*var(--jp-border-width));
 }
 
 
@@ -203,9 +203,9 @@
   line-height: var(--jp-private-horizontal-tab-height);
   color: var(--jp-ui-font-color1);
   background: var(--jp-layout-color1);
-  border: var(--jp-borderWidth) solid var(--jp-borderColor1);
-  border-top: var(--jp-borderWidth) solid var(--jp-brand-color1);
-  font-size: var(--jp-ui-fontSize1);
+  border: var(--jp-border-width) solid var(--jp-border-color1);
+  border-top: var(--jp-border-width) solid var(--jp-brand-color1);
+  font-size: var(--jp-ui-font-size1);
   box-shadow: 1px 1px 2px rgba(0, 0, 0, 0.3);
   transform: translateX(-40%) translateY(-58%);
 }
@@ -219,7 +219,7 @@
 .p-TabPanel-stackedPanel {
   padding: 0px;
   background: var(--jp-dockpanel-content-background);
-  border: var(--jp-borderWidth) solid #C0C0C0;
+  border: var(--jp-border-width) solid #C0C0C0;
   /* This shadow requires a bottom/right padding on the .p-DockPanel-tabPanel */
   box-shadow: 1px 1px 2px rgba(0, 0, 0, 0.2);
 }

src/commandpalette/index.css

@@ -10,7 +10,7 @@
 
 
 .p-CommandPalette-search {
-  border-bottom: solid 2px var(--jp-borderColor2);
+  border-bottom: solid 2px var(--jp-border-color2);
 }
 
 
@@ -33,7 +33,7 @@
   float: left;
   border: none;
   outline: none;
-  font-size: var(--jp-ui-fontSize2);
+  font-size: var(--jp-ui-font-size2);
   color: var(--jp-ui-font-color1);
   padding: 0;
 }
@@ -46,7 +46,7 @@
   font-weight: 600;
   cursor: pointer;
   text-transform: uppercase;
-  border-bottom: solid var(--jp-borderWidth) var(--jp-borderColor2);
+  border-bottom: solid var(--jp-border-width) var(--jp-border-color2);
   letter-spacing: 2px;
 }
 

src/console/index.css

@@ -32,7 +32,7 @@
 
 .jp-Console-prompt.jp-Cell {
   border-color: #66BB6A;
-  border-left-width: var(--jp-borderWidth);
+  border-left-width: var(--jp-border-width);
   background: linear-gradient(to right, #66BB6A -40px, #66BB6A 5px, transparent 5px, transparent 100%);
 }
 

src/csvwidget/index.css

@@ -53,11 +53,11 @@
 
 .jp-CSVWidget-table th,
 .jp-CSVWidget-table td {
-  border: var(--jp-borderWidth) solid black;
+  border: var(--jp-border-width) solid black;
   padding: 0.2em 0.5em;
 }
 
 .jp-CSVWidget-table table {
-  border: var(--jp-borderWidth) solid black;
+  border: var(--jp-border-width) solid black;
   border-collapse: collapse;
 }

src/default-theme/variables.css

@@ -8,20 +8,20 @@
 
   /* Borders */
 
-  --jp-borderWidth: 1px;
-  --jp-borderColor0: var(--md-grey-700);  
-  --jp-borderColor1: var(--md-grey-500);
-  --jp-borderColor2: var(--md-grey-300);
-  --jp-borderColor3: var(--md-grey-100);
+  --jp-border-width: 1px;
+  --jp-border-color0: var(--md-grey-700);  
+  --jp-border-color1: var(--md-grey-500);
+  --jp-border-color2: var(--md-grey-300);
+  --jp-border-color3: var(--md-grey-100);
 
   /* UI Fonts */
 
   --jp-ui-font-scale-factor: 1.2;
-  --jp-ui-fontSize0: calc(var(--jp-ui-fontSize1)/var(--jp-ui-font-scale-factor));
-  --jp-ui-fontSize1: 13px;
-  --jp-ui-fontSize2: calc(var(--jp-ui-fontSize1)*var(--jp-ui-font-scale-factor));
-  --jp-ui-fontSize3: calc(var(--jp-ui-fontSize2)*var(--jp-ui-font-scale-factor));
-  --jp-ui-icon-fontSize: 14px;
+  --jp-ui-font-size0: calc(var(--jp-ui-font-size1)/var(--jp-ui-font-scale-factor));
+  --jp-ui-font-size1: 13px;
+  --jp-ui-font-size2: calc(var(--jp-ui-font-size1)*var(--jp-ui-font-scale-factor));
+  --jp-ui-font-size3: calc(var(--jp-ui-font-size2)*var(--jp-ui-font-scale-factor));
+  --jp-ui-icon-font-size: 14px;
 
   --jp-ui-font-color0: rgba(0,0,0,1.0);
   --jp-ui-font-color1: rgba(0,0,0,0.87);
@@ -37,7 +37,7 @@
 
   /* Content Fonts */
   
-  --jp-content-fontSize: 14px;
+  --jp-content-font-size: 14px;
   --jp-content-font-color0: black;
   --jp-content-font-color1: black;
   --jp-content-font-color2: var(--md-grey-700);
@@ -67,6 +67,6 @@
   --jp-warn-color: var(--md-orange-500);
   --jp-error-color: var(--md-red-500);
   --jp-success-color: var(--md-green-500);
-  --jp-info-color: var(var(--jp-brand-color1));
+  --jp-info-color: var(--jp-brand-color1);
 
 }

src/default-theme/variablesdark.css

@@ -8,20 +8,20 @@
 
   /* Borders */
 
-  --jp-borderWidth: 1px;
-  --jp-borderColor0: var(--md-grey-300);  
-  --jp-borderColor1: var(--md-grey-500);
-  --jp-borderColor2: var(--md-grey-700);
-  --jp-borderColor3: var(--md-grey-900);
+  --jp-border-width: 1px;
+  --jp-border-color0: var(--md-grey-300);  
+  --jp-border-color1: var(--md-grey-500);
+  --jp-border-color2: var(--md-grey-700);
+  --jp-border-color3: var(--md-grey-900);
 
   /* UI Fonts */
 
   --jp-ui-font-scale-factor: 1.2;
-  --jp-ui-fontSize0: calc(var(--jp-ui-fontSize1)/var(--jp-ui-font-scale-factor));
-  --jp-ui-fontSize1: 13px;
-  --jp-ui-fontSize2: calc(var(--jp-ui-fontSize1)*var(--jp-ui-font-scale-factor));
-  --jp-ui-fontSize3: calc(var(--jp-ui-fontSize2)*var(--jp-ui-font-scale-factor));
-  --jp-ui-icon-fontSize: 14px;
+  --jp-ui-font-size0: calc(var(--jp-ui-font-size1)/var(--jp-ui-font-scale-factor));
+  --jp-ui-font-size1: 13px;
+  --jp-ui-font-size2: calc(var(--jp-ui-font-size1)*var(--jp-ui-font-scale-factor));
+  --jp-ui-font-size3: calc(var(--jp-ui-font-size2)*var(--jp-ui-font-scale-factor));
+  --jp-ui-icon-font-size: 14px;
 
   --jp-ui-font-color0: white;
   --jp-ui-font-color1: rgb(157,157,157);
@@ -37,7 +37,7 @@
 
   /* Content Fonts */
 
-  --jp-content-fontSize: 14px;
+  --jp-content-font-size: 14px;
   --jp-content-font-color0: black;
   --jp-content-font-color1: black;
   --jp-content-font-color2: var(--md-grey-700);
@@ -67,6 +67,6 @@
   --jp-warn-color: var(--md-orange-500);
   --jp-error-color: var(--md-red-500);
   --jp-success-color: var(--md-green-500);
-  --jp-info-color: var(var(--jp-brand-color1));
+  --jp-info-color: var(--jp-brand-color1);
 
 }

src/dialog/index.css

@@ -99,7 +99,7 @@
   background: white;
   width: 252px;
   box-sizing: border-box;
-  border: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border: var(--jp-border-width) solid var(--jp-border-color1);
   border-radius: 2px;
   margin-bottom: 12px;
 }
@@ -120,7 +120,7 @@
   background: white;
   width: 252px;
   box-sizing: border-box;
-  border: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border: var(--jp-border-width) solid var(--jp-border-color1);
   border-radius: 2px;
   margin-bottom: 12px;
 }

src/editorwidget/index.css

@@ -5,6 +5,6 @@
 
 
 .jp-EditorWidget {
-    border-top: var(--jp-borderWidth) solid var(--jp-borderColor2);
+    border-top: var(--jp-border-width) solid var(--jp-border-color2);
     margin-top: 4px;
 }

src/filebrowser/index.css

@@ -9,7 +9,7 @@
   flex-direction: column;
   color: var(--jp-ui-font-color1);
   background:var(--jp-layout-color1);
-  font-size: var(--jp-ui-fontSize1);
+  font-size: var(--jp-ui-font-size1);
 }
 
 
@@ -39,7 +39,7 @@
   flex: 0 0 auto;
   display: flex;
   flex-direction: row;  
-  border-bottom: var(--jp-borderWidth) solid var(--jp-borderColor2);
+  border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
 }
 
 
@@ -57,7 +57,7 @@
   color: var(--jp-ui-font-color1);
   background: var(--jp-layout-color1);
   border: none;
-  font-size: var(--jp-ui-icon-fontSize);
+  font-size: var(--jp-ui-icon-font-size);
   outline: 0;
   padding-top: 8px;
   padding-bottom: 8px;
@@ -77,7 +77,7 @@
 
 .jp-FileButtons-button:hover {
   background: var(--jp-layout-color2);
-  border-color: var(--jp-borderColor2);
+  border-color: var(--jp-border-color2);
   z-index: 1; /* raise overlapping border */
 }
 
@@ -85,7 +85,7 @@
 .jp-FileButtons-button:active,
 .jp-FileButtons-button.jp-id-create.jp-mod-active {
   background: var(--jp-layout-color3);
-  border-color: var(--jp-borderColor3);
+  border-color: var(--jp-border-color3);
   z-index: 1; /* raise overlapping border */
 }
 
@@ -109,8 +109,8 @@
   flex-direction: row;
   overflow: hidden;
   margin-bottom: 4px;
-  border-top: var(--jp-borderWidth) solid var(--jp-borderColor2);
-  border-bottom: var(--jp-borderWidth) solid var(--jp-borderColor2);
+  border-top: var(--jp-border-width) solid var(--jp-border-color2);
+  border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
 }
 
 
@@ -132,7 +132,7 @@
 
 .jp-DirListing-headerItem.jp-id-modified {
   flex: 0 0 112px;
-  border-left: var(--jp-borderWidth) solid var(--jp-borderColor2);
+  border-left: var(--jp-border-width) solid var(--jp-border-color2);
   text-align: right;
 }
 

src/inspector/index.css

@@ -22,7 +22,7 @@
   min-width: 35px;
   padding: 0px 7px;
   background: #EEEEEE;
-  border: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border: var(--jp-border-width) solid var(--jp-border-color1);
   transform: translateY(-1px);
   border-bottom: none;
   margin-right: -1px;
@@ -32,7 +32,7 @@
 .jp-Inspector .p-TabBar-tab.p-mod-current {
   min-height: 24px;
   background: #FFFFFF;
-  border-top: var(--jp-borderWidth) solid var(--jp-brand-color1);
+  border-top: var(--jp-border-width) solid var(--jp-brand-color1);
 }
 
 
@@ -48,14 +48,14 @@
 
 
 .jp-InspectorItem {
-  border: var(--jp-borderWidth) solid var(--jp-borderColor2);
+  border: var(--jp-border-width) solid var(--jp-border-color2);
 }
 
 
 .jp-InspectorItem .jp-NBToolbar {
     display: flex;
     flex-direction: row;
-    border-bottom: var(--jp-borderWidth) solid var(--jp-borderColor2);
+    border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
     height: 24px;
 }
 

src/landing/index.css

@@ -22,7 +22,7 @@
 
 .jp-Landing-dialog {
   padding-bottom: 12px;
-  font-size: var(--jp-ui-fontSize1);
+  font-size: var(--jp-ui-font-size1);
   color: var(--jp-ui-font-color1);
   background: var(--jp-layout-color1);
   margin-left: auto;
@@ -51,7 +51,7 @@
 
 .jp-Landing-subtitle {
   background-color: var(--jp-layout-color1);
-  font-size: var(--jp-ui-fontSize2);
+  font-size: var(--jp-ui-font-size2);
   width: 100%;
   margin-top: 4px;
   font-weight: 300;
@@ -104,7 +104,7 @@
     width: 100%;
     cursor: pointer;
     padding-bottom: 14px;
-    border-bottom: var(--jp-borderWidth) solid var(--jp-borderColor1);
+    border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
     background-position: top center;
     background-repeat: no-repeat;
 }

src/markdownwidget/index.css

@@ -5,7 +5,7 @@
 
 
 .jp-MarkdownWidget {
-  border-top: var(--jp-borderWidth) solid var(--jp-borderColor2);
+  border-top: var(--jp-border-width) solid var(--jp-border-color2);
   padding: 14px;
   overflow: auto;
 }

src/notebook/completion.css

@@ -4,7 +4,7 @@
 |----------------------------------------------------------------------------*/
 .jp-Completion {
   background: #EEEEEE;
-  border: var(--jp-borderWidth) solid var(--jp-borderColor1);
+  border: var(--jp-border-width) solid var(--jp-border-color1);
   list-style-type: none;
   overflow: auto;
   padding: 0;

src/notebook/index.css

@@ -55,7 +55,7 @@
 
 
 .jp-CellEditor {
-  border: var(--jp-borderWidth) solid #cfcfcf;
+  border: var(--jp-border-width) solid #cfcfcf;
   border-radius: 2px;
   background: #f7f7f7;
   line-height: 1.2em;
@@ -166,7 +166,7 @@ img.jp-mod-unconfined {
 
 .jp-Notebook.jp-mod-commandMode .jp-Notebook-cell.jp-mod-active.jp-mod-selected {
   border-color: #ABABAB;
-  border-left-width: var(--jp-borderWidth);
+  border-left-width: var(--jp-border-width);
   background: linear-gradient(to right, #42A5F5 -40px, #42A5F5 5px, transparent 5px, transparent 100%);
 }
 
@@ -183,7 +183,7 @@ img.jp-mod-unconfined {
 
 .jp-Notebook.jp-mod-editMode .jp-Notebook-cell.jp-mod-active {
   border-color: #66BB6A;
-  border-left-width: var(--jp-borderWidth);
+  border-left-width: var(--jp-border-width);
   background: linear-gradient(to right, #66BB6A -40px, #66BB6A 5px, transparent 5px, transparent 100%);
 }
 
@@ -204,7 +204,7 @@ img.jp-mod-unconfined {
   padding-bottom: 5px;
   padding-left: 5px;
   padding-right: 5px;
-  border-width: var(--jp-borderWidth);
+  border-width: var(--jp-border-width);
   border-style: solid;
   border-color: transparent;
   outline: none;
@@ -214,7 +214,7 @@ img.jp-mod-unconfined {
 .jp-Cell.jp-CodeCell.jp-mod-collapsed.jp-mod-readOnly {
   padding-left: 5px;
   padding-right: 5px;
-  border-width: var(--jp-borderWidth);
+  border-width: var(--jp-border-width);
   border-style: solid;
   border-color: transparent;
   outline: none;
@@ -228,7 +228,7 @@ img.jp-mod-unconfined {
   flex: 0 0 auto;
   display: flex;
   flex-direction: row;
-  border-bottom: var(--jp-borderWidth) solid var(--jp-borderColor2);
+  border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
   height: 24px;
 }
 
@@ -256,7 +256,7 @@ img.jp-mod-unconfined {
 }
 
 .jp-NBToolbar-cellType .jp-NBToolbar-cellTypeDropdown {
-    border: var(--jp-borderWidth) solid var(--jp-borderColor1);
+    border: var(--jp-border-width) solid var(--jp-border-color1);
     border-radius: 0;
     outline: none;
     width: 100%;

src/renderers/index.css

@@ -204,7 +204,7 @@ margin-top = 14, 14, 14, 14, 8, 8
 .jp-RenderedHTMLCommon table {
   margin-left: auto;
   margin-right: auto;
-  border: var(--jp-borderWidth) solid black;
+  border: var(--jp-border-width) solid black;
   border-collapse: collapse;
 }
 
@@ -212,7 +212,7 @@ margin-top = 14, 14, 14, 14, 8, 8
 .jp-RenderedHTMLCommon tr,
 .jp-RenderedHTMLCommon th,
 .jp-RenderedHTMLCommon td {
-  border: var(--jp-borderWidth) solid black;
+  border: var(--jp-border-width) solid black;
   border-collapse: collapse;
   margin: 1em 2em;
 }
@@ -283,5 +283,5 @@ margin-top = 14, 14, 14, 14, 8, 8
 .jp-RenderedHTMLCommon blockquote {
   margin: 1em 2em;
   padding: 0 1em;
-  border-left: 5px solid var(--jp-borderColor2);
+  border-left: 5px solid var(--jp-border-color2);
 }

src/running/index.css

@@ -9,7 +9,7 @@
   min-width: 300px;
   color: var(--jp-ui-font-color1);
   background: var(--jp-layout-color1);
-  font-size: var(--jp-ui-fontSize1);
+  font-size: var(--jp-ui-font-size1);
 }
 
 
@@ -17,7 +17,7 @@
   flex: 0 0 auto;
   display: flex;
   flex-direction: row;
-  border-bottom: var(--jp-borderWidth) solid var(--jp-borderColor2);
+  border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
 }
 
 
@@ -36,7 +36,7 @@
   background: var(--jp-layout-color1);
   color: var(--jp-ui-font-color1);
   border: none;
-  font-size: var(--jp-ui-fontSize1);
+  font-size: var(--jp-ui-font-size1);
   outline: 0;
   padding-top: 8px;
   padding-bottom: 8px;
@@ -53,7 +53,7 @@
 .jp-RunningSessions-headerRefresh:before {
   font-family: FontAwesome;
   content: '\f021'; /* refresh */
-  font-size: var(--jp-ui-icon-fontSize);
+  font-size: var(--jp-ui-icon-font-size);
 }
 
 
@@ -70,7 +70,7 @@
   font-size: 11px;
   font-weight: 600;
   text-transform: uppercase;
-  border-bottom: var(--jp-borderWidth) solid var(--jp-borderColor2);
+  border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
   letter-spacing: 2px;
 }