Forget that. I just saw that the CSS already uses `framed` and `no-frame`, so I guess I don’t care much any more. :-)