1.1 --- a/docs/wiki/Deduction Sat Sep 02 01:55:19 2023 +0200
1.2 +++ b/docs/wiki/Deduction Sun Sep 03 18:18:33 2023 +0200
1.3 @@ -89,7 +89,7 @@
1.4 //format=svg
1.5 //transform=notugly
1.6 digraph indexes {
1.7 - node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Indexes"];
1.8 + node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Indexes"];
1.9 edge [tooltip="Indexes"];
1.10 rankdir=LR;
1.11
1.12 @@ -142,7 +142,7 @@
1.13 //format=svg
1.14 //transform=notugly
1.15 digraph deduction {
1.16 - node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Deduction"];
1.17 + node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Deduction"];
1.18 edge [tooltip="Deduction"];
1.19 rankdir=LR;
1.20
1.21 @@ -192,7 +192,7 @@
1.22 //format=svg
1.23 //transform=notugly
1.24 digraph usage_to_types {
1.25 - node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Usage to types"];
1.26 + node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Usage to types"];
1.27 edge [tooltip="Usage to types"];
1.28 rankdir=LR;
1.29
1.30 @@ -249,7 +249,7 @@
1.31 //format=svg
1.32 //transform=notugly
1.33 digraph instance_providers {
1.34 - node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Instance providers"];
1.35 + node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Instance providers"];
1.36 edge [tooltip="Instance providers"];
1.37 rankdir=LR;
1.38
1.39 @@ -310,7 +310,7 @@
1.40 //format=svg
1.41 //transform=notugly
1.42 digraph assignments {
1.43 - node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Attribute assignments"];
1.44 + node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Attribute assignments"];
1.45 edge [tooltip="Attribute assignments"];
1.46 rankdir=LR;
1.47