Update documentation (again)

.gitattributes

@@ -1,4 +1,3 @@
 .*          export-ignore
 doc         export-ignore
-*.py        export-ignore
 mkdocs.yml  export-ignore

doc/generate_docs.py

@@ -169,7 +169,7 @@ if __name__ == '__main__':
     elements = fetch_elements()
     print('Done.')
 
-    with open('doc/elements.md', 'w') as f:
+    with open('elements.md', 'w') as f:
         f.write('# Auto-generated elements list\n\n')
         f.write('This is probably broken.')
         for element_name, variants in elements.items():

doc/hiding-elements.md

@@ -17,4 +17,4 @@ gui.VBox{
 ## Alternatives
 
 If you don't want hidden elements to take up any space, see the documentation
-for [gui.Nil](layout-elements.md#guinil).
+for [`gui.Nil`](layout-elements.md#guinil).

doc/padding.md

@@ -1,4 +1,4 @@
-## Padding, spacing, and backgrounds
+# Padding, spacing, and backgrounds
 
 All elements can have a `padding` value, which will add the specified amount of
 padding around the element. The "root" element of the form (the one returned by

doc/tooltips.md

@@ -9,3 +9,7 @@ gui.Image{
     tooltip = "Air",
 }
 ```
+
+There is also a [`gui.Tooltip`](elements.md#guitooltip) element which lets you
+change the background colour of the tooltip. As with `gui.Style`, it is
+invisible and won't affect padding.