General technical updates and changes (!565) · Merge requests · HIFIS / Overall / HIFIS Technical Documentation · GitLab

Snippets Groups Projects

Merged Sebastian Wagner requested to merge general_changes into master 10 months ago

Following the documentation workshop this merge request contains general non-content updates and changes to the docs:

Added HIFIS logo
Added HIFIS favicon
Set HIFIS color as theme color
Use fixed-width layout for better control over the layout (if content is too wide it's too complicated anyway)
Fix indentation in mkdocs.yaml
Show legal links on every page instead of only the landing page
Add devcontainer files for local editing
Add instruction on how to use devcontainer files
Add local LanguageTool to devcontainer for style checking
Enable instant navigation

Edited 10 months ago by Sebastian Wagner

Activity

Sebastian Wagner changed the description 10 months ago

changed the description
Sebastian Wagner added 5 commits 10 months ago
added 5 commits

543a4ee1 - Fix indentation

034e375b - Fix HIFIS color

89baad4b - Add HIFIS logo and favicon

810d16f9 - Fix logo links

6da900da - Show links on every page, simplify overview page

Compare with previous version
Toggle commit list
Sebastian Wagner added 98 commits 10 months ago
added 98 commits

6da900da...4b64ed16 - 94 commits from branch master

097c607f - Fix indentation

69821ab5 - Fix HIFIS color

aaec89bb - Add HIFIS logo and favicon

65619ee0 - Show links on every page, simplify overview page

Compare with previous version
Toggle commit list
Sebastian Wagner added 1 commit 10 months ago
added 1 commit

86cc58e5 - Fix indentation

Compare with previous version
Sebastian Wagner added 1 commit 10 months ago
added 1 commit

9e7355a4 - Re-apply changes

Compare with previous version
Sebastian Wagner added 1 commit 10 months ago
added 1 commit

d016cf12 - Add devcontainer and instructions

Compare with previous version
Sebastian Wagner marked this merge request as ready 10 months ago

marked this merge request as ready
Sebastian Wagner requested review from @frust45 10 months ago

requested review from @frust45
S

Sebastian Wagner @s.wagner · 10 months ago

Author Developer

Could one of you review this? Uwe's not available for a while @frust45 @andreas.klotz
Sebastian Wagner mentioned in merge request !503 (closed) 10 months ago

mentioned in merge request !503 (closed)
Sebastian Wagner added 2 commits 10 months ago
added 2 commits

3803a0ad - Properly set Pipenv path

b78b5bd7 - Add container docs

Compare with previous version
Huste, Tobias merged 10 months ago

merged
Huste, Tobias @frust45 started a thread on the diff 10 months ago

Resolved 10 months ago by Sebastian Wagner
Last reply by Huste, Tobias 10 months ago

Huste, Tobias @frust45 started a thread on the diff 10 months ago

Resolved 10 months ago by Sebastian Wagner

Huste, Tobias approved this merge request 10 months ago

approved this merge request

Huste, Tobias @frust45 · 10 months ago

Owner

Thanks for your contribution. Really like it

Sebastian Wagner added 1 commit 10 months ago

added 1 commit

298ce5b5 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

Sebastian Wagner resolved all threads 10 months ago

resolved all threads

Sebastian Wagner added 1 commit 10 months ago

added 1 commit

725471ba - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

Sebastian Wagner @s.wagner · 10 months ago

Author Developer

@frust45 I don't have commit rights here so either you have to merge or you give me the role on this repo :)

Please register or sign in to reply

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog