Add the Decoration widget

It doesn't do anything, but I've found it useful for filling up space with something mildly less boring than whitespace.