Refresh for random design (and our original (cf. javascript of this frame) on average about a quarter of the time). TODO Status bar is apparently deprecated. Change the php include to show the current style if mouseover the reference to it (which will become a link).