Open in Overleaf: Add '/devs' documentation page GitOrigin-RevId: 4ab5a296570bee147cd79bccb436392f941c076b
@@ -85,6 +85,7 @@
@import "app/v1-badge.less";
@import "app/editor/history-v2.less";
@import "app/metrics.less";
+@import "app/open-in-overleaf.less";
// Vendor CSS
@import "../js/libs/pdfListView/TextLayer.css";
@@ -0,0 +1,5 @@
+dl.codebox {
+ dt {
+ line-height: 1;
+ }
+}