009a691 more HTML fiddling (I'm nearly done now, I promise)

Authored and Committed by adamwill 7 years ago
    more HTML fiddling (I'm nearly done now, I promise)
    
    make Element a bit smarter. If 'contents' is a list, we str()
    each element of the list, join the strings and check how long
    the result is; if it's <81 chars we take the result, otherwise
    we join the strings with newlines and take that.
    
    If 'contents' is anything but a list, we just stringify it and
    take the result.
    
    This lets us make ReleaseTable rather simpler and just throw
    Elements, lists of elements, and strings in as 'contents' as we
    go.
    
        
file modified
+23 -27