style: Editor style adjustments

This commit is contained in:
zhaojisen
2024-07-17 11:13:05 +08:00
parent 3fcc4ca160
commit 4e9dd57efe
2 changed files with 2 additions and 2 deletions

View File

@@ -390,7 +390,7 @@ $input-border-color: #C0C4CC;
} }
.editor { .editor {
margin-left: 30px; //margin-left: 30px;
border: 1px solid var(--color-border); border: 1px solid var(--color-border);
overflow: hidden; overflow: hidden;
} }

View File

@@ -470,7 +470,7 @@ $container-bg-color: #f7f7f7;
flex-direction: column; flex-direction: column;
.xterm-container { .xterm-container {
margin-left: 30px; //margin-left: 30px;
height: calc(100vh - 549px); height: calc(100vh - 549px);
min-height: 255px; min-height: 255px;
border: 1px solid var(--color-border); border: 1px solid var(--color-border);