Make search a bit bigger in codemirror (#1100)

This commit is contained in:
Shuchang Zheng
2024-10-31 10:15:00 -07:00
committed by GitHub
parent 879bba7272
commit 9d6a8e6fdd

View File

@@ -105,3 +105,7 @@ body,
.cm-gutters {
@apply rounded-md;
}
.cm-search.cm-panel {
@apply text-sm;
}