@typeonce/effect-machine-devtools 0.31.0 → 0.31.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/client/assets/index-CSgOYHLh.js +37 -0
- package/dist/client/assets/index-DkC3PbTy.css +1 -0
- package/dist/client/index.html +2 -2
- package/package.json +2 -2
- package/src/internal/browser/chart-layout.ts +21 -7
- package/src/internal/browser/chart-model.ts +51 -1
- package/src/internal/browser/chart-renderer.ts +67 -4
- package/src/internal/browser/styles.css +234 -76
- package/dist/client/assets/index-ZUqYOHbc.css +0 -1
- package/dist/client/assets/index-gxgK_rqB.js +0 -37
|
@@ -13,6 +13,20 @@
|
|
|
13
13
|
--accent: #75a7ff;
|
|
14
14
|
--accent-bg: rgb(75 125 255 / 18%);
|
|
15
15
|
--orange: #f0a35b;
|
|
16
|
+
--danger: #d8757b;
|
|
17
|
+
--danger-strong: #efafb3;
|
|
18
|
+
--danger-background: #241416;
|
|
19
|
+
--danger-border: #945057;
|
|
20
|
+
--chart-surface: #171c23;
|
|
21
|
+
--chart-surface-raised: #1a2028;
|
|
22
|
+
--chart-border: #3a4551;
|
|
23
|
+
--chart-border-soft: #303944;
|
|
24
|
+
--chart-text: #d5dbe3;
|
|
25
|
+
--chart-text-muted: #a2acb8;
|
|
26
|
+
--chart-completion: #82b4c8;
|
|
27
|
+
--chart-failure: var(--danger);
|
|
28
|
+
--chart-source: #d18f68;
|
|
29
|
+
--chart-target: #78a9c9;
|
|
16
30
|
}
|
|
17
31
|
|
|
18
32
|
* {
|
|
@@ -104,7 +118,7 @@ body {
|
|
|
104
118
|
}
|
|
105
119
|
|
|
106
120
|
.machine-row-status.status-ready {
|
|
107
|
-
background: #
|
|
121
|
+
background: #67a9cf;
|
|
108
122
|
}
|
|
109
123
|
|
|
110
124
|
.machine-row-status.status-partial {
|
|
@@ -112,7 +126,7 @@ body {
|
|
|
112
126
|
}
|
|
113
127
|
|
|
114
128
|
.machine-row-status.status-error {
|
|
115
|
-
background:
|
|
129
|
+
background: var(--danger);
|
|
116
130
|
}
|
|
117
131
|
|
|
118
132
|
.machine-row-label,
|
|
@@ -161,7 +175,7 @@ body {
|
|
|
161
175
|
}
|
|
162
176
|
|
|
163
177
|
.connection-failure {
|
|
164
|
-
color:
|
|
178
|
+
color: var(--danger-strong);
|
|
165
179
|
}
|
|
166
180
|
|
|
167
181
|
button {
|
|
@@ -215,8 +229,8 @@ button {
|
|
|
215
229
|
}
|
|
216
230
|
|
|
217
231
|
.badge-error {
|
|
218
|
-
color:
|
|
219
|
-
background: rgb(
|
|
232
|
+
color: var(--danger-strong);
|
|
233
|
+
background: rgb(190 72 82 / 15%);
|
|
220
234
|
}
|
|
221
235
|
|
|
222
236
|
.toolbar {
|
|
@@ -426,14 +440,14 @@ button {
|
|
|
426
440
|
|
|
427
441
|
.chart-compound {
|
|
428
442
|
position: absolute;
|
|
429
|
-
border: 1px solid
|
|
443
|
+
border: 1px solid var(--chart-border-soft);
|
|
430
444
|
border-radius: 5px;
|
|
431
|
-
background: rgb(
|
|
445
|
+
background: rgb(21 26 32 / 78%);
|
|
432
446
|
}
|
|
433
447
|
|
|
434
448
|
.chart-compound-parallel {
|
|
435
|
-
border-color:
|
|
436
|
-
background: rgb(
|
|
449
|
+
border-color: var(--chart-border);
|
|
450
|
+
background: rgb(24 30 38 / 80%);
|
|
437
451
|
}
|
|
438
452
|
|
|
439
453
|
.chart-unconnected-region {
|
|
@@ -459,10 +473,10 @@ button {
|
|
|
459
473
|
flex-direction: column;
|
|
460
474
|
justify-content: center;
|
|
461
475
|
padding: 12px;
|
|
462
|
-
border: 1px solid
|
|
476
|
+
border: 1px solid var(--chart-border);
|
|
463
477
|
border-radius: 4px;
|
|
464
|
-
color:
|
|
465
|
-
background:
|
|
478
|
+
color: var(--chart-text);
|
|
479
|
+
background: var(--chart-surface);
|
|
466
480
|
box-shadow: 0 4px 14px rgb(0 0 0 / 18%);
|
|
467
481
|
overflow: hidden;
|
|
468
482
|
text-align: left;
|
|
@@ -473,8 +487,8 @@ button {
|
|
|
473
487
|
|
|
474
488
|
.chart-state-compound,
|
|
475
489
|
.chart-state-parallel {
|
|
476
|
-
border-color: #
|
|
477
|
-
background:
|
|
490
|
+
border-color: #465362;
|
|
491
|
+
background: var(--chart-surface-raised);
|
|
478
492
|
}
|
|
479
493
|
|
|
480
494
|
.chart-state-final {
|
|
@@ -483,7 +497,7 @@ button {
|
|
|
483
497
|
|
|
484
498
|
.chart-state-history,
|
|
485
499
|
.chart-state-choice {
|
|
486
|
-
background: #
|
|
500
|
+
background: #1c1a21;
|
|
487
501
|
}
|
|
488
502
|
|
|
489
503
|
.chart-state:not(:disabled):hover,
|
|
@@ -538,7 +552,7 @@ button {
|
|
|
538
552
|
|
|
539
553
|
.chart-activity-kind,
|
|
540
554
|
.chart-more {
|
|
541
|
-
color:
|
|
555
|
+
color: var(--chart-text-muted);
|
|
542
556
|
font-size: 9px;
|
|
543
557
|
line-height: 1.3;
|
|
544
558
|
}
|
|
@@ -551,7 +565,7 @@ button {
|
|
|
551
565
|
width: min(300px, 100%);
|
|
552
566
|
margin-top: 8px;
|
|
553
567
|
padding-top: 7px;
|
|
554
|
-
border-top: 1px solid #
|
|
568
|
+
border-top: 1px solid #333d48;
|
|
555
569
|
}
|
|
556
570
|
|
|
557
571
|
.chart-activity-row {
|
|
@@ -565,7 +579,7 @@ button {
|
|
|
565
579
|
}
|
|
566
580
|
|
|
567
581
|
.chart-activity-name {
|
|
568
|
-
color: #
|
|
582
|
+
color: #d1d7df;
|
|
569
583
|
font-size: 10px;
|
|
570
584
|
}
|
|
571
585
|
|
|
@@ -578,7 +592,7 @@ button {
|
|
|
578
592
|
|
|
579
593
|
.chart-activity-kind {
|
|
580
594
|
min-width: max-content;
|
|
581
|
-
color: var(--chart-activity-color, #
|
|
595
|
+
color: var(--chart-activity-color, #82a9cb);
|
|
582
596
|
overflow: visible;
|
|
583
597
|
text-overflow: clip;
|
|
584
598
|
}
|
|
@@ -586,41 +600,41 @@ button {
|
|
|
586
600
|
.chart-activity-process,
|
|
587
601
|
.chart-edge-activity-process,
|
|
588
602
|
.badge-activity-process {
|
|
589
|
-
--chart-activity-color: #
|
|
590
|
-
--chart-activity-border: #
|
|
591
|
-
--chart-activity-background: #
|
|
603
|
+
--chart-activity-color: #c99a82;
|
|
604
|
+
--chart-activity-border: #624d42;
|
|
605
|
+
--chart-activity-background: #1d1714;
|
|
592
606
|
}
|
|
593
607
|
|
|
594
608
|
.chart-activity-effect,
|
|
595
609
|
.chart-edge-activity-effect,
|
|
596
610
|
.badge-activity-effect {
|
|
597
|
-
--chart-activity-color: #
|
|
598
|
-
--chart-activity-border: #
|
|
599
|
-
--chart-activity-background: #
|
|
611
|
+
--chart-activity-color: #82a9cb;
|
|
612
|
+
--chart-activity-border: #435c71;
|
|
613
|
+
--chart-activity-background: #121a22;
|
|
600
614
|
}
|
|
601
615
|
|
|
602
616
|
.chart-activity-timer,
|
|
603
617
|
.chart-edge-activity-timer,
|
|
604
618
|
.badge-activity-timer {
|
|
605
|
-
--chart-activity-color: #
|
|
606
|
-
--chart-activity-border: #
|
|
607
|
-
--chart-activity-background: #
|
|
619
|
+
--chart-activity-color: #c1ad73;
|
|
620
|
+
--chart-activity-border: #625842;
|
|
621
|
+
--chart-activity-background: #1c1a13;
|
|
608
622
|
}
|
|
609
623
|
|
|
610
624
|
.chart-activity-stream,
|
|
611
625
|
.chart-edge-activity-stream,
|
|
612
626
|
.badge-activity-stream {
|
|
613
|
-
--chart-activity-color: #
|
|
614
|
-
--chart-activity-border: #
|
|
615
|
-
--chart-activity-background: #
|
|
627
|
+
--chart-activity-color: #75a9ad;
|
|
628
|
+
--chart-activity-border: #3f5c5f;
|
|
629
|
+
--chart-activity-background: #111a1b;
|
|
616
630
|
}
|
|
617
631
|
|
|
618
632
|
.chart-activity-machine,
|
|
619
633
|
.chart-edge-activity-machine,
|
|
620
634
|
.badge-activity-machine {
|
|
621
|
-
--chart-activity-color: #
|
|
622
|
-
--chart-activity-border: #
|
|
623
|
-
--chart-activity-background: #
|
|
635
|
+
--chart-activity-color: #a99cbd;
|
|
636
|
+
--chart-activity-border: #574e67;
|
|
637
|
+
--chart-activity-background: #1a1720;
|
|
624
638
|
}
|
|
625
639
|
|
|
626
640
|
.chart-more {
|
|
@@ -701,21 +715,153 @@ button {
|
|
|
701
715
|
}
|
|
702
716
|
|
|
703
717
|
.chart-edge-label {
|
|
718
|
+
--chart-edge-label-background: #151a20;
|
|
719
|
+
--chart-edge-label-border: #3a4551;
|
|
720
|
+
--chart-edge-label-shadow: none;
|
|
704
721
|
position: absolute;
|
|
722
|
+
display: flex;
|
|
705
723
|
padding: 4px 7px;
|
|
706
|
-
border:
|
|
707
|
-
|
|
708
|
-
|
|
709
|
-
|
|
724
|
+
border: 0;
|
|
725
|
+
align-items: center;
|
|
726
|
+
justify-content: center;
|
|
727
|
+
color: #d1d7df;
|
|
728
|
+
background: transparent;
|
|
710
729
|
font: 10px/1 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
|
|
711
|
-
overflow:
|
|
712
|
-
text-overflow: ellipsis;
|
|
730
|
+
overflow: visible;
|
|
713
731
|
white-space: nowrap;
|
|
714
732
|
cursor: pointer;
|
|
715
733
|
pointer-events: auto;
|
|
716
734
|
user-select: none;
|
|
717
735
|
}
|
|
718
736
|
|
|
737
|
+
.chart-edge-label::before {
|
|
738
|
+
position: absolute;
|
|
739
|
+
border: 1px solid var(--chart-edge-label-border);
|
|
740
|
+
border-radius: 3px;
|
|
741
|
+
background: var(--chart-edge-label-background);
|
|
742
|
+
box-shadow: var(--chart-edge-label-shadow);
|
|
743
|
+
content: "";
|
|
744
|
+
inset: 0;
|
|
745
|
+
}
|
|
746
|
+
|
|
747
|
+
.chart-edge-label-corner-badge {
|
|
748
|
+
padding: 8px 11px 4px 7px;
|
|
749
|
+
}
|
|
750
|
+
|
|
751
|
+
.chart-edge-label-corner-badge::before {
|
|
752
|
+
top: 4px;
|
|
753
|
+
right: 4px;
|
|
754
|
+
}
|
|
755
|
+
|
|
756
|
+
.chart-edge-label-text {
|
|
757
|
+
position: relative;
|
|
758
|
+
z-index: 1;
|
|
759
|
+
min-width: 0;
|
|
760
|
+
overflow: hidden;
|
|
761
|
+
text-align: center;
|
|
762
|
+
text-overflow: ellipsis;
|
|
763
|
+
white-space: nowrap;
|
|
764
|
+
}
|
|
765
|
+
|
|
766
|
+
.chart-edge-badges {
|
|
767
|
+
position: absolute;
|
|
768
|
+
z-index: 2;
|
|
769
|
+
top: 0;
|
|
770
|
+
right: 0;
|
|
771
|
+
display: flex;
|
|
772
|
+
min-width: 0;
|
|
773
|
+
flex: 0 0 auto;
|
|
774
|
+
align-items: center;
|
|
775
|
+
gap: 3px;
|
|
776
|
+
}
|
|
777
|
+
|
|
778
|
+
.chart-edge-label-icon-only {
|
|
779
|
+
display: flex;
|
|
780
|
+
padding: 0;
|
|
781
|
+
align-items: center;
|
|
782
|
+
justify-content: center;
|
|
783
|
+
}
|
|
784
|
+
|
|
785
|
+
.chart-edge-label-icon-only::before {
|
|
786
|
+
display: none;
|
|
787
|
+
}
|
|
788
|
+
|
|
789
|
+
.chart-edge-label-icon-only .chart-edge-badges {
|
|
790
|
+
position: static;
|
|
791
|
+
}
|
|
792
|
+
|
|
793
|
+
.chart-edge-badge {
|
|
794
|
+
display: inline-flex;
|
|
795
|
+
width: 11px;
|
|
796
|
+
height: 11px;
|
|
797
|
+
flex: 0 0 auto;
|
|
798
|
+
align-items: center;
|
|
799
|
+
justify-content: center;
|
|
800
|
+
border: 1px solid currentColor;
|
|
801
|
+
border-radius: 50%;
|
|
802
|
+
background: #161b22;
|
|
803
|
+
}
|
|
804
|
+
|
|
805
|
+
.chart-edge-badge-icon {
|
|
806
|
+
width: 8px;
|
|
807
|
+
height: 8px;
|
|
808
|
+
overflow: visible;
|
|
809
|
+
fill: none;
|
|
810
|
+
stroke: currentColor;
|
|
811
|
+
stroke-linecap: round;
|
|
812
|
+
stroke-linejoin: round;
|
|
813
|
+
stroke-width: 1.8;
|
|
814
|
+
}
|
|
815
|
+
|
|
816
|
+
.chart-edge-badge-icon-fill {
|
|
817
|
+
fill: currentColor;
|
|
818
|
+
stroke: none;
|
|
819
|
+
}
|
|
820
|
+
|
|
821
|
+
.chart-edge-badge-completion {
|
|
822
|
+
color: var(--chart-completion);
|
|
823
|
+
}
|
|
824
|
+
|
|
825
|
+
.chart-edge-badge-failure {
|
|
826
|
+
color: var(--chart-failure);
|
|
827
|
+
}
|
|
828
|
+
|
|
829
|
+
.chart-edge-badge-element {
|
|
830
|
+
color: #7fadb7;
|
|
831
|
+
}
|
|
832
|
+
|
|
833
|
+
.chart-edge-badge-snapshot {
|
|
834
|
+
color: #aaa0bd;
|
|
835
|
+
}
|
|
836
|
+
|
|
837
|
+
.chart-edge-badge-always {
|
|
838
|
+
color: #b8a66f;
|
|
839
|
+
}
|
|
840
|
+
|
|
841
|
+
.chart-edge-badge-choice {
|
|
842
|
+
color: #aa9abd;
|
|
843
|
+
}
|
|
844
|
+
|
|
845
|
+
.chart-edge-badge-branches {
|
|
846
|
+
width: auto;
|
|
847
|
+
min-width: 21px;
|
|
848
|
+
padding: 0 2px;
|
|
849
|
+
border-radius: 6px;
|
|
850
|
+
gap: 1px;
|
|
851
|
+
color: #a3acb8;
|
|
852
|
+
}
|
|
853
|
+
|
|
854
|
+
.chart-edge-badge-branches .chart-edge-badge-icon {
|
|
855
|
+
width: 7px;
|
|
856
|
+
height: 7px;
|
|
857
|
+
}
|
|
858
|
+
|
|
859
|
+
.chart-edge-badge-count {
|
|
860
|
+
font-size: 6px;
|
|
861
|
+
font-weight: 700;
|
|
862
|
+
line-height: 1;
|
|
863
|
+
}
|
|
864
|
+
|
|
719
865
|
.chart-edge-group.chart-edge-parent-child .chart-edge-line,
|
|
720
866
|
.chart-edge-group.chart-edge-parent-child .chart-edge-direction,
|
|
721
867
|
.chart-edge-group.chart-edge-parent-child .chart-edge-parent-origin {
|
|
@@ -727,16 +873,16 @@ button {
|
|
|
727
873
|
}
|
|
728
874
|
|
|
729
875
|
.chart-edge-label-parent-child {
|
|
730
|
-
|
|
876
|
+
--chart-edge-label-background: #17151b;
|
|
877
|
+
--chart-edge-label-border: #4d465a;
|
|
878
|
+
--chart-edge-label-shadow: inset 2px 0 #6f6681;
|
|
731
879
|
color: #aea5c1;
|
|
732
|
-
background: #17151b;
|
|
733
|
-
box-shadow: inset 2px 0 #6f6681;
|
|
734
880
|
}
|
|
735
881
|
|
|
736
882
|
.chart-edge-label:not(:disabled):hover,
|
|
737
883
|
.chart-edge-label:focus-visible,
|
|
738
884
|
.chart-edge-group.is-hovered + .chart-edge-label {
|
|
739
|
-
border
|
|
885
|
+
--chart-edge-label-border: #53657e;
|
|
740
886
|
color: #fff;
|
|
741
887
|
outline: none;
|
|
742
888
|
}
|
|
@@ -793,22 +939,34 @@ button {
|
|
|
793
939
|
.chart-edge-label.chart-edge-activity-timer,
|
|
794
940
|
.chart-edge-label.chart-edge-activity-stream,
|
|
795
941
|
.chart-edge-label.chart-edge-activity-machine {
|
|
796
|
-
|
|
942
|
+
--chart-edge-label-background: var(--chart-activity-background);
|
|
943
|
+
--chart-edge-label-border: var(--chart-activity-border);
|
|
797
944
|
color: var(--chart-activity-color);
|
|
798
|
-
|
|
945
|
+
}
|
|
946
|
+
|
|
947
|
+
.chart-edge-group.chart-edge-failure .chart-edge-line,
|
|
948
|
+
.chart-edge-group.chart-edge-failure .chart-edge-direction,
|
|
949
|
+
.chart-edge-group.chart-edge-failure .chart-edge-parent-origin {
|
|
950
|
+
stroke: var(--chart-failure);
|
|
951
|
+
}
|
|
952
|
+
|
|
953
|
+
.chart-edge-label.chart-edge-label-failure {
|
|
954
|
+
--chart-edge-label-background: var(--danger-background);
|
|
955
|
+
--chart-edge-label-border: var(--danger-border);
|
|
956
|
+
color: var(--danger-strong);
|
|
799
957
|
}
|
|
800
958
|
|
|
801
959
|
.chart-edge-group.is-incoming .chart-edge-line,
|
|
802
960
|
.chart-edge-group.is-incoming .chart-edge-direction,
|
|
803
961
|
.chart-edge-group.is-incoming .chart-edge-parent-origin {
|
|
804
|
-
stroke:
|
|
962
|
+
stroke: var(--chart-source);
|
|
805
963
|
stroke-width: 2;
|
|
806
964
|
}
|
|
807
965
|
|
|
808
966
|
.chart-edge-group.is-outgoing .chart-edge-line,
|
|
809
967
|
.chart-edge-group.is-outgoing .chart-edge-direction,
|
|
810
968
|
.chart-edge-group.is-outgoing .chart-edge-parent-origin {
|
|
811
|
-
stroke:
|
|
969
|
+
stroke: var(--chart-target);
|
|
812
970
|
stroke-width: 2;
|
|
813
971
|
}
|
|
814
972
|
|
|
@@ -826,38 +984,38 @@ button {
|
|
|
826
984
|
}
|
|
827
985
|
|
|
828
986
|
.chart-edge-label.is-hovered {
|
|
829
|
-
border
|
|
987
|
+
--chart-edge-label-border: #526783;
|
|
830
988
|
color: #dbe8ff;
|
|
831
989
|
}
|
|
832
990
|
|
|
833
991
|
.chart-edge-label.is-walkthrough-unavailable {
|
|
834
|
-
|
|
992
|
+
--chart-edge-label-background: #151412;
|
|
993
|
+
--chart-edge-label-border: #4e4a43;
|
|
835
994
|
color: #8d8679;
|
|
836
|
-
background: #151412;
|
|
837
995
|
}
|
|
838
996
|
|
|
839
997
|
.chart-edge-label.is-incoming {
|
|
840
|
-
|
|
841
|
-
|
|
842
|
-
|
|
998
|
+
--chart-edge-label-background: #241914;
|
|
999
|
+
--chart-edge-label-border: #8e5f43;
|
|
1000
|
+
color: #f0b590;
|
|
843
1001
|
}
|
|
844
1002
|
|
|
845
1003
|
.chart-edge-label.is-outgoing {
|
|
846
|
-
|
|
847
|
-
|
|
848
|
-
|
|
1004
|
+
--chart-edge-label-background: #111c24;
|
|
1005
|
+
--chart-edge-label-border: #4d7188;
|
|
1006
|
+
color: #a9d3e7;
|
|
849
1007
|
}
|
|
850
1008
|
|
|
851
1009
|
.chart-edge-label.is-selected {
|
|
852
|
-
|
|
1010
|
+
--chart-edge-label-background: #18253a;
|
|
1011
|
+
--chart-edge-label-border: #719ce0;
|
|
853
1012
|
color: #fff;
|
|
854
|
-
background: #18253a;
|
|
855
1013
|
}
|
|
856
1014
|
|
|
857
1015
|
.chart-edge-label.is-walkthrough-available {
|
|
858
|
-
|
|
1016
|
+
--chart-edge-label-background: #211b12;
|
|
1017
|
+
--chart-edge-label-border: #8d713c;
|
|
859
1018
|
color: #f0d39a;
|
|
860
|
-
background: #211b12;
|
|
861
1019
|
}
|
|
862
1020
|
|
|
863
1021
|
.chart-state.is-selected,
|
|
@@ -870,22 +1028,22 @@ button {
|
|
|
870
1028
|
.chart-compound.is-related-to,
|
|
871
1029
|
.chart-state.is-hover-target,
|
|
872
1030
|
.chart-compound.is-hover-target {
|
|
873
|
-
border-color: #
|
|
874
|
-
background: rgb(
|
|
1031
|
+
border-color: #5e8aa3;
|
|
1032
|
+
background: rgb(54 112 143 / 30%);
|
|
875
1033
|
}
|
|
876
1034
|
|
|
877
1035
|
.chart-state.is-related-from,
|
|
878
1036
|
.chart-compound.is-related-from,
|
|
879
1037
|
.chart-state.is-hover-source,
|
|
880
1038
|
.chart-compound.is-hover-source {
|
|
881
|
-
border-color: #
|
|
882
|
-
background: rgb(
|
|
1039
|
+
border-color: #9b684c;
|
|
1040
|
+
background: rgb(149 84 48 / 30%);
|
|
883
1041
|
}
|
|
884
1042
|
|
|
885
1043
|
.chart-state.is-related-from.is-related-to,
|
|
886
1044
|
.chart-compound.is-related-from.is-related-to {
|
|
887
|
-
border-color: #
|
|
888
|
-
background: linear-gradient(135deg, rgb(
|
|
1045
|
+
border-color: #777a91;
|
|
1046
|
+
background: linear-gradient(135deg, rgb(149 84 48 / 30%) 0 50%, rgb(54 112 143 / 30%) 50% 100%);
|
|
889
1047
|
}
|
|
890
1048
|
|
|
891
1049
|
.chart-viewport.is-simulating .chart-state:disabled,
|
|
@@ -922,11 +1080,11 @@ button {
|
|
|
922
1080
|
}
|
|
923
1081
|
|
|
924
1082
|
.chart-layout-error {
|
|
925
|
-
color:
|
|
1083
|
+
color: var(--danger);
|
|
926
1084
|
}
|
|
927
1085
|
|
|
928
1086
|
.chart-layout-error strong {
|
|
929
|
-
color:
|
|
1087
|
+
color: var(--danger-strong);
|
|
930
1088
|
}
|
|
931
1089
|
|
|
932
1090
|
.inspector-eyebrow,
|
|
@@ -967,8 +1125,8 @@ button {
|
|
|
967
1125
|
}
|
|
968
1126
|
|
|
969
1127
|
.badge-activity {
|
|
970
|
-
color: #
|
|
971
|
-
background: rgb(
|
|
1128
|
+
color: #acd0e5;
|
|
1129
|
+
background: rgb(82 145 183 / 16%);
|
|
972
1130
|
}
|
|
973
1131
|
|
|
974
1132
|
.badge-activity-process,
|
|
@@ -1044,7 +1202,7 @@ button {
|
|
|
1044
1202
|
}
|
|
1045
1203
|
|
|
1046
1204
|
.failure-kind {
|
|
1047
|
-
color:
|
|
1205
|
+
color: var(--danger-strong);
|
|
1048
1206
|
font: 600 10px/1.2 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
|
|
1049
1207
|
letter-spacing: 0.08em;
|
|
1050
1208
|
text-transform: uppercase;
|
|
@@ -1059,9 +1217,9 @@ button {
|
|
|
1059
1217
|
max-width: 900px;
|
|
1060
1218
|
margin: 4px 0 0;
|
|
1061
1219
|
padding: 14px 16px;
|
|
1062
|
-
border-left: 2px solid
|
|
1063
|
-
color:
|
|
1064
|
-
background:
|
|
1220
|
+
border-left: 2px solid var(--danger-border);
|
|
1221
|
+
color: var(--danger-strong);
|
|
1222
|
+
background: var(--danger-background);
|
|
1065
1223
|
font: 12px/1.6 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
|
|
1066
1224
|
overflow: auto;
|
|
1067
1225
|
white-space: pre-wrap;
|
|
@@ -1664,7 +1822,7 @@ button {
|
|
|
1664
1822
|
}
|
|
1665
1823
|
|
|
1666
1824
|
.input-unsupported {
|
|
1667
|
-
color:
|
|
1825
|
+
color: var(--danger-strong);
|
|
1668
1826
|
}
|
|
1669
1827
|
|
|
1670
1828
|
.value-shape-block {
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;color:#e8eaed;font-synthesis:none;text-rendering:optimizelegibility;--surface:#0f1114;--surface-raised:#14171b;--line:#292d34;--line-soft:#20242a;--muted:#8e949e;--accent:#75a7ff;--accent-bg:#4b7dff2e;--orange:#f0a35b;background:#0b0c0e;font-family:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}*{box-sizing:border-box}html,body,#app{min-width:320px;height:100%;margin:0}body{background:#0b0c0e}.devtools-shell{flex-direction:column;width:100vw;height:100vh;display:flex;overflow:hidden}.machine-index{border-bottom:1px solid var(--line);scrollbar-width:thin;background:#0d0f12;flex:none;width:100%;min-width:0;min-height:48px;padding:0;display:flex;overflow:auto hidden}.machine-row{border:0;border-right:1px solid var(--line-soft);color:#c9cdd2;text-align:left;cursor:pointer;-webkit-user-select:none;user-select:none;background:0 0;flex:none;align-items:center;gap:8px;width:auto;min-width:148px;max-width:280px;min-height:48px;padding:0 16px;display:flex;position:relative}.machine-row:hover,.machine-row:focus-visible{color:#fff;background:#171a1f;outline:none}.machine-row.is-selected{color:#fff;background:#4b7dff1f}.machine-row.is-selected:after{background:var(--accent);content:"";height:2px;position:absolute;bottom:0;left:0;right:0}.machine-row-status{background:#646b75;border-radius:50%;flex:none;width:6px;height:6px}.machine-row-status.status-ready{background:#67c894}.machine-row-status.status-partial{background:var(--orange)}.machine-row-status.status-error{background:#df6964}.machine-row-label,.machine-row-file{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.machine-row-label{font:600 12px/1.3 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.machine-row-file{display:none}.machine-index-empty{color:#646b75;padding:16px;font:11px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.machine-view{flex:1;min-width:0;min-height:0;overflow:hidden}.registry-empty,.connection-failure{color:#7f8690;align-content:start;gap:7px;min-height:100vh;padding:28px;font:12px/1.6 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;display:grid}.registry-empty strong{color:#d4d7dc;font-size:13px}.connection-failure{color:#e4b4b1}button{font:inherit}.app-shell,.workspace{width:100%;height:100%;min-height:0}.workspace{position:relative}.chart-panel{flex-direction:column;width:100%;min-width:0;height:100%;display:flex;position:relative;overflow:hidden}.diagnostics{border-bottom:1px solid var(--line);background:#121418}.diagnostic{color:#aeb4bd;flex-wrap:wrap;align-items:center;gap:8px;min-height:36px;padding:8px 16px;font-size:11px;display:flex}.diagnostic+.diagnostic{border-top:1px solid var(--line-soft)}.badge-warning{color:#e9c89f;background:#f0a35b21}.badge-error{color:#f2aaa7;background:#e0595424}.toolbar{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:2px;min-height:46px;padding:7px 16px;display:flex}.toolbar-actions,.zoom-controls,.runtime-summary{align-items:center;display:flex}.toolbar-actions{gap:2px}.zoom-controls{z-index:5;border:1px solid var(--line-soft);background:#0d0f12f0;border-radius:4px;flex:none;gap:1px;padding:2px;position:absolute;bottom:14px;left:14px;box-shadow:0 8px 28px #00000052}.chart-panel.has-walkthrough .zoom-controls{bottom:88px}.zoom-button{min-width:28px;padding-inline:7px}.zoom-value{color:#aeb4bd;min-width:46px;font:10px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.runtime-summary{color:#7f8690;gap:7px;font:11px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.runtime-dot{background:#555c65;border-radius:50%;width:6px;height:6px}.runtime-dot.has-snapshot{background:var(--accent)}.toolbar-button{color:var(--muted);cursor:pointer;background:0 0;border:0;border-radius:4px;padding:6px 9px;font-size:12px}.toolbar-button:not(:disabled):hover,.toolbar-button:not(:disabled):focus-visible{color:#fff;background:#1b1e23;outline:none}.toolbar-button:disabled{color:#50545c;cursor:default}.toolbar-button[aria-pressed=true]{color:#dce8ff;background:#4167a547}.analysis-button{align-items:center;gap:6px;display:inline-flex}.analysis-button[hidden]{display:none}.analysis-button-count{color:#9da6b3;text-align:center;background:#20242a;border-radius:8px;min-width:17px;padding:2px 5px;font:10px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.topology-chart{flex-direction:column;flex:1;min-height:0;font:13px/1.5 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;display:flex}.topology-empty{color:#7f8690;gap:7px;max-width:420px;margin:26px 8px;font:12px/1.6 Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;display:grid}.topology-empty strong{color:#d4d7dc;font:600 13px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.chart-host,.chart-viewport{width:100%;height:100%}.chart-host{flex:1;min-height:0;position:relative}.chart-viewport{overscroll-behavior:contain;cursor:grab;touch-action:pan-x pan-y;overflow:auto}.chart-viewport.is-panning,.chart-viewport.is-panning .chart-state,.chart-viewport.is-panning .chart-edge-hit,.chart-viewport.is-panning .chart-edge-label{cursor:grabbing;-webkit-user-select:none;user-select:none}.chart-stage{min-width:100%;min-height:100%;position:relative}.chart-canvas{transform-origin:0 0;position:absolute;top:0;left:0}.chart-regions,.chart-edges,.chart-nodes,.chart-labels{position:absolute;inset:0}.chart-regions{z-index:0;pointer-events:none}.chart-edges{z-index:1;pointer-events:none;overflow:visible}.chart-nodes{z-index:2;pointer-events:none}.chart-labels{z-index:3;pointer-events:none}.chart-compound{background:#121519b8;border:1px solid #272c33;border-radius:5px;position:absolute}.chart-compound-parallel{background:#14181ebd;border-color:#303845}.chart-unconnected-region{background:#0e101394;border:1px dashed #353b44;border-radius:5px;position:absolute}.chart-unconnected-region-label{color:#727984;letter-spacing:.05em;text-transform:uppercase;font:9px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;position:absolute;top:17px;left:24px}.chart-state{color:#d9dce1;text-align:left;cursor:pointer;pointer-events:auto;-webkit-user-select:none;user-select:none;background:#14181d;border:1px solid #30363f;border-radius:4px;flex-direction:column;justify-content:center;padding:12px;display:flex;position:absolute;overflow:hidden;box-shadow:0 4px 14px #0000002e}.chart-state-compound,.chart-state-parallel{background:#171b21;border-color:#353c47}.chart-state-final{border-color:#445066}.chart-state-history,.chart-state-choice{background:#18171d}.chart-state:not(:disabled):hover,.chart-state:focus-visible{color:#fff;border-color:#596475;outline:none}.chart-state-heading,.chart-state-identity,.chart-activity-row{align-items:center;min-width:0;display:flex}.chart-state-heading{justify-content:space-between;gap:12px}.chart-state-identity{gap:8px}.chart-state-status{border:1px solid #686f78;border-radius:50%;flex:none;width:7px;height:7px}.chart-state-status.is-active{border-color:var(--accent);background:var(--accent);box-shadow:0 0 0 3px #75a7ff1a}.chart-state-name,.chart-activity-name{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.chart-state-name{font-size:12px}.chart-activity-kind,.chart-more{color:#7e8792;font-size:9px;line-height:1.3}.chart-activity-kind{text-transform:uppercase}.chart-state-section{border-top:1px solid #242a31;width:min(300px,100%);margin-top:8px;padding-top:7px}.chart-activity-row{grid-template-columns:auto minmax(0,1fr);gap:10px;min-height:20px;display:grid}.chart-activity-name{color:#c4c9d0;font-size:10px}.chart-activity-kind{text-overflow:clip;white-space:nowrap;min-width:max-content;color:var(--chart-activity-color,#77a990);flex:0 auto;overflow:visible}.chart-activity-process,.chart-edge-activity-process,.badge-activity-process{--chart-activity-color:#a98978;--chart-activity-border:#51433c;--chart-activity-background:#191513}.chart-activity-effect,.chart-edge-activity-effect,.badge-activity-effect{--chart-activity-color:#7f9f8c;--chart-activity-border:#42564b;--chart-activity-background:#131815}.chart-activity-timer,.chart-edge-activity-timer,.badge-activity-timer{--chart-activity-color:#aaa07c;--chart-activity-border:#57503c;--chart-activity-background:#191812}.chart-activity-stream,.chart-edge-activity-stream,.badge-activity-stream{--chart-activity-color:#7898a2;--chart-activity-border:#405259;--chart-activity-background:#121719}.chart-activity-machine,.chart-edge-activity-machine,.badge-activity-machine{--chart-activity-color:#958aa8;--chart-activity-border:#4d4658;--chart-activity-background:#17151a}.chart-more{min-height:16px;padding-top:2px}.chart-initial{pointer-events:none;background:#b0965d;border-radius:50%;position:absolute;box-shadow:0 0 0 2px #b0965d1a}.chart-runtime-target{color:#858d98;letter-spacing:.04em;text-transform:uppercase;pointer-events:none;-webkit-user-select:none;user-select:none;background:#111419;border:1px dashed #555d68;border-radius:3px;place-items:center;font:9px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;display:grid;position:absolute}.chart-edge-casing,.chart-edge-line,.chart-edge-direction,.chart-edge-hit{fill:none}.chart-edge-parent-origin{fill:#101318;stroke:#89929e;stroke-width:1.8px;vector-effect:non-scaling-stroke}.chart-edge-casing{stroke:#0b0c0e;stroke-width:5.5px;vector-effect:non-scaling-stroke}.chart-edge-line,.chart-edge-direction{stroke:#626b77;stroke-width:1.4px;vector-effect:non-scaling-stroke}.chart-edge-direction{pointer-events:none}.chart-edge-initial .chart-edge-line{stroke:#9f8a5c;stroke-width:1.2px}.chart-edge-hit{stroke:#0000;stroke-width:14px;cursor:pointer;pointer-events:stroke}#chart-arrow path,#chart-direction path,#chart-initial-arrow path{fill:context-stroke}.chart-edge-label{color:#c0c7d0;text-overflow:ellipsis;white-space:nowrap;cursor:pointer;pointer-events:auto;-webkit-user-select:none;user-select:none;background:#101318;border:1px solid #2c333c;border-radius:3px;padding:4px 7px;font:10px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;position:absolute;overflow:hidden}.chart-edge-group.chart-edge-parent-child .chart-edge-line,.chart-edge-group.chart-edge-parent-child .chart-edge-direction,.chart-edge-group.chart-edge-parent-child .chart-edge-parent-origin{stroke:#9187a7}.chart-edge-group.chart-edge-parent-child .chart-edge-parent-origin{fill:#1b1820}.chart-edge-label-parent-child{color:#aea5c1;background:#17151b;border-color:#4d465a;box-shadow:inset 2px 0 #6f6681}.chart-edge-label:not(:disabled):hover,.chart-edge-label:focus-visible,.chart-edge-group.is-hovered+.chart-edge-label{color:#fff;border-color:#53657e;outline:none}.chart-edge-label-always,.chart-edge-label-choice,.chart-edge-label-done{color:#d4b4e9}.chart-edge-group.is-hovered .chart-edge-line,.chart-edge-group.is-hovered .chart-edge-direction,.chart-edge-group.is-hovered .chart-edge-parent-origin{stroke:#7c9ed2;stroke-width:1.8px}.chart-edge-group.is-walkthrough-unavailable .chart-edge-line{stroke:#6e675b;stroke-dasharray:5 5}.chart-edge-group.chart-transition-runtime .chart-edge-line{stroke-dasharray:5 5}.chart-edge-group.chart-edge-trigger-always .chart-edge-line,.chart-edge-group.chart-edge-trigger-choice .chart-edge-line,.chart-edge-group.chart-edge-trigger-done .chart-edge-line,.chart-edge-group.chart-edge-trigger-invoke .chart-edge-line{stroke-dasharray:7 5}.chart-edge-group.chart-edge-activity-process .chart-edge-line,.chart-edge-group.chart-edge-activity-effect .chart-edge-line,.chart-edge-group.chart-edge-activity-timer .chart-edge-line,.chart-edge-group.chart-edge-activity-stream .chart-edge-line,.chart-edge-group.chart-edge-activity-machine .chart-edge-line,.chart-edge-group.chart-edge-activity-process .chart-edge-direction,.chart-edge-group.chart-edge-activity-effect .chart-edge-direction,.chart-edge-group.chart-edge-activity-timer .chart-edge-direction,.chart-edge-group.chart-edge-activity-stream .chart-edge-direction,.chart-edge-group.chart-edge-activity-machine .chart-edge-direction,.chart-edge-group.chart-edge-activity-process .chart-edge-parent-origin,.chart-edge-group.chart-edge-activity-effect .chart-edge-parent-origin,.chart-edge-group.chart-edge-activity-timer .chart-edge-parent-origin,.chart-edge-group.chart-edge-activity-stream .chart-edge-parent-origin,.chart-edge-group.chart-edge-activity-machine .chart-edge-parent-origin{stroke:var(--chart-activity-color)}.chart-edge-label.chart-edge-activity-process,.chart-edge-label.chart-edge-activity-effect,.chart-edge-label.chart-edge-activity-timer,.chart-edge-label.chart-edge-activity-stream,.chart-edge-label.chart-edge-activity-machine{border-color:var(--chart-activity-border);color:var(--chart-activity-color);background:var(--chart-activity-background)}.chart-edge-group.is-incoming .chart-edge-line,.chart-edge-group.is-incoming .chart-edge-direction,.chart-edge-group.is-incoming .chart-edge-parent-origin{stroke:#ed6a70;stroke-width:2px}.chart-edge-group.is-outgoing .chart-edge-line,.chart-edge-group.is-outgoing .chart-edge-direction,.chart-edge-group.is-outgoing .chart-edge-parent-origin{stroke:#6eb6dc;stroke-width:2px}.chart-edge-group.is-selected .chart-edge-line,.chart-edge-group.is-selected .chart-edge-direction,.chart-edge-group.is-selected .chart-edge-parent-origin{stroke:#8ab5ff;stroke-width:2.5px}.chart-edge-group.is-walkthrough-available .chart-edge-line,.chart-edge-group.is-walkthrough-available .chart-edge-direction{stroke:#d5aa57;stroke-width:2px}.chart-edge-label.is-hovered{color:#dbe8ff;border-color:#526783}.chart-edge-label.is-walkthrough-unavailable{color:#8d8679;background:#151412;border-color:#4e4a43}.chart-edge-label.is-incoming{color:#ffd0d2;background:#251416;border-color:#a9484e}.chart-edge-label.is-outgoing{color:#c5e8f7;background:#111c22;border-color:#47758d}.chart-edge-label.is-selected{color:#fff;background:#18253a;border-color:#719ce0}.chart-edge-label.is-walkthrough-available{color:#f0d39a;background:#211b12;border-color:#8d713c}.chart-state.is-selected,.chart-compound.is-selected{background:#2c4b7a6b;border-color:#5f88ca}.chart-state.is-related-to,.chart-compound.is-related-to,.chart-state.is-hover-target,.chart-compound.is-hover-target{background:#30708c3d;border-color:#4f829a}.chart-state.is-related-from,.chart-compound.is-related-from,.chart-state.is-hover-source,.chart-compound.is-hover-source{background:#97303942;border-color:#a94b52}.chart-state.is-related-from.is-related-to,.chart-compound.is-related-from.is-related-to{background:linear-gradient(135deg,#97303947 0 50%,#30708c42 50% 100%);border-color:#6e708f}.chart-viewport.is-simulating .chart-state:disabled,.chart-viewport.is-simulating .chart-edge-label:disabled,.chart-viewport.is-simulating .chart-edge-hit{cursor:default}.chart-viewport.is-simulating .chart-edge-label:disabled,.chart-viewport.is-simulating .chart-edge-hit{pointer-events:none}.chart-viewport.is-simulating .chart-edge-label.is-walkthrough-available,.chart-viewport.is-simulating .chart-edge-label.is-walkthrough-unavailable,.chart-viewport.is-simulating .chart-edge-group.is-walkthrough-available .chart-edge-hit,.chart-viewport.is-simulating .chart-edge-group.is-walkthrough-unavailable .chart-edge-hit{cursor:pointer}.chart-viewport.is-simulating .chart-edge-group.is-walkthrough-available .chart-edge-hit,.chart-viewport.is-simulating .chart-edge-group.is-walkthrough-unavailable .chart-edge-hit{pointer-events:stroke}.chart-loading,.chart-layout-error{color:#7f8690;gap:7px;max-width:440px;margin:28px;font:11px/1.6 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;display:grid}.chart-layout-error{color:#d58d89}.chart-layout-error strong{color:#efb0ac}.inspector-eyebrow,.card-title,.card-flags,.branch-main{align-items:center;gap:6px;display:flex}.badge{color:#a8afb8;letter-spacing:.02em;white-space:nowrap;background:#20242a;border-radius:3px;align-items:center;min-height:18px;padding:2px 6px;font:600 10px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;display:inline-flex}.badge-active{color:#b9d2ff;background:#4b7dff38}.badge-trigger{color:#b9d2ff;background:#4b7dff29}.badge-condition{color:#d9b8ef;background:#ac68e026}.badge-activity{color:#a8ddc4;background:#4eb58324}.badge-activity-process,.badge-activity-effect,.badge-activity-timer,.badge-activity-stream,.badge-activity-machine{color:var(--chart-activity-color);background:var(--chart-activity-background)}.badge-count{color:#858c96;background:0 0}.inspector{z-index:10;background:#0f1114f7;border:1px solid #333943;border-radius:6px;width:min(460px,100% - 28px);min-width:0;padding:0;position:absolute;top:60px;bottom:14px;right:14px;overflow:hidden;box-shadow:0 18px 60px #0000007a}.inspector[hidden]{display:none}.inspector-close{z-index:1;color:#8e949e;cursor:pointer;background:0 0;border:0;border-radius:3px;padding:6px 9px;font-size:11px;position:absolute;top:11px;right:12px}.inspector-content{width:100%;height:100%;padding:48px 24px 24px;overflow:auto}.inspector-close:hover,.inspector-close:focus-visible{color:#fff;background:#20242a;outline:none}.failure-shell{color:#d6d8dc;background:#0b0c0e;align-content:start;gap:12px;min-height:100vh;padding:32px;display:grid}.failure-kind{color:#f2aaa7;letter-spacing:.08em;text-transform:uppercase;font:600 10px/1.2 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.failure-shell h1{margin:0;font:600 18px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.failure-shell pre{color:#e4b4b1;white-space:pre-wrap;background:#151112;border-left:2px solid #a54743;max-width:900px;margin:4px 0 0;padding:14px 16px;font:12px/1.6 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;overflow:auto}.failure-shell p{color:#7f8690;margin:0;font-size:12px}.inspector-empty{max-width:420px;color:var(--muted)}.inspector-empty-kind{color:var(--orange);letter-spacing:.08em;text-transform:uppercase;font:600 10px/1.2 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.inspector-empty h2,.inspector-header h2{color:#f1f2f4;overflow-wrap:anywhere;margin:9px 0 0;font:600 18px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.inspector-title-row,.inspector-state-title{align-items:center;min-width:0;display:flex}.inspector-title-row{justify-content:space-between;gap:16px}.inspector-state-title{gap:9px}.inspector-title-row h2{min-width:0;margin:0}.inspector-empty p,.section-empty{color:var(--muted);font-size:12px;line-height:1.6}.inspector-header{border-bottom:1px solid var(--line);padding-bottom:24px}.analysis-summary{color:#7f8690;margin:12px 0 0;font-size:12px;line-height:1.6}.state-annotations{margin-top:18px}.state-annotations p{color:#aeb4bd;margin:7px 0 0;font-size:12px;line-height:1.6}.state-annotations .state-documentation{color:#7f8690;white-space:pre-wrap;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.breadcrumbs{flex-wrap:wrap;align-items:center;gap:5px;min-width:0;margin-bottom:16px;display:flex}.breadcrumb-separator{color:#555c65}.state-link{color:#9bbfff;overflow-wrap:anywhere;text-align:left;cursor:pointer;background:0 0;border:0;max-width:100%;padding:0;font:11px/1.5 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.state-link:hover,.state-link:focus-visible{color:#d5e4ff;outline:none;text-decoration:underline}.metadata{grid-template-columns:minmax(74px,max-content) minmax(0,1fr);gap:8px 16px;margin:20px 0 0;font-size:11px;display:grid}.metadata dt{color:#727983}.metadata dd{color:#d2d5da;overflow-wrap:anywhere;min-width:0;margin:0;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.inspector-section{margin-top:28px}.section-heading{justify-content:space-between;align-items:center;margin-bottom:11px;display:flex}.section-heading h3{color:#c9cdd2;margin:0;font-size:12px;font-weight:650}.section-count{color:#737a84;font:11px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.inspection-card{border:1px solid var(--line-soft);background:var(--surface-raised);margin-top:8px}.analysis-card{padding-bottom:12px}.analysis-card .state-link{color:#e2e4e7;font-size:12px;font-weight:600}.analysis-message,.analysis-qualification{margin:0;padding:0 12px;font-size:11px;line-height:1.6}.analysis-message{color:#b9bec6}.analysis-qualification{color:#747c87;margin-top:5px}.card-header{justify-content:space-between;align-items:center;gap:12px;min-height:42px;padding:10px 12px;display:flex}.card-title{min-width:0}.card-title strong{color:#e2e4e7;overflow-wrap:anywhere;font:600 12px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.branch-list{border-top:1px solid var(--line-soft)}.branch-row{padding:11px 12px 13px}.branch-row+.branch-row{border-top:1px solid var(--line-soft)}.branch-main{min-width:0}.branch-arrow{color:var(--accent)}.branch-target{color:#d7d9dc;overflow-wrap:anywhere;font:11px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.branch-row .metadata,.transition-card .card-metadata,.activity-card .metadata,.incoming-card .metadata{margin-top:10px}.incoming-card{padding-bottom:12px}.incoming-card .metadata{padding:0 12px}.transition-card .card-metadata{padding:0 12px 10px}.branch-updates{grid-template-columns:minmax(74px,max-content) minmax(0,1fr);gap:8px 16px;margin-top:9px;font-size:11px;display:grid}.branch-updates-label{color:#727983}.branch-updates .state-link+.state-link{grid-column:2}.activity-card{padding-bottom:12px}.activity-card .metadata{padding:0 12px}.walkthrough-dock{border-top:1px solid var(--line);background:#0d0f12fa;flex:none;grid-template-rows:auto auto;gap:6px;min-height:0;max-height:76px;padding:8px 14px 10px;font:10px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;display:grid;box-shadow:0 -12px 32px #0003}.walkthrough-dock[hidden]{display:none}.walkthrough-heading,.walkthrough-identity,.walkthrough-timeline{align-items:center;min-width:0;display:flex}.walkthrough-heading{color:#d4d7dc;justify-content:space-between;gap:12px}.walkthrough-identity{gap:10px}.walkthrough-status,.walkthrough-hint{color:#777f8a}.walkthrough-hint{font-size:9px}.walkthrough-timeline{scrollbar-width:thin;gap:5px;overflow-x:auto}.walkthrough-step{border:1px solid var(--line-soft);color:#aeb4bd;cursor:pointer;white-space:nowrap;background:#14171b;border-radius:3px;flex:none;padding:5px 8px}.walkthrough-step:hover,.walkthrough-step:focus-visible{color:#fff;border-color:#53657e;outline:none}.walkthrough-step.is-current{color:#d8e6ff;background:#2c4b7a61;border-color:#5f88ca}.transition-picker{z-index:20;background:#0f1114fa;border:1px solid #4e4535;border-radius:5px;grid-template-rows:auto minmax(0,1fr);width:min(380px,100vw - 20px);max-height:min(420px,100vh - 68px);display:grid;position:fixed;overflow:hidden;box-shadow:0 18px 60px #00000085}.transition-picker[hidden]{display:none}.transition-picker-header,.transition-picker-choice-main{align-items:center;min-width:0;display:flex}.transition-picker-header{border-bottom:1px solid var(--line-soft);justify-content:space-between;gap:10px;min-height:38px;padding:8px 10px 8px 12px}.transition-picker-header strong{color:#d8dadd;text-overflow:ellipsis;white-space:nowrap;font:600 11px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;overflow:hidden}.transition-picker-close{color:#7f8690;cursor:pointer;background:0 0;border:0;border-radius:3px;padding:4px 6px;font-size:10px}.transition-picker-close:hover,.transition-picker-close:focus-visible{color:#fff;background:#20242a;outline:none}.transition-picker-content{gap:5px;padding:7px;display:grid;overflow:auto}.transition-picker-choice{border:1px solid var(--line-soft);color:#aeb4bd;text-align:left;cursor:pointer;background:#14171b;border-radius:3px;gap:4px;min-width:0;padding:8px 9px;font:10px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;display:grid}.transition-picker-choice:hover,.transition-picker-choice:focus-visible{background:#1d1912;border-color:#8d713c;outline:none}.transition-picker-choice-main{gap:7px}.transition-picker-choice-main strong,.transition-picker-choice-title,.transition-picker-choice-route,.transition-picker-choice-contract,.transition-picker-choice-decision,.transition-picker-choice-unavailable{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.transition-picker-choice-main strong{color:#efd18f}.transition-picker-choice-title{color:#d9b8ef}.transition-picker-choice-route{color:#777f8a}.transition-picker-choice-contract{color:#9ebce9}.transition-picker-choice-decision{color:#b69ac9}.transition-picker-choice-unavailable{color:#a38c6f}.transition-picker-choice.is-unavailable{opacity:.68;cursor:default}.input-contract-fields,.input-contract-field,.input-contract-children,.input-contract-alternatives{gap:9px;display:grid}.input-contract-fields{border:1px solid var(--line-soft);background:var(--surface-raised);padding:11px 12px}.input-contract-field+.input-contract-field{border-top:1px solid var(--line-soft);padding-top:9px}.input-contract-children,.input-contract-alternatives{border-top:1px solid var(--line-soft);border-left:1px solid var(--line-soft);margin-top:2px;padding:9px 0 0 12px}.input-contract .section-empty{margin:0}.input-field-heading{justify-content:space-between;align-items:center;gap:12px;display:flex}.input-field-contract,.input-constraints{flex-wrap:wrap;align-items:center;gap:6px;min-width:0;display:flex}.input-field-contract{flex:none;justify-content:flex-end;margin-left:auto}.input-label,.input-required,.input-optional{font-size:11px}.input-label{color:#cfd3d9;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.input-field-type,.input-constraints span{color:#8294ad;font:10px/1.3 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.input-field-type{background:#4b7dff1f;border-radius:3px;padding:2px 5px}.input-constraints{margin-top:-1px}.input-constraints span+span:before{color:#4f5762;content:"·";margin-right:6px}.input-required{color:#737b86}.input-optional{color:#9199a4;align-items:center;gap:6px;display:inline-flex}.input-description,.input-unsupported{margin:0;font-size:11px;line-height:1.55}.input-description{color:#737b86}.input-unsupported{color:#d7a5a2}.value-shape-block{border:1px solid var(--line-soft);color:#b8c1ce;background:var(--surface-raised);tab-size:2;white-space:pre;margin:0;padding:12px;font:10px/1.55 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;overflow-x:auto}.trace-topology{gap:10px;display:grid}.trace-topology .section-heading{margin-bottom:1px}.trace-path-group,.trace-values,.trace-transitions{gap:7px;display:grid}.trace-path-group{grid-template-columns:78px minmax(0,1fr);align-items:start}.trace-paths{flex-wrap:wrap;gap:4px 10px;min-width:0;display:flex}.trace-label{color:#747c87;text-transform:uppercase;font-size:10px;line-height:1.5}.trace-card{padding-bottom:12px}.trace-card>.trace-path-group,.trace-card>.trace-values,.trace-card>.trace-transitions{margin:0 12px 10px}.trace-transition{flex-wrap:wrap;align-items:center;gap:6px;min-width:0;display:flex}.trace-transition+.trace-path-group{margin:0 0 4px}.trace-results{padding-bottom:24px}.trace-results>.trace-values{margin-top:12px}@media (width<=900px){.machine-row{min-width:132px;max-width:220px}.inspector{width:min(440px,100% - 16px);top:54px;bottom:8px;right:8px}}@media (width<=600px){.toolbar{align-items:flex-start;padding-inline:10px}.toolbar-actions{flex-wrap:wrap;justify-content:flex-end}.runtime-summary{padding-top:8px}.inspector-content{padding:48px 14px 18px}.inspector{top:84px}.zoom-controls{bottom:8px;left:8px}.chart-panel.has-walkthrough .zoom-controls{bottom:88px}}@media (prefers-reduced-motion:no-preference){.chart-state,.chart-edge-label,.toolbar-button{transition:color .12s,background-color .12s,border-color .12s}}
|