Merge pull request #1991 from CyrilTaylor/dev.theme.compact.margin

narrow down the margin of ssh tab to 5px with theme compact
This commit is contained in:
Eugene 2020-01-14 09:25:12 +01:00 committed by GitHub
commit b076541962
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -16,4 +16,8 @@ app-root {
terminaltab .content {
margin: 5px !important;
}
ssh-tab .content {
margin: 5px !important;
}
}