themes/bootstrap: another minor styling fix