pepperplus/pepperplus-ui
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Merge branch 'feat/monitoringpage-pim' into feat/monitoringpage

Browse Source
This commit is contained in:
Pim Hutting
2026-01-12 13:04:15 +01:00
parent a0a4687aeb f0c67c00dc
commit c2486f5f43
58 changed files with 4916 additions and 525 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
src/pages/VisProgPage/VisProg.module.css
View File

@@ -71,6 +71,11 @@
filter: drop-shadow(0 0 0.25rem red);
}
.node-basic_belief {
outline: plum solid 2pt;
filter: drop-shadow(0 0 0.25rem plum);
}
.draggable-node {
padding: 3px 10px;
background-color: canvas;
@@ -127,6 +132,19 @@
filter: drop-shadow(0 0 0.25rem red);
}
.draggable-node-basic_belief {
padding: 3px 10px;
background-color: canvas;
border-radius: 5pt;
outline: plum solid 2pt;
filter: drop-shadow(0 0 0.25rem plum);
}
.planNoIterate {
opacity: 0.5;
font-style: italic;
text-decoration: line-through;
}
.backButton {
background: var(--bg-surface);
box-shadow: var(--panel-shadow);