# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1693757995 -7200
# Node ID c5b97b05f886e15ee873ff4bb382b584f9307e96
# Parent  cd0cd8f08c13db7b47554df6711b3834eae232f9# Parent  7a871086efb56dff8311b084ed92ba63b4cb0dc1
Merged changes from the default branch.

diff -r cd0cd8f08c13 -r c5b97b05f886 docs/wiki/Deduction
--- a/docs/wiki/Deduction	Sat Sep 02 01:55:38 2023 +0200
+++ b/docs/wiki/Deduction	Sun Sep 03 18:19:55 2023 +0200
@@ -89,7 +89,7 @@
 //format=svg
 //transform=notugly
 digraph indexes {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Indexes"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Indexes"];
   edge [tooltip="Indexes"];
   rankdir=LR;
 
@@ -142,7 +142,7 @@
 //format=svg
 //transform=notugly
 digraph deduction {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Deduction"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Deduction"];
   edge [tooltip="Deduction"];
   rankdir=LR;
 
@@ -192,7 +192,7 @@
 //format=svg
 //transform=notugly
 digraph usage_to_types {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Usage to types"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Usage to types"];
   edge [tooltip="Usage to types"];
   rankdir=LR;
 
@@ -249,7 +249,7 @@
 //format=svg
 //transform=notugly
 digraph instance_providers {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Instance providers"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Instance providers"];
   edge [tooltip="Instance providers"];
   rankdir=LR;
 
@@ -310,7 +310,7 @@
 //format=svg
 //transform=notugly
 digraph assignments {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Attribute assignments"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Attribute assignments"];
   edge [tooltip="Attribute assignments"];
   rankdir=LR;
 
diff -r cd0cd8f08c13 -r c5b97b05f886 docs/wiki/Imports
--- a/docs/wiki/Imports	Sat Sep 02 01:55:38 2023 +0200
+++ b/docs/wiki/Imports	Sun Sep 03 18:19:55 2023 +0200
@@ -95,7 +95,7 @@
 //format=svg
 //transform=notugly
 digraph mutual {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Mutually-dependent modules"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Mutually-dependent modules"];
   edge [tooltip="Mutually-dependent modules"];
   rankdir=LR;
 
@@ -209,7 +209,7 @@
 //format=svg
 //transform=notugly
 digraph imports {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Import dependencies"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Import dependencies"];
   edge [tooltip="Import dependencies"];
   rankdir=LR;
 
diff -r cd0cd8f08c13 -r c5b97b05f886 docs/wiki/Inspection
--- a/docs/wiki/Inspection	Sat Sep 02 01:55:38 2023 +0200
+++ b/docs/wiki/Inspection	Sun Sep 03 18:19:55 2023 +0200
@@ -179,7 +179,7 @@
 //format=svg
 //transform=notugly
 digraph accesses {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Names and accesses"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Names and accesses"];
   edge [tooltip="Names and accesses"];
   rankdir=TB;
 
@@ -316,7 +316,7 @@
 //format=svg
 //transform=notugly
 digraph usage {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Name and attribute tracking"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Name and attribute tracking"];
   edge [tooltip="Name and attribute tracking"];
   rankdir=TB;
 
diff -r cd0cd8f08c13 -r c5b97b05f886 docs/wiki/Representations
--- a/docs/wiki/Representations	Sat Sep 02 01:55:38 2023 +0200
+++ b/docs/wiki/Representations	Sun Sep 03 18:19:55 2023 +0200
@@ -16,8 +16,8 @@
 //format=svg
 //transform=notugly
 digraph attributes {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Attributes"];
-  edge [fontsize="13.0",fontname="sans-serif",tooltip="Attributes"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Attributes"];
+  edge [fontsize="12.0",fontname="sans-serif",tooltip="Attributes"];
   rankdir=TB;
 
   attrA [label="attribute | { value |<value> reference to object }",shape=record];
@@ -77,8 +77,8 @@
 //format=svg
 //transform=notugly
 digraph wrappers {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Wrappers"];
-  edge [fontsize="13.0",fontname="sans-serif",tooltip="Wrappers"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Wrappers"];
+  edge [fontsize="12.0",fontname="sans-serif",tooltip="Wrappers"];
   rankdir=TB;
 
   inst [label="<main> instance | { attr1 |<attr1> reference to method } | { attr2 | value } | ...",shape=record];
@@ -104,8 +104,8 @@
 //format=svg
 //transform=notugly
 digraph objects {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Objects"];
-  edge [fontsize="13.0",fontname="sans-serif",tooltip="Objects"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Objects"];
+  edge [fontsize="12.0",fontname="sans-serif",tooltip="Objects"];
   rankdir=TB;
 
   instC [label="<main> instance of C | { 0 | reference to\ninstance table } | { __class__ |<cls> reference\nto C } | { a | value } | { b | value } | ...",shape=record];
diff -r cd0cd8f08c13 -r c5b97b05f886 docs/wiki/Restarted
--- a/docs/wiki/Restarted	Sat Sep 02 01:55:38 2023 +0200
+++ b/docs/wiki/Restarted	Sun Sep 03 18:19:55 2023 +0200
@@ -262,8 +262,8 @@
 //format=svg
 //transform=notugly
 digraph structures {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Instance and class structures"];
-  edge [fontsize="13.0",fontname="sans-serif",tooltip="Instance and class structures"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Instance and class structures"];
+  edge [fontsize="12.0",fontname="sans-serif",tooltip="Instance and class structures"];
   rankdir=TB;
 
   instanceC [label="<main> instance of C |{ context of a | value of a }|{context of b | value of b }",shape=record];
@@ -285,8 +285,8 @@
 //format=svg
 //transform=notugly
 digraph methods {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Method structures"];
-  edge [fontsize="13.0",fontname="sans-serif",tooltip="Method structures"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Method structures"];
+  edge [fontsize="12.0",fontname="sans-serif",tooltip="Method structures"];
   rankdir=TB;
 
   classC [label="<main> class C | { context of m | <mvalue> uncallable for m } | ...",shape=record];
diff -r cd0cd8f08c13 -r c5b97b05f886 docs/wiki/Structure
--- a/docs/wiki/Structure	Sat Sep 02 01:55:38 2023 +0200
+++ b/docs/wiki/Structure	Sun Sep 03 18:19:55 2023 +0200
@@ -29,7 +29,7 @@
 //format=svg
 //transform=notugly
 digraph program {
-  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Program structure"];
+  node [shape=box,fontsize="12.0",fontname="sans-serif",tooltip="Program structure"];
   edge [tooltip="Program structure"];
   rankdir=LR;