diff --git a/format-master.xml b/format-master.xml index 5c5cea4..9ee937e 100755 --- a/format-master.xml +++ b/format-master.xml @@ -242,9 +242,31 @@ No easy way at present to get the join symbol in HTML, so just use an image. Scale it to 10x10 pixels (fine as long as font size is set relatively normally). + + We need to ensure that the path is absolute, becuase we don't + necessarily know where the document will end up in the tree. --> - Join operator + + + / + + + /Handbook/Graphics/join-operator-96dpi.png + + + Join operator + + + 10 + + + 10 + + + padding-left:0.3em;padding-right:0.3em + +