The Open in Gitpod button seems to slightly conflict with the new Edit in Gitpod button for the doc page added in https://github.com/gitpod-io/website/pull/918 as they both look like primary action buttons carrying the same weight. This can be more confusing when using the Open in Gitpod at the bottom of pages like HTML/CSS docs.
We could consider updating the style for one of them to avoid this conflict and explicitly naming the second one as Edit this page in Gitpod. 🍔
Problem
The Open in Gitpod button seems to slightly conflict with the new Edit in Gitpod button for the doc page added in https://github.com/gitpod-io/website/pull/918 as they both look like primary action buttons carrying the same weight. This can be more confusing when using the Open in Gitpod at the bottom of pages like HTML/CSS docs.
We could consider updating the style for one of them to avoid this conflict and explicitly naming the second one as Edit this page in Gitpod. 🍔
See also https://github.com/gitpod-io/website/pull/971#discussion_r566631977.
Proposal
TBD (To be discussed)