Update margin from 9.6 to 9.5

According to StandardStyles and some feedback on Twitter, margins are
updated to be based on 9.5 and not 9.6.