Update button and navigation styles

[gtsiolis]

Description

Style updates for the primary button, see relevant discussion (internal).

How to test

Navigate through the dashboard and notice how the new button looks and feels alongside with the toned down top navigation. Notice how there's always only one CTA (call-to-action) per context with the strongest visual emphasis.

BEFORE	AFTER

Release Notes

Update button and navigation styles

Documentation

Build Options:

• /werft with-github-actions
  Experimental feature to run the build with GitHub Actions (and not in Werft).
• leeway-no-cache
  leeway-target=components:all
• /werft no-test
  Run Leeway with --dont-test

Publish Options

• /werft publish-to-npm
• /werft publish-to-jb-marketplace

Installer Options

• with-ee-license
• with-slow-database
• with-dedicated-emulation
• with-ws-manager-mk2
• workspace-feature-flags
  Add desired feature flags to the end of the line above, space separated

Preview Environment Options:

• /werft with-local-preview
  If enabled this will build install/preview
• /werft with-preview
• /werft with-large-vm
• /werft with-gce-vm
  If enabled this will create the environment on GCE infra
• /werft with-integration-tests=all
  Valid options are all, workspace, webapp, ide, jetbrains, vscode, ssh

[gtsiolis]

/werft run with-preview=true

👍 started the job as gitpod-build-gt-update-primary-button-color.1
(with .werft/ from main)

[gtsiolis]

Ready-For-Review 🏓

/werft run with-preview=true

👍 started the job as gitpod-build-gt-update-primary-button-color.4
(with .werft/ from main)

[gtsiolis]

/werft run with-clean-slate-deployment=true with-preview=true recreate-vm=true

👍 started the job as gitpod-build-gt-update-primary-button-color.5
(with .werft/ from main)

[werft-gitpod-dev-com]

started the job as gitpod-build-gt-update-primary-button-color.6 because the annotations in the pull request description changed
(with .werft/ from main)

[werft-gitpod-dev-com]

started the job as gitpod-build-gt-update-primary-button-color.7 because the annotations in the pull request description changed
(with .werft/ from main)

[gtsiolis]

/werft run with-clean-slate-deployment=true with-preview=true recreate-vm=true

👍 started the job as gitpod-build-gt-update-primary-button-color.8
(with .werft/ from main)

[gtsiolis]

/werft run with-clean-slate-deployment=true with-preview=true recreate-vm=true

👍 started the job as gitpod-build-gt-update-primary-button-color.10
(with .werft/ from main)

[geropl]

@gtsiolis Although I saw the internal discussion, I'm not sure everybody is aligned yet. Also, I feel product should ultimately decide.
Would it make sense to hold this PR until then?

[gtsiolis]

DEAL—Let's hold this for now until consensus is reached. Thanks for the nudge, @geropl.

Cross-posting relevant discussion (internal) for visibility.

/hold

[gtsiolis]

/werft run with-clean-slate-deployment=true with-preview=true recreate-vm=true

👍 started the job as gitpod-build-gt-update-primary-button-color.12
(with .werft/ from main)

[gtsiolis]

Marking this as draft to fine tune and remove it from the GH notifications in Slack.

[stale]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.