modified theorem panel layout (possibly unstable -- but committed due to probable imminent hardware failure)