Merge pull request #35626 from phillip-kruger/dev-ui-css-fix

Fix dev ui css
quarkusio · Aug 30, 2023 · bf886a5 · bf886a5
2 parents 052a587 + 7f8e612
commit bf886a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...ons/vertx-http/dev-ui-resources/src/main/resources/dev-ui-templates/build-time/index.html b/...ons/vertx-http/dev-ui-resources/src/main/resources/dev-ui-templates/build-time/index.html
@@ -28,7 +28,7 @@
                 height: 100vh;
                 font-family: var(--lumo-font-family);
                 font-size: var(--lumo-font-size-m);
-                line-height: var(--lumo-line-height-m):
+                line-height: var(--lumo-line-height-m);
                 overflow: hidden;
                 display: flex;
                 flex-direction: column;