040000 tree e400a6d978f228d42919c05392c85c52cfb0ee07	box_properties
040000 tree 72bc96697609bb5c35b5c710555dfefdcd2a1965	classification
040000 tree 8e19a6d8e556572b50ecdf3c28a05ada8f5f23cb	color_and_background
040000 tree 74b8f91245a8eab2243114a372236f2fc184ed0a	formatting_model
040000 tree e15b3f352f6bba3f0b265ca1af2da28dcc1bd0c5	pseudo
040000 tree efde1d212b0a2cad659f6d4fb86fb8343bd5562a	text_properties
040000 tree f5eba66b0b03300ea48908f05f8cd86bf6214001	units