Map 'mini' to 'small' on Bootstrap 3

Bootstrap 3 has no 'mini' anymore, so mapping to 'small' at least gets close to
the desired effect.
Add link to website of latest Bootstrap version