blob: 6fb455069f7d34407209cc0c46de95de54428e8d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
/* workaround for a bootstrap bug that keeps the last pushed dropdown active after selection */
.btn-default {
color: #333 !important;
background-color: #fff !important;
border-color: #ccc !important;
}
.schemas-dropdown{
width: 100px;
}
.node-dropdown{
width: 200px;
}
.source-dropdown-div{
margin-left: 20px;
margin-right: 20px;
}
.startendnode-dropdown{
display: flex;
}
.graph-menu
{
display: flex;
width: 80px !important;
}
.modal-button
{
padding-top: 20px;
margin: 0;
}
|