rethink the way formatting of verbatim attributes is done, to take account of available space