Fixes #28

Adds the “bold” Google Open Sans font to the html header.