Some changes in the the theme for gitbook