Preliminary support for PIMP tabs. After substantial experimentation, decided that jquery tabs played nicer with jquery layout than did bootstrap tabs. Also fixed panel size.