Solving the huge border in badges in the new manual#16

gtribello merged 2 commits intoplumed:mainplumed/PlumedToHTML:mainfrom

Iximiel:patch-2Iximiel/PlumedToHTML:patch-2Copy head branch name to clipboard