// bootstrap design for #905, #930, #937
// And some better tabbing