diff --git a/template.pt b/template.pt new file mode 100644 index 0000000..24195af --- /dev/null +++ b/template.pt @@ -0,0 +1,262 @@ + + + + + + Z3 UI + + + + + + + + + + + + + + + + + + + + + + +
+
+ + User: + + User + + + + + + + +
+ + + +
+ + + + + + + +
+ + + + + + +
+ + + label + + +
+ + + + + + +
+ +
+
+ +
+ + + + + + + + + + + + + + + + +
TestAnother
contentthingy
moredata
+ +
+ + +
+ +
+ +
+

Tip

+
+
+ + A short tip goes here + +
+
+
+ + +
+ + + +
+ +
+   +
+ +
+
+ +