Modifying github pages theme.