/* finally, the user can have requested no decorations, which overrides
everything (but doesnt give it a border if it doesnt have one) */
/* finally, the user can have requested no decorations, which overrides
everything (but doesnt give it a border if it doesnt have one) */