2021-11-25 15:13:40 +00:00
|
|
|
@define-color graphview-link #808080;
|
|
|
|
|
2021-12-13 17:15:48 +00:00
|
|
|
button.node {
|
|
|
|
color: rgb(0, 0, 255);
|
|
|
|
background: rgb(170, 255, 170);
|
2022-01-18 16:17:36 +00:00
|
|
|
border-width: 2px;
|
|
|
|
border-style: solid;
|
|
|
|
border-radius: 10px;
|
|
|
|
border-color: rgb(0, 0, 0);
|
2021-12-13 17:15:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
button.node-selected {
|
|
|
|
border-color: rgb(255, 0, 0);
|
|
|
|
background: rgb(170, 255, 170);
|
|
|
|
}
|
|
|
|
|
2023-02-13 14:53:18 +00:00
|
|
|
button.node-light {
|
|
|
|
border-style: dashed;
|
|
|
|
}
|
|
|
|
|
2021-12-13 17:15:48 +00:00
|
|
|
button.port {
|
|
|
|
color: rgb(0, 0, 255);
|
2022-01-18 16:17:36 +00:00
|
|
|
border-width: 2px;
|
|
|
|
border-style: solid;
|
|
|
|
border-radius: 10px;
|
|
|
|
border-color: rgb(0, 0, 0);
|
2021-12-13 17:15:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
button.port-selected {
|
|
|
|
border-color: rgb(255, 0, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
button.port-out {
|
|
|
|
background: rgb(255, 170, 170);
|
|
|
|
}
|
|
|
|
|
|
|
|
button.port-in {
|
|
|
|
background: rgb(170, 170, 255);
|
2021-11-25 15:13:40 +00:00
|
|
|
}
|
|
|
|
|
2022-01-18 16:17:36 +00:00
|
|
|
button.port-sometimes {
|
|
|
|
border-style: dashed;
|
|
|
|
}
|
|
|
|
|
|
|
|
button.port-always {
|
|
|
|
border-style: solid;
|
|
|
|
}
|
|
|
|
|
2021-11-25 15:13:40 +00:00
|
|
|
graphview {
|
|
|
|
background: #d0d2d4;
|
2023-02-13 14:53:18 +00:00
|
|
|
}
|