Merge pull request #772 from waldyrious/patch-1

Improve styles for interactive pop-up windows
This commit is contained in:
Peter Cottle 2021-01-04 07:45:32 -07:00 committed by GitHub
commit fd07bd2437
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -260,6 +260,14 @@ body.hgMode .visBackgroundColor {
min-height: 400px;
}
div.ui-draggable-handle {
cursor: grab;
}
div.ui-draggable-dragging div.ui-draggable-handle {
cursor: grabbing;
}
div.canvasTerminalHolder > div.terminal-window-holder > div.wrapper {
height: 100%;
box-shadow: 0 0 12px rgb(0,0,0);
@ -433,6 +441,10 @@ div.toolbar > div.controls div.box.flex1 div:hover {
}
div.ui-draggable div.controls div.box.flex1 div {
cursor: pointer;
}
div.controls div.box.flex1 div.close {
background-color: #fb625f;
}