You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Apr 19, 2021. It is now read-only.
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)
The text was updated successfully, but these errors were encountered: