Add bottom padding to code editor (#18368)

This commit is contained in:
Josh McCarty 2023-10-24 03:59:14 -07:00 committed by GitHub
parent 191250a66a
commit 18827db9ba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -79,6 +79,7 @@ export const haTheme = EditorView.theme({
".cm-content": {
caretColor: "var(--secondary-text-color)",
paddingTop: "16px",
paddingBottom: "16px",
},
".cm-panels": {