Issue #118: migration to Bootstrap.