theme.thm

<alloy><view nodetheme="Martha"><projection><type name="Board"/></projection><defaultnode/><defaultedge/><node><type name="Board"/><type name="Int"/><type name="String"/><type name="univ"/><type name="seq/Int"/></node><node numberatoms="no" shape="Box" color="Blue"><type name="Row"/></node><node numberatoms="no" shape="Ellipse" color="Yellow"><type name="Column"/></node><node shape="Parallelogram" color="Green"><type name="Queen"/></node><node style="Bold"><set name="q" type="Queen"/></node><edge visible="no" attribute="yes"><relation name="cols"><type name="seq/Int"/><type name="Column"/></relation><relation name="id"><type name="Column"/><type name="Int"/></relation><relation name="id"><type name="Row"/><type name="Int"/></relation><relation name="rows"><type name="seq/Int"/><type name="Row"/></relation></edge></view></alloy>