Skip to content

Fix/update documentation #64

Merged
stuitje merged 4 commits into
mainfrom
documentation_move
Jan 16, 2026
Merged

Fix/update documentation #64
stuitje merged 4 commits into
mainfrom
documentation_move

Conversation

@stuitje
Copy link
Copy Markdown
Contributor

@stuitje stuitje commented Jan 16, 2026

This PR constitutes a small update to JANUS' documentation:

  • theme switch from light to dark mode; favicon always based on system preferences; theme based on system preference, but can be toggled on the website (sun/moon symbol) from light to dark.
  • update of documentation badge to use GH actions. Previous badge required a commit to main, which caused problems.
  • tests badge added (for main branch)
  • A few link fixes, and SPIDER added as a link in documentation.

Tested locally on chrome and safari.

@timlichtenberg

@stuitje stuitje self-assigned this Jan 16, 2026
@stuitje stuitje requested a review from a team as a code owner January 16, 2026 12:14
@stuitje stuitje merged commit 0bb89af into main Jan 16, 2026
3 checks passed
@stuitje stuitje deleted the documentation_move branch March 25, 2026 20:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants