2
0
mirror of https://github.com/Ionaru/easy-markdown-editor synced 2025-07-16 22:44:29 -06:00

Fix inconsistent border color

This commit is contained in:
Jonathan 2022-05-22 17:57:58 +02:00 committed by GitHub
parent 3895e0a607
commit 7f9ba6abc8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -15,7 +15,7 @@
.EasyMDEContainer .CodeMirror {
box-sizing: border-box;
height: auto;
border: 1px solid #ddd;
border: 1px solid #ced4da;
border-bottom-left-radius: 4px;
border-bottom-right-radius: 4px;
padding: 10px;
@ -68,9 +68,9 @@
-o-user-select: none;
user-select: none;
padding: 9px 10px;
border-top: 1px solid #bbb;
border-left: 1px solid #bbb;
border-right: 1px solid #bbb;
border-top: 1px solid #ced4da;
border-left: 1px solid #ced4da;
border-right: 1px solid #ced4da;
border-top-left-radius: 4px;
border-top-right-radius: 4px;
}