fixed terminal toolbar padding - fixes #4384

This commit is contained in:
Eugene Pankov 2021-08-22 20:50:38 +02:00
parent 0a0d94ec91
commit 7120e32c91
No known key found for this signature in database
GPG key ID: 5896FCBBDD1CF4F4

View file

@ -69,7 +69,7 @@
&.toolbar-pinned {
.content {
margin-top: 15px + $toolbarHeight;
padding-top: $toolbarHeight;
}
}
}