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

116 lines
2.0 KiB
CSS
Raw Normal View History

2021-07-09 09:10:48 -04:00
@import '../node_modules/bootstrap/dist/css/bootstrap.min.css';
.djs-editor {
2021-06-03 10:12:32 -04:00
position: absolute;
top: 90px;
2021-07-09 09:10:48 -04:00
list-style-type: none;
2021-06-03 10:12:32 -04:00
right: 20px;
background-color: rgba(255, 255, 255, 0.9);
2021-06-04 14:35:18 -04:00
color: rgb(0, 0, 0);
2021-06-03 10:12:32 -04:00
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;
}
2021-06-03 02:56:11 -04:00
2021-06-03 10:12:32 -04:00
.djs-editor:not(.enabled) {
color: #CCC;
pointer-events: none;
}
2021-06-03 01:45:51 -04:00
2021-07-09 09:10:48 -04:00
/*.djs-editor:not(.open) {*/
/* overflow: hidden;*/
/*}*/
2021-07-08 15:31:36 -04:00
.djs-editor:not(.open) .toolbar{
display: none !important;
}
2021-06-03 01:45:51 -04:00
2021-06-04 14:35:18 -04:00
.djs-editor.open .toolbar {
2021-06-09 23:57:05 -04:00
display: block;
}
2021-07-09 09:10:48 -04:00
.djs-editor:not(.open) .ide {
display: none !important;
}
.djs-editor.open .ide {
display: block;
}
2021-06-09 23:57:05 -04:00
.toolbar {
2021-07-08 15:17:27 -04:00
position: relative;
z-index: 1;
2021-07-09 09:10:48 -04:00
padding-left: 40px;
2021-06-09 23:57:05 -04:00
}
2021-07-08 15:17:27 -04:00
#run_btn {
font-family: "Material Icons", sans-serif;
2021-06-09 23:57:05 -04:00
}
2021-07-08 15:17:27 -04:00
#exit_btn {
font-family: "Material Icons", sans-serif;
2021-06-09 23:57:05 -04:00
}
2021-07-08 15:17:27 -04:00
#exit_btn:before {
content: "close";
2021-06-09 23:57:05 -04:00
}
2021-06-04 14:35:18 -04:00
#run_btn:before {
content: "build";
2021-06-03 10:12:32 -04:00
}
2021-06-03 01:45:51 -04:00
2021-06-09 23:57:05 -04:00
#run_btn.passing {
color: green;
}
#run_btn.failing {
color: red;
}
#run_btn.unknown {
color: rgba(207, 168, 10, 0.842);
}
2021-06-03 10:12:32 -04:00
.djs-editor .ide {
2021-06-09 23:57:05 -04:00
position: relative;
z-index: 0;
2021-06-03 10:12:32 -04:00
display: none;
2021-06-04 14:35:18 -04:00
width: 100%;
min-width: 420px;
2021-06-03 10:12:32 -04:00
height: 280px;
}
2021-06-03 05:34:26 -04:00
2021-06-03 10:12:32 -04:00
.djs-editor:not(.open) .toggle {
width: 46px;
height: 46px;
line-height: 46px;
content: "dvr" !important;
text-align: center;
}
.djs-editor.open .toggle:before {
font-family: "Material Icons", sans-serif;
content: "close" !important;
font-size: 24px;
}
.djs-editor:not(.open) .toggle:before {
font-family: "Material Icons", sans-serif;
content: "dvr" !important;
font-size: 24px;
}
.djs-editor .toggle:before {
content: attr(title);
}
.djs-editor.open .toggle {
position: absolute;
right: 0;
padding: 6px;
z-index: 1;
2021-06-09 23:57:05 -04:00
}