// bootstrap design for #905, #930, #937

// And some better tabbing