Fix CI Badges size and other layout improvements#255

jamoralp merged 3 commits into

mastermicro-ROS/micro-ROS.github.io:masterfrom

feature/fix_CI_badgesmicro-ROS/micro-ROS.github.io:feature/fix_CI_badgesCopy head branch name to clipboard