Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

UI improvements for doc site #921

Merged
merged 8 commits into from
Nov 29, 2023
Merged

UI improvements for doc site #921

merged 8 commits into from
Nov 29, 2023

Conversation

dg-concordium
Copy link
Contributor

@dg-concordium dg-concordium commented Nov 2, 2023

Purpose

Apply suggested improvements to developer doc site.

Changes

Styling, cleanup unused files, make the sidenav lists smaller and auto close when navigating away from a "caption" (top level). Hamburger menu on mobile. Topnav removed and more actions icons added to replace that.

Checklist

  • My code follows the style of this project.
  • The code compiles without warnings.
  • I have performed a self-review of the changes.
  • I have documented my code, in particular the intent of the
    hard-to-understand areas.
  • (If necessary) I have updated the CHANGELOG.

CLA acceptance

_Remove if not applicable.

By submitting the contribution I accept the terms and conditions of the
Contributor License Agreement v1.0

@dg-concordium dg-concordium added the preview Trigger a documentation preview for a PR. label Nov 2, 2023
@dg-concordium dg-concordium removed the preview Trigger a documentation preview for a PR. label Nov 2, 2023
@dg-concordium dg-concordium added the preview Trigger a documentation preview for a PR. label Nov 2, 2023
Copy link

github-actions bot commented Nov 2, 2023

PR Preview Action v1.4.4
Preview removed because the pull request was closed.
2023-11-29 10:41 UTC

@dg-concordium dg-concordium linked an issue Nov 3, 2023 that may be closed by this pull request
3 tasks
@dg-concordium dg-concordium marked this pull request as ready for review November 8, 2023 11:44
@dg-concordium
Copy link
Contributor Author

@gitguillebetis and @bogacyigitbasi I would really like to get this merged and deployed soon. Any chance you could review so I can get this done?

@dg-concordium dg-concordium merged commit 6dff06d into main Nov 29, 2023
2 checks passed
@dg-concordium dg-concordium deleted the ui-improvements branch November 29, 2023 10:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
preview Trigger a documentation preview for a PR.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Developer documentation review
2 participants