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.

Sign up for GitHub

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

Jump to bottom

Change docs theme to furo + upgrade docs dependencies #90

Merged
merged 13 commits into from Apr 26, 2024
Merged

Change docs theme to furo + upgrade docs dependencies #90

merged 13 commits into from Apr 26, 2024

Conversation

Luc1412
Copy link
Contributor

@Luc1412 Luc1412 commented Apr 22, 2024 •
edited

This pull request includes:

  • New Docs theme furo. It features a dark mode, a local toc and better visuals
  • Updated docs dependencies
  • New Copy Button for code blocks
  • Tabs, to show different information e.g. when showing examples for different OS's
    • First implementation was done in the Ubuntu package docs

@Luc1412 Luc1412 linked an issue Apr 26, 2024 that may be closed by this pull request
Upgrade Docs Theme #81
Closed
@Luc1412 Luc1412 added the documentation Improvements or additions to documentation label Apr 26, 2024
@Luc1412 Luc1412 self-assigned this Apr 26, 2024
@Luc1412 Luc1412 marked this pull request as ready for review April 26, 2024 09:53
@fritterhoff fritterhoff merged commit c3e0892 into main Apr 26, 2024
14 checks passed
@fritterhoff fritterhoff deleted the docs-upgrade branch April 26, 2024 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fritterhoff fritterhoff fritterhoff approved these changes

Assignees

@Luc1412 Luc1412

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Upgrade Docs Theme
2 participants
@Luc1412 @fritterhoff