I'm surprised to find these in the Fat Panel CSS - it seems to me that they'd be generally useful in UIO and should likely be in the base UIO CSS.