set topbar to 40px

fstasi · francescospissu · commit a3ec6b3f9087 · 2022-07-18T12:54:36.000+02:00
diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css
@@ -109,6 +109,10 @@
     z-index: 0;
 }
 
+:root {
+    --theia-private-menubar-height: 40px; /* set the topbar height */
+}
+
 #theia-top-panel .p-TabBar-toolbar {
     padding-left: 4px !important; /* moves the `verify`, upload and other toolbar items to the left */
 }

Original file line number	Diff line number	Diff line change
`@@ -109,6 +109,10 @@`
`109`	`109`	`z-index: 0;`
`110`	`110`	`}`
`111`	`111`
	`112`	`+:root {`
	`113`	`+ --theia-private-menubar-height: 40px; /* set the topbar height */`
	`114`	`+}`
	`115`	`+`
`112`	`116`	`#theia-top-panel .p-TabBar-toolbar {`
`113`	`117`	padding-left: 4px !important; /* moves the `verify`, upload and other toolbar items to the left */
`114`	`118`	`}`