Skip to content

Commit

Permalink
color
Browse files Browse the repository at this point in the history
  • Loading branch information
yveshauser committed Dec 12, 2024
1 parent eefd69b commit 2b90c28
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion formal-spec/docs/leios-state-transition-diag.tex
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
\path[-stealth] (focus) edge[out=45,in=135,looseness=15, color=bleudefrance] node[above] {\textcolor{black}{Vote Role}} (focus);
\path[-stealth] (focus) edge[out=45,in=135,looseness=20, color=jasper] node[above] {\textcolor{black}{$Base_{2}$}} (focus);
\path[-stealth] (focus) edge[out=45,in=135,looseness=25, color=jasper, dashed] node[above] {\textcolor{black}{$Base_{1}$}} (focus);
\path[-stealth] (focus) edge[out=45,in=135,looseness=30, color=jasper, dashed] node[above] {\textcolor{black}{Ftch}} (focus);
\path[-stealth] (focus) edge[out=45,in=135,looseness=30, dashed] node[above] {\textcolor{black}{Ftch}} (focus);
\path[-stealth] (focus) edge[out=225,in=315,looseness=5] node[above] {\textcolor{black}{Not IB Role}} (focus);
\path[-stealth] (focus) edge[out=225,in=315,looseness=10] node[above] {\textcolor{black}{Not EB Role}} (focus);
\path[-stealth] (focus) edge[out=225,in=315,looseness=15] node[above] {\textcolor{black}{Not Vote Role}} (focus);
Expand Down

0 comments on commit 2b90c28

Please sign in to comment.