A variable-width minipage
