diff options
Diffstat (limited to 'graph/web/index.html')
| -rw-r--r-- | graph/web/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/graph/web/index.html b/graph/web/index.html index 771d3d4a..a568cbc6 100644 --- a/graph/web/index.html +++ b/graph/web/index.html @@ -19,9 +19,12 @@ .edge { fill:none; stroke-width:1.5; } .edge.CTRL { stroke-width:2; } .edge.ASSOC { stroke-dasharray:4 4; } + .edge.PARSER { stroke-dasharray:5 4; } + .parser rect { fill:#f6f0ff; stroke:#7956a5; stroke-width:1.5; stroke-dasharray:5 4; } .edge.selected { stroke-width:3.5; } .node { cursor:pointer; } .box { stroke:#758191; stroke-width:1; } + .node.held .box { stroke-dasharray:5 3; } .node.near .box { stroke:#c18221; stroke-width:2; } .node.focus .box { stroke:#9c4900; stroke-width:3; } .node.selected .box { stroke:#1569b9; stroke-width:3; } @@ -29,6 +32,8 @@ .label { font-size:12px; fill:#152330; font-weight:600; } .type { font-size:11px; fill:#455768; } .port { stroke:#536477; stroke-width:1; } + .row { stroke:#b6afcf; stroke-width:1; } + .bind { font-size:12px; fill:#152330; } .slot { font-size:10px; fill:#364352; paint-order:stroke; stroke:#fafbfc; stroke-width:3; } #detail { position:absolute; top:8px; right:8px; margin:0; padding:12px; max-width:320px; max-height:45%; overflow:auto; white-space:pre-wrap; overflow-wrap:anywhere; |