Round font sizes
Move focus operations into timers
Refinements to cloud CSS
Rename showempty to showall, more cloud CSS tweaks