Fix double semi-colon typos
Merge pull request #585 from Daniel-Hug/master

Fix double semicolon typo in CSS.