diagram-js-code-editor/assets/diagram-js-code-editor.css

49 lines
795 B
CSS
Raw Normal View History

2021-06-03 05:45:51 +00:00
.djs-editor {
position: absolute;
top: 90px;
right: 20px;
left: 500px;
/* overflow: hidden; */
background-color: rgba(255, 255, 255, 0.9);
border: solid 1px #CCC;
border-radius: 2px;
box-sizing: border-box;
/* user-select: none;
-moz-user-select: none;
-ms-user-select: none;
-webkit-user-select: none; */
}
.djs-editor:not(.open) {
overflow: hidden;
}
.djs-editor .ide {
display: none;
}
.djs-editor.open .ide {
display: block;
}
.djs-editor .ide {
width: 620px;
height: 280px;
}
.djs-editor:not(.open) .toggle {
padding: 10px;
text-align: center;
}
.djs-editor .toggle:before {
content: attr(title);
}
.djs-editor.open .toggle {
position: absolute;
right: 0;
padding: 6px;
z-index: 1;
}